Özdevinirleri Otomatlar Kuramı ve Biçimsel Diller

(...) Düzgün diller, düzgün ya da tür-3 dilbigileri tarafından türetilen ve sonlu ozdevinirler tarafından tanınan dillerdir. Düzgün dil, düzgün dilbilgisi ve sonlu ozdevinirler birbiriyle ilişkli bir dil-dilbilgisi-makine üçlüsü oluşturur. Benzer biçimde, bu bölümün konusu olan yığıtlı özdvinirler ile bağlamdan-bağımsız dilbilgisi ve diller birbiriyle ilişkili bir dil-dilbilgisi-makine üçlüsü oluşturur. Yığıtlı ozdevinirler, bağlamdan-bağımsız dilleri (CFL) tanıyan makine modelidir. Bağlamdan-bağımsız diller ise, bağlamdan-bağımsız dilbilgileri (CFG) tarafından türetilen dillerdir. Yığıtlı özdevinirlerin ingilizce karşılığı "Pushdovm Automata (PDA)" dır. Modelin Türkçe adlandırılmasında, modelin yiğit içeren bir model olması ve pushdown automata'nm sözcük sözcük karşılığının çok anlamlı olmaması nedeniyle, "yığıtlı özdevinir" terimi tercih edilmiştir. Kısa ad olarak ise PDA kullanılacaktır. (...)