Teoría de Autómatas -Alfabetos, palabras y Lenguajes-

En clase se definieron los siguientes conceptos:

Alfabeto: conjunto finito no vacío de símbolos. como por ejemplo: el alfabeto castellano que tien 27 símbolos (las letras).
Palabra: secuencia finita de símbolos pertenecientes a un alfabeto. Se definió una palabra vacía como aquella palabra que carece de símbolo alguno. Algo similar a lo que es en programación una cadena vacía.

Lenguaje: conjunto de reglas sintácticas y semánticas definidas por un grupo de personas (comunidad) basadas en el uso d eun alfabeto y que indican la forma en que se componen aquellas palabras con un significado y la forma de ordenarlas para que las oraciones tengan sentido.

Expresiones regulares: aquellas expresiones que permiten formar patrones que determinan si una espresión es válida en un lenguaje o no.

Gramáticas: representadas por una tupla donde "A" es el conjunto de símbolos que componen el alfabeto, "N" es el conjunto de símbolos NO TERMINALES y que pertenencen al alfabeto (aquellos símbolos que pueden ir al inicio o en medio de la expresión, pero que no pueden ir al final), "T" es el conjunto de símbolos TERMINALES y que pertenecen al alfabeto (son los símbolos que van al final de una expresión. Como los N y los T son subconjuntos de A, puede darse el caso que N = A y que haya símbolos que pertenezcan tanto a N como a T).

De las gramáticas, las que nos interesan son las gramáticas libres de contexto. Ya que nos permiten generar lenguajes de una forma más flexible, ya que aprovecha la recursividad para definir la forma en que se forman las expresiones.