pushdown automaton

• bağlamdan bağımsız^* tüm dilleri tanıyan bir sonlu durum makinesi^* yapılamaz. bu dili^* tanıyabilen bir otomatın bellek elemanının olması gereklidir. bu şekilde elde edilen makine, bağlamdan bağımsız her dili tanıyabilir. bellek elemanı olarak içinde kullanılan "yığın^*" kavramından ötürü, ismini "üstten bastırmalı makine" yerine "yığın yapılı otomat" olarak türkçeleştirirsek daha güzel olur sanki.