alfabeto
cadena
lenguaje
lenguaje lambda
concatenacion
potencia de un lenguaje
cerradura de lenguaje
automata
Autómata determinista
Autómata no determinista
lenguaje de un autómata