2
Bağlam Duyarlı Dilbilgileri ve Çeşitleri
1) Statik yazım ile resmi gramerler arasındaki ilişki nedir? 2) Özellikle, bir doğrusal sınırlanmış otomatın bir C ++ veya SML programının iyi yazılmış olup olmadığını kontrol etmesi mümkün olabilir mi? Yuvalanmış bir yığın otomatı? 3) Statik yazım kurallarını resmi dilbilgisi terimlerinde ifade etmenin doğal bir yolu var mı?