Con $\Sigma=\{a,b\}$, concatenar los siguientes lenguajes:
Con $\Sigma=\{a,b\}$ crear una expresión regular para
$\{w \in \Sigma^* | $ contiene la subcadena $abb\}$
Con $\Sigma=\{a,b\}$ diseñar un AF
$\{w \in \Sigma^* | $termina en la subcadena $bab\}$
Con $\Sigma=\{a,b\}$ crear una AFND-$\epsilon$ (grafico) para la expresión:
$(aa+aab)^*b$
Crear una gramática para el lenguaje de palíndromos con $\Sigma=\{a,b\}$ (incluir los palíndromos impares)
Crear un autómata de pila para el lenguaje $b^{n+1}a^n$
Diseñar un autómata de pila determinístico para el lenguaje de las cadenas $a^nb^+a^n$
Crear un autómata de doble pila para el lenguaje $a^ib^jc^k$ donde $i \lt j \lt k$
Diseñar una máquina de turing para el lenguaje $a^nb^mc^{m+n}$
¿Dada una expresión booleana qué configuración arroja Verdadero?