Makine hesaplama modellerini değerlendirirken, Chomsky hiyerarşisi normalde (sırayla), sonlu otomata, aşağı itmeli otomata, doğrusal bağlı otomata ve Turing Makineleri ile karakterize edilir.
İlk ve son düzeyleri için 1 (düzenli diller ve ardışık enumerable dilleri), biz deterministik veya nondeterministic makineleri düşünün olsun modelin gücüne hiç fark etmez, yani DFA'ler NFA'lerde eşdeğer ve DTM'ler NTMs eşdeğerdir 2 .
Ancak PDA'lar ve LBA'lar için durum farklıdır. Deterministik PDA'lar belirsiz PDA'lardan çok daha küçük bir dil grubunu tanır. Deterministik LBA'ların belirleyici olmayan LBA'lar kadar güçlü olup olmadığı da önemli bir açık sorudur [1].
Bu sorumu soruyor:
Bağlamdan bağımsız dilleri karakterize eden, ancak determinizmin ekstra güç getirmediği bir makine modeli var mı? (Değilse, bunun için bir neden öneren bazı CFL mülkleri var mı?)
Bağlamdan bağımsız dillerin bir şekilde belirsizliğe ihtiyaç duyduğu kanıtlanabilir (bana göre) gibi görünmüyor , ancak deterministik makinelerin yeterli olduğu (bilinen) bir makine modeli yok gibi görünüyor.
Uzantı sorusu aynıdır, ancak bağlama duyarlı diller için.
Referanslar
- S.-Y. Kuroda, "Dil Sınıfları ve Doğrusal Bağlı Otomata" , Bilgi ve Kontrol, 7: 207-223, 1964.
Dipnotlar
- Yorumların yan sorusu, Chomsky hiyerarşisinin seviyelerinin (set dahil edilmesiyle sıralanmıştır) 0 ila 3 yerine 3 ila 0 arasında olması için bir neden var mı?
- Açıkça söylemek gerekirse, sadece tanınabilecek dillerden bahsediyorum. Açıkçası karmaşıklık soruları böyle bir değişiklikten kökten etkilenir.