Jak zbudować automaty wypychania dla L= { w ∈ {a, b}* | w nie jest równa xx^R, dla pewnego x ∈ {a, b}* }
0
Zakładam, że potrzebujesz недетерминированный docisk automat. Nie sądzę, że jest to wykonalne z deterministyczny PDA.
To brzmi jak problem z zadaniem domowym, więc mam zamiar dać tylko ogólny zarys:
Zasadniczo, domyślacie się, gdzie znajduje się centrum wiersza. Umieścić elementy w stos, aż w pewnym momencie nie zgadniesz, co osiągnęły centrum wiersza. Następnie zaczynasz porównywać swoje dane wejściowe z elementami, które można pobrać ze stosu. Nie uda się, jeśli oni nie będą się zgadzały. Będzie sukces, jeśli dojdziesz do końca wprowadzić dokładnie w momencie, gdy stos jest pusty.