Şu anda Düzenli ama Bağlam Ücretsiz'in altındaki dil sınıflarını içeren bazı Resmi Dil araştırmaları yapıyorum. Reversal-Bounded Multicounter Machines, Single-stack counter makineleri, deterministic CFL'ler vb. Şeylere bakıyorum.
Bu dillerin özelliklerini özetleyen iyi bir kitap veya anket kağıdı bilen var mı merak ediyorum. Baktığım şeylerin çoğu, 1979 baskısında bile Hopcroft-Ullman kitabımda yer almak için çok belirsiz veya çok yeni.
Temelde, diğer dil sınıflarında hangi dil sınıflarının bulunduğunu, bu dillerin kapanış özelliklerini ve bu dillerdeki temel problemlerin (F-problemlerinin) karar verilebilirliğini arıyorum.
Bu referansta arayacağım şeylere bazı örnekler:
- Ters çevrilmiş çok sayaçlı makineler tarafından kabul edilen tüm diller, ters çevrilmemiş tek sayaçlı makineler tarafından da kabul ediliyor mu?
- Deterministik tersine bağlı MultiCounter dilleri sol ve sağ birleştirme altında kapalı mı?
- Tek sayaçlı makineler için evrensellik karar verilebilir mi?
Bunlar sadece örnek sorular, günlük işlerimde ortaya çıkan başkalarım var.
Bir başlangıç noktası olarak, Oscar Ibarra'nın "Tersine Bağlı Çok Saydamlı Makineler ve Karar Sorunları" nı hangi makalelere atıfta bulunduğunu izlemeye çalıştım, ancak fazla bir şey bulamadım.