Jak postavit zásobníkových automatů pro L= { w ∈ {a, b}* | w nerovná xx^R pro nějaké x ∈ {a, b}* }
0
Předpokládám, že chcete, non-deterministický push-down automaton. Nemyslím si, že to je proveditelné s deterministický PDA.
To zní jako domácí úkol, takže jsem jen bude dát obecnou představu:
V podstatě hádat, kde je střed řetězec. Budete tlačit prvků do zásobníku, dokud v určitém bodě si myslím, že dovolali jste se do středu řetězce. Ty pak porovnejte váš vstup na prvky, které jste praskání off zásobníku. Se vám nepodaří, pokud se neshodují. Se vám podaří, pokud se dostanete na konec vstupního přesně jako zásobník je prázdný.