Bağlamsız bir dille ilgili şu soruya rastladığımı hatırlıyorum, ancak bunun bir kanıtı bulamadım. Belki de soruyu yanlış anladınız mı?
Neyse, işte soru:
Bu dilin içerikten bağımsızdır.
Bağlamsız bir dille ilgili şu soruya rastladığımı hatırlıyorum, ancak bunun bir kanıtı bulamadım. Belki de soruyu yanlış anladınız mı?
Neyse, işte soru:
Bu dilin içerikten bağımsızdır.
Yanıtlar:
Hak talebi : bağlam içermez.
Kanıt Fikri : Birinci ve ikinci yarı arasında en az bir fark olması gerekir; bir tane üretmeyi garanti eden ve gerisini keyfi bırakan bir gramer veriyoruz.
İspat : Basitlik amacıyla, ikili alfabesini alın . Kanıt diğer boyutlara kolayca uzanır. Dilbilgisi göz önünde bulundurun :
Ürettiği oldukça açık
şüpheli, çiftler halinde durum farklılığıyla ve üzerinde iç içe geçmiş bir indüksiyon gerçekleştirebilir . Şimdi, ve gidip geliyor (sezgisel olarak konuşursak, ve , her ikisi de kelimenin geri kalanından bağımsız olarak seçilen sembolleri içerdiğinden sembol alışverişi yapabilir). Bu nedenle, ve aynı konumdadır (kendi yarısında), bu, anlamına gelir çünkü , dilinde başka bir kısıtlama getirmez.
İlgilenen okuyucu iki takip probleminden zevk alabilir:
Egzersiz 1 : için bir PDA ile gel !
Alıştırma 2 : Peki ya ?