Voiko PDA tunnistaa palindromimerkkijonojen kielen?
Pushdown Automata (PDA) on laskennallinen malli, jota käytetään teoreettisessa tietojenkäsittelytieteessä laskennan eri näkökohtien tutkimiseen. PDA:t ovat erityisen tärkeitä laskennallisen monimutkaisuuden teorian yhteydessä, jossa ne toimivat perustavanlaatuisena työkaluna erilaisten ongelmien ratkaisemiseen tarvittavien laskennallisten resurssien ymmärtämisessä. Tältä osin kysymys siitä, onko
Onko Chomskyn kieliopin normaalimuoto aina päätettävissä?
Chomsky Normal Form (CNF) on Noam Chomskyn esittelemä erityinen yhteydettömien kielioppien muoto, joka on osoittautunut erittäin hyödylliseksi useilla laskennallisen teorian ja kielenkäsittelyn aloilla. Laskennallisen monimutkaisuuden teorian ja päätettävyyden kontekstissa on olennaista ymmärtää Chomskyn kieliopin normaalimuodon vaikutukset ja sen suhde