Teoría De La Computación

Lenguaje formal
Es un lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados. 
Al conjunto de los símbolos primitivos se le llama el alfabeto dellenguaje, y al conjunto de las reglas se lo llama la gramática formal (o sintaxis).
Estrictamente hablando, un lenguaje formal es idéntico al conjunto de todas sus fórmulas bien formadas. A diferencia delo que ocurre con el alfabeto (que debe ser un conjunto finito) y con cada fórmula bien formada (que debe tener una longitud también finita), un lenguaje formal puede estar compuesto por un númeroinfinito de fórmulas bien formadas.
Por ejemplo, un alfabeto podría ser el conjunto {a,b}, y una gramática podría definir a las fórmulas bien formadas como aquellas que tienen el mismo número de símbolosa que b. Entonces, algunas fórmulas bien formadas del lenguaje serían: ab, ba, abab, ababba, etc.; y el lenguaje formal sería el conjunto de todas esas fórmulas bien formadas. { ab, ba, abab, ababba,etc }
Alfabeto = {a,b}
Fórmulas bien formadas = ab, ba, abab, ababba, etc.
Lenguaje Formal = { ab, ba, abab, ababba, etc }

-------------------------------------------------
Operaciones conLenguajes
Se pueden utilizar varias operaciones para producir nuevos lenguajes a partir de otros dados.
Concatenación:
Es la operación por la cual dos caracteres se unen para formar una cadena decaracteres. También se puede concatenar dos cadenas de caracteres o un carácter con una cadena para formar una cadena de mayor tamaño.
Ejemplos:
1) Si A = {a} y B = {b}
Entonces: A.B = {a,b}

2) Si A = {Cuaderno, Borrador} y B = {Lápiz}
Entonces: A.B = {CuadernoLápiz, BorradorLápiz}

Nótese: que dentro del conjunto A hay 2 cadenas separadas por una coma (,), las cualesse unen a la cadena del conjunto B.

Intersección:
La intersección de los lenguajes A y B es un lenguaje formado por todas las cadenas que se encuentran tanto en A como en B.
Ejemplo:
 Si A...