UNIVERSIDAD DE LOS ANGELES

MATERIA:

AUTOMATAS FINITOS

Carrera:

SISTEMAS COMPUTACIONALES
TEMA:

INTRODUCCIÒN A LA TEORÌA DE
AUTÒMATAS

ALUMNO:

LUIS FERNANDO SÀNCHEZ SÀNCHEZ

MAESTRO

EDGAR DAVID PEREGRINO JIMENEZ

Contenido
GRAMÀTICAS FORMALES...........................................................................................................3
Aplicaciones de los lenguajes formales.......................................................................................4
REGLAS DE TRANSFORMACÒN..............................................................................................5
KENNINGS: Poesía antigua islandesa.....................................................................................6
FORMALIZACIÒN DE GRAMÀTICAS..................................................................................7
 GRAMÀTICAS FORMALES

Gramáticas formales es un lenguaje artificial que, a diferencia de los lenguajes

naturales, no está centrado en la comunicación humana habitual, sino en la
definición y aplicación de una serie de reglas específicas en un entorno específico.
Consta de una serie de símbolos básicos, que se combinan en cadenas para
formar expresiones complejas. Los símbolos constituyen el alfabeto de un
lenguaje formal, mientras que las cadenas son las palabras. Tanto la combinación
de los símbolos como la interpretación de las cadenas se realiza de acuerdo con
reglas rigurosas, establecidas de antemano, que no admiten excepciones; en
conjunto, estas reglas conforman la gramática del lenguaje.
Frente a la creatividad y complejidad del lenguaje natural, que permiten su uso en
las más diversas situaciones, los lenguajes formales han sido diseñados para ser
utilizados en contextos muy precisos. Su campo de aplicación incluye la lógica, las
matemáticas, la informática y la lingüística.
No se deben confundir los lenguajes formales aquí tratados con el registro
lingüístico formal (también llamado a veces lenguaje formal), correspondiente al
uso cuidadoso y correcto del lenguaje, propio de ciertas situaciones
comunicativas, opuesto al registro informal, en el que se emplean frases y
expresiones coloquiales.

Tipos de lenguajes formales

 Símbolos terminales (∑). Comprenden los elementos básicos del lenguaje.
 Símbolos no terminales (N). Denominados a veces “variables sintácticas”,
son de carácter auxiliar; expresan estados intermedios en el proceso de
generación de las palabras. No forman parte del lenguaje.
 Símbolo inicial o axioma (S ∈ N). Es un símbolo no terminal de inicio, del
que se parte para la formación de cualquiera de las palabras del lenguaje.
 Conjunto de reglas de producción (P). Son reglas que, partiendo del
símbolo inicial, permiten realizar las transformaciones necesarias para
obtener las palabras del lenguaje, mediante el reemplazo de los símbolos
no terminales por símbolos terminales.
 Tipo 3: lenguajes regulares o lineales. Aquellos generados por gramáticas
regulares. Sus cadenas se caracterizan por contener dependencias
lineales. Esto significa que la posición de un símbolo en una cadena
depende únicamente del símbolo que lo precede. La calificación de
regulares dada a este tipo de lenguajes obedece al hecho de que sus
cadenas contienen regularidades o repeticiones de los mismos símbolos.
 Tipo 2: lenguajes independientes del contexto. Aquellos que pueden ser
reconocidos por una gramática libre de contexto. Las producciones de las
gramáticas que dan lugar a estos lenguajes se atienen a la regla que
 establece que un símbolo no terminal puede ser siempre reemplazado por
una cadena de símbolos no terminales o terminales sin considerar el
contexto en el que se encuentre. Este tipo de lenguajes son los que más
desarrollo han tenido, debido a que son la base de la mayoría de los
lenguajes de programación.
 Tipo 1: lenguajes dependientes del contexto. Aquellos definidos por
gramáticas dependientes del contexto. Se reconocen porque permiten el
reemplazo de símbolos no terminales solo en ciertos contextos. Las
producciones de las gramáticas que generan estos lenguajes se
caracterizan por poseer un único símbolo no terminal del lado izquierdo; su
lado derecho puede estar compuesto por un símbolo terminal y un símbolo
no terminal. Se trata del tipo de lenguajes que poseen producciones más
restringidas.
 Tipo 0: lenguajes libres o recursivamente e numerables. Responden a
gramáticas libres. Las producciones pueden contener cadenas de
terminales y no terminales tanto en el lado derecho como en el lado
izquierdo.

