Model-teorik dilbilgisi - Model-theoretic grammar

Kısıt tabanlı gramerler olarak da bilinen model-teorik gramerler , cümle kümelerini tanımlama şekillerinde üretken gramerlerle zıtlık gösterirler : sözdizimsel nesneler üretmek için işlemler sağlamak yerine sözdizimsel yapı üzerindeki kısıtlamaları belirtirler. Üretken bir dilbilgisi, yeniden yazma, ekleme, silme, hareket veya birleştirme gibi bir dizi işlem sağlar ve tüm ve yalnızca bu işlemlerin yinelemeli uygulama yoluyla üretebildiği nesneler kümesinin bir tanımı olarak yorumlanır. Bir model-teorik dilbilgisi basitçe bir nesnenin karşılaması gereken bir dizi koşulu belirtir ve tüm kısıtlamaları karşılayan tüm ve yalnızca belirli bir türdeki yapıların kümesini tanımlıyor olarak kabul edilebilir. Yaklaşım, model teorisinin matematiksel tekniklerini sözdizimsel tanımlama görevine uygular : bir dilbilgisi, mantıkçı anlamında bir teoridir (tutarlı bir ifade dizisi) ve iyi biçimlendirilmiş yapılar , teoriyi karşılayan modellerdir .

Model-teorik gramer örnekleri

Aşağıda model-teorik şemsiyenin altına düşen bir gramer örneğidir:

Güçlü

Model-teorik gramerlerin üretken gramerlerden bir yararı, gramerde gradyana izin vermeleridir. Bir yapı, bir teoriden çok az sapma gösterebilir veya oldukça sapkın olabilir. Üretken gramerler, tersine, "mükemmel ile varolmayan arasında keskin bir sınır gerektirir ve hatta dilsizlikte gradience temsil edilmesine bile izin vermez."

Referanslar

  1. ^ Pullum, Geoffrey Keith ; Scholz, Barbara C. (2001). "Üretken-sayımsal ve model-teorik sözdizimsel çerçeveler arasındaki ayrım üzerine" (PDF) . De Groote, Philippe'de; Morrill, Glyn; Retor, Christian (editörler). Hesaplamalı Dilbilimin Mantıksal Yönleri: 4. Uluslararası Konferans . Springer Verlag. sayfa 17–43.
  2. ^ Pullum, Geoffrey Keith (2007). "Dilbilimde model-teorik çerçevelerin evrimi" (PDF) . Rogers, James'te; Kepser, Stephan (editörler). 10'da Model-teorik sözdizimi - ESSLLI2007 MTS @ 10Workshop Bildirileri . Trinity College Dublin. s. 1–10.
  3. ^ a b c d Müller, Stefan (2016). Dilbilgisi teorisi: Dönüşümsel gramerden kısıt tabanlı yaklaşımlara . Berlin: Dil Bilimi Basını. sayfa 490–491.
  4. ^ Christiansen, Henning. " Birden çok kısıtlama deposu olan CHR Gramerler ." Kısıtla Başa Çıkma Kuralları Üzerine İlk Çalıştay: Seçilmiş Katkılar. Universität Ulm, Fakultät für Informatik, 2004.
  5. ^ Pullum, Geoffrey K. (2013). "Karşılaştırmalı Sözdizimsel Metateori'de Temel Soru". Akıl ve Dil . 28 (4): 492–521. doi : 10.1111 / mila.12029 .