ACTIVIDAD 1
LENGUAJES FORMALES

En el lenguaje formal como en cualquier lenguaje se usan conceptos básicos
como:
Alfabeto: conjunto no vacío y finito de símbolos. A estos símbolos también se les
suele llamar letras del alfabeto. Se denota con la letra griega ∑
Palabra: secuencia finita de símbolos de un alfabeto. Habitualmente utilizamos
(x,y,z) para denotar palabras
Palabra vacía: es una palabra que no tiene ningún símbolo y se representa como λ
Longitud de una palabra: es el número de símbolos que componen la palabra. Se
representa utilizando
Lenguaje universal definido sobre un alfabeto es el conjunto de todas las palabras
que se pueden construir con las letras de dicho alfabeto.
Lenguaje L definido sobre un alfabeto ∑, es un conjunto cualquiera de palabras
definidas sobre dicho alfabeto

La gramática formal tiene por objetivo llegar a tener una secuencia correcta de
símbolos partiendo de un determinado símbolo, que llamaremos inicial, y
utilizando algunas de las producciones definidas.
Se llama gramática formal definida sobre un alfabeto ∑ a una tupla de la forma