Aplicaciones de los lenguajes formales

Las principales aplicaciones de los lenguajes formales son en el campo de la
informática, la lógica y la matemática.
 En informática, los lenguajes formales constituyen la base para la definición
de los lenguajes de programación.
 En lógica simbólica (también llamada lógica formal), se emplean lenguajes
formales para expresar de manera clara y simple las proposiciones y
razonamientos, a fin de determinar su validez.
 En matemática, los lenguajes formales se emplean para representar
relaciones, operaciones y fórmulas.
 En lingüística, los lenguajes formales son estudiados en sus aspectos
sintácticos, con el fin de comprender las regularidades de las lenguas
naturales.
 REGLAS DE TRANSFORMACÒN

Además de las gramáticas formales existen otros procedimientos de

transformación simbólica.
MAI : Modos Mecánico, Anti e Inteligente (Zen)
Los caracteres griegos representan a palabras en el alfabeto MAI={m,a,i}. La
primera regla dice que a toda palabra que termina con i puede añadírsele una a, la
segunda, que toda palabra que comience con m puede repetir su ``resto'', la
tercera, que cualquier cadena de tres i-es consecutivas puede cambiarse por una
a, y, finalmante, que cualesquiera dos a-es consecutivas pueden ser suprimidas.

Para cada palabra sea el conjunto de palabras en el alfabeto MAI que

pueden ser derivadas a partir de la palabra mediante una sucesión finita de
aplicaciones de las reglas de transformación. Naturalmente, surgen los problemas
siguientes:
Problema de la palabra.
Dadas dos palabras decidir si acaso , es decir, decidir si
acaso una palabra es o no derivable desde alguna otra.

Problema de equivalencia.
Dadas dos palabras decidir si acaso , es decir,
decidir si acaso cualquier palabra es derivable desde una de las dos
palabras si y sólo si es derivable desde la otra.

Problema de derivación óptima.

Dadas dos palabras tales que , localizar la sucesión de
transformaciones más corta que transforma a en
KENNINGS: Poesía antigua islandesa
Este es un género de poesía islandesa de los siglos IX-XIII, construído mediante el
remplazo de frases sustantivales por otras equivalentes. Los kennings pueden ser
bellas metáforas o irresolubles acertijos. Ciertamente, esta poesía posee dos tipos
de encantos: Uno sintáctico y otro semántico, y, por su naturaleza, ambos se
mezclan indisolublemente. Como meros ejemplos consideremos las siguientes
``equivalencias'': Sustituciones:

Ejemplos En un primer ejemplo, ilustramos la sustitución reiterada que se hace en

los kennings, y en el segundo citamos un poema mucho más acabado. a)
guerrero
lanzador de espadas
lanzador del fuego de la batalla
lanzador del fuego de la tormenta de arpones
lanzador del fuego de la tormenta de lunas de barcos
lanzador del fuego de la tormenta de lunas de bridones de olas
Fonéticamente, en castellano es muy desagradable la repetición de la conjunción
de seguida de un artículo casi obligatorio. En los lenguajes nórdicos esto no
aparece pues concatenando los vocablos, los sustantivos pueden realizar
funciones de adjetivos, tal como sucede en inglés.

Algoritmos de Markov
Estos sistemas formalizan procedimientos de cálculo.
Multiplicación por 3 en representación binaria En la tabla presentamos a las
producciones, es decir, a las sustituciones que constituyen este sistema de
transformaciones.
 FORMALIZACIÒN DE GRAMÀTICAS

Una formalización de gramáticas Sea T un conjunto de símbolos terminales y

sea V un conjunto de símbolos variables. La unión de ellos, , es
un alfabeto de gramática. A* es el diccionario sobre A y consta de todas las
palabras, de longitud finita, con símbolos en A. A+ coincide con A*, salvo en que
no posee a la palabra vacía, . Una regla de producción es un elemento del
producto cartesiano . Si escribimos y
decimos que es el antecedente y el consecuente de la regla . Sea
un conjunto de reglas de producción. Sea un símbolo variable distinguido,
llamado inicial. El sistema G = (V, T, P, S) se dice ser una gramática formal. Las
reglas de producción transforman palabras en otras:

La cerradura reflexivo-transitiva de la relación ``da'' define la relación de derivación

El lenguaje generado por la gramática consta de todas las palabras que se derivan
del símbolo inicial y que sólo contienen símbolos terminales: