Ma PDA dikare zimanek rêzikên palindromê tespît bike?
Pushdown Automata (PDA) modelek hesabkerî ye ku di zanistiya komputerê ya teorîkî de tê bikar anîn da ku aliyên cûda yên hesabkirinê lêkolîn bike. PDA bi taybetî di çarçoveya teoriya tevliheviya hesabkirinê de têkildar in, ku ew wekî amûrek bingehîn ji bo têgihîştina çavkaniyên hesabker ên ku ji bo çareserkirina cûreyên cûda yên pirsgirêkan hewce ne re xizmet dikin. Di vî warî de pirsa gelo
Rêzimana Chomsky ya normal her gav biryardar e?
Forma Normal a Chomsky (CNF) formek taybetî ya rêzimanên bê kontekst e, ku ji hêla Noam Chomsky ve hatî destnîşan kirin, ku îsbat kiriye ku di warên cihêreng ên teoriya hesabkerî û pêvajoya ziman de pir bikêr e. Di çarçoveya teoriya tevliheviya hesabkerî û biryardarbûnê de, pêdivî ye ku meriv encamên forma normal ya rêzimanê Chomsky û têkiliya wê were fam kirin.