Rincón Matemático

Matemática => Lógica, Conjuntos, Lenguajes Formales => Autómatas y lenguajes formales => Mensaje iniciado por: skinboy en 06 Junio, 2011, 08:47 pm

Título: Autómata con Pila no Determinista (APND)
Publicado por: skinboy en 06 Junio, 2011, 08:47 pm

Sea \( \Sigma=\{a,b,c,d\} \) y sea \( L = \{w \in\Sigma^* : w = vav^R \), con   \( v\in \{a,b\}^*\} \)
Obtenga un APND M tal que L(M)=L

Entiendo la teoria (o eso creo) de los APND. Pero realmente no se que pasos he de seguir para resolver esto, ¿me pueden ayudar?