Comment construire un refoulement des automates pour L= { w ∈ {a, b}* | w n'est pas égale à xx^R pour certaines valeurs de x ∈ {a, b}* }
0
Je suppose que vous voulez un non-déterministe push-down automate. Je ne pense pas que ce soit faisable avec un déterministe PDA.
Cela ressemble à un problème, donc je ne vais donner un aperçu général:
Vous avez essentiellement de deviner où le centre de la chaîne. Vous poussez des éléments sur la pile, jusqu'à un certain point, vous devinez que vous avez atteint le centre de la chaîne. Vous commencez alors de la comparaison de votre entrée pour les éléments que vous êtes à éclater hors de la pile. Vous échouer si elles ne correspondent pas. Vous réussir si vous atteignez la fin de la saisie exactement comme la pile est vide.