sistemas

Lenguajes formales
Introducción
¿Porqué es importante la teoría de lenguajes formales y autómatas?
Bueno, aclaramos primero un poco las palabras usadas...
¿Qué es un lenguaje formal?
Conocemoslenguajes naturales...
español, alemán, inglés, chino, árabe...
cuando nacemos no sabemos ninguno se puede aprender cualquier lenguaje
(por lo menos si se ha nacido en un entorno adecuado) Dr. ArnoFormella 6 el
lenguaje es una secuencia de fonemas o símbolos.
• que forman sílabas, palabras, frases, párrafos, capítulos, novelas, libros,
bibliotecas...
• que tiene una síntaxis (fonética oortografía)
• que tiene una gramática (reglas de concatenación y construcción de palabras
para
formar frases)
• (que tiene un estilo (forma de unir frases para generar textos))
Lenguajes formalesserán meramente símbolos con una gramática formal para
agruparlos.
¿Qué es un autómata?
dispositivos mecánicos o electrónicos o biológicos
• que en un punto de tiempo están en un estado
• que dadouna razón (por ejemplo una señal de entrada) cambian de estado

Cuerpo
En matemáticas, lógica, y ciencias de la computación, un lenguaje formal es
un lenguaje cuyos símbolos primitivos y reglaspara unir esos símbolos están
formalmente especificados. Al conjunto de los símbolos primitivos se le llama
el alfabeto (o vocabulario) del lenguaje, y al conjunto de las reglas se lo llama
lagramática formal (o sintaxis). A una cadena de símbolos formada de acuerdo
a la gramática se la llama una fórmula bien formada (o palabra) del lenguaje.
Estrictamente hablando, un lenguaje formal esidéntico al conjunto de todas sus
fórmulas bien formadas. A diferencia de lo que ocurre con el alfabeto (que debe
ser un conjunto finito) y con cada fórmula bien formada (que debe tener una
longitudtambién finita), un lenguaje formal puede estar compuesto por un
número infinito de fórmulas bien formadas.
Por ejemplo, un alfabeto podría ser el conjunto {a,b}, y una gramática podría
definir a...