Autómatas de pila y sus límites





Dress color— XKCD



Ivan Meza

Formarse en 4 equipos, diseñar un autómata de pila determinístico y su gramática correspondiente para el lenguaje sorteado

  1. $a^ib^*a^j$, donde $3i\lt j$
  2. $a^ib^*a^j$, donde $i\lt 3j$
  3. $a^ib^*a^j$, donde $3i\gt j$
  4. $a^ib^*a^j$, donde $i\gt 3j$

Preparar cadenas para atacar el autómata de los otros equipos

Diseñar un autómata de pila determinístico y su gramática para el lenguaje $a^ib^+c^i$

Crea un autómata de pila para la siguiente gramática

  • $A\rightarrow aAa$
  • $A\rightarrow B$
  • $B\rightarrow bB$
  • $B\rightarrow \epsilon$

Con $\Sigma=\{a,b,c\}$ demostrar que el lenguaje formado por cadenas $ww$ donde $w\in\Sigma^*$ no es libre de contexto

Con $\Sigma=\{a,b\}$ demostrar que el lenguaje formado por cadenas $a^ib^ka^ib^k$ donde $w\in\Sigma^*$ no es libre de contexto

Licencia de Creative Commons
Gramática libre de contexto by Ivan V. Meza Ruiz is licensed under a Creative Commons Reconocimiento 4.0 Internacional License.
Creado a partir de la obra en http://turing.iimas.unam.mx/~ivanvladimir/slides/lfya/glc_examples.html.