Bernardo Ortiz 2018-0791

Yeimelin Encarnación 2019-0373

Autómatas, gramáticas
y lenguajes
Lenguajes y
gramatica
 • Según el Webster s New Collegiate Dictionary, lenguaje es
un “sistema de palabras y métodos para combinar
palabras, usado y comprendido por una comunidad de
tamaño considerable”. Estos lenguajes, con frecuencia, se
conocen como lenguajes naturales para distinguirlos de los
lenguajes formales, que se usan para modelar los lenguajes

Lenguaje naturales y comunicarse con las computadoras. Las reglas

de un lenguaje natural son muy complejas y su
caracterización completa es difícil.
• Sea A un conjunto finito. Un lenguaje (formal) L sobre A es
un subconjunto de A*, el conjunto de todas las cadenas
sobre A.
• En matemáticas, lógica y ciencias de la computación, un lenguaje formal es
un lenguaje cuyos símbolos son primitivos y reglas para unir esos símbolos están
formalmente especificados.12​ ​Al conjunto de los símbolos primitivos se lo llama
el alfabeto (o vocabulario) del lenguaje, y al conjunto de las reglas se lo llama
la gramá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 es idéntico al conjunto de todas sus fórmulas bien
formadas.

Lenguaje formal
 • Una gramática de estructura de frases (o
simplemente gramática) G consiste en :
• Un conjunto finito N de símbolos no
terminales
• Un conjunto finito T de símbolos
Gramática terminales donde N ∩ T = ∅
• Un subconjunto finito P de , llamado
conjunto de producciones
• Un símbolo de inicio σ ∈ N.
 Las gramáticas de estructura de frase
están basadas en la Teoría de los
constituyentes inmediatos. Se decía allí
que los constituyentes inmediatos
de Una oración del tipo La reina de

Gramáticas
Colombia vive en Leticia Son dos: la
reina de Colombia y vive en Leticia.
de
estructura El modelo transformacional, ya
definitivo y último para Chomsky, es uno
de cuyos oficios es el de convertir un
marcador de frase en otro o, lo que es lo
mismo, cambiar una estructura profunda
en superficial.
 • Los símbolos terminales son símbolos
literales que pueden aparecer en los
resultados de las reglas de producción
de una gramática formal y que no se
pueden cambiar utilizando las reglas
Símbolos de la gramática. La aplicación de las
reglas de forma recursiva a una
terminales cadena de símbolos fuente
normalmente terminará en una cadena
de salida final que consta solo de
símbolos terminales.
 • Los símbolos no terminales son
Símbolos no aquellos símbolos que se pueden
terminales reemplazar. También pueden
denominarse simplemente variables
sintácticas . Una gramática formal
incluye un símbolo de inicio , un
miembro designado del conjunto de
no terminales del cual todas las
cadenas del lenguaje pueden
derivarse mediante aplicaciones
sucesivas de las reglas de
producción. De hecho, el lenguaje
definido por una gramática es
precisamente el conjunto de cadenas
terminales que se pueden derivar.
 • Una gramática se define mediante reglas de
producción (o simplemente "producciones") que
especifican qué símbolos pueden reemplazar a qué
otros símbolos; estas reglas se pueden utilizar para
generar cadenas o para analizarlas. Cada una de
Reglas de estas reglas tiene una cabeza , o lado izquierdo, que
consiste en la cuerda que puede reemplazarse, y un
producción cuerpo , o lado derecho, que consiste en una cuerda
que puede reemplazarla.
• Las reglas a menudo se escriben en la forma head →
body ; por ejemplo, la regla a → b especifica que a se
puede reemplazar por b .
Reglas de
producción
• En la formalización clásica de las gramáticas
generativas propuesta por primera vez por Noam
Chomsky en la década de 1950, una gramática G
consta de los siguientes componentes:
• Un conjunto finito de símbolos no terminales .
• Un conjunto finito de símbolos terminales que se
separa de .
• Un conjunto finito de reglas de producción , cada
regla de la forma.
CADENA
• Una cadena es una secuencia finita de símbolos de un
determinado alfabeto
• ejemplos:
• V1={A,B,C,D,E,F,…..,X,Y,Z}
• V2={a,b,c,d,0,1,2,3,4,*,#,+}
• V3={0,1}
• V4={if, then, begin, end, else, a,b,;,=,>}
• También se pueden definir las tablas ASCII y EBCDIC
como los alfabetos de distintos ordenadores.
lenguaje generado
por una gramática • El lenguaje L (G) generado por una
gramática G es el conjunto de todas las
sentencias que puede generar G.
forma regular de backus
• es una notación de metasintaxis para gramáticas libres de contexto
, que a menudo se utiliza para describir la sintaxis de los lenguajes
utilizados en informática, como lenguajes de programación
informática , formatos de documentos , conjuntos de instrucciones
y comunicación y protocolos . Se aplican siempre que se necesitan
descripciones exactas de los idiomas: por ejemplo, en las
especificaciones oficiales del idioma, en los manuales y en los
libros de texto sobre teoría de los lenguajes de programación.
gramática sensible al contexto

Las gramáticas sensibles al contexto o de tipo 1, son las que generan los lenguajes
sensibles al contexto. Los lenguajes sensibles al contexto son aquellos que
pueden ser reconocidos por las Autómatas Linealmente Acotados ALA.

En forma general toda gramática se define mediante una cuádrupla G=(N,T, P,S),
siendo
• -N es un conjunto finito de símbolos no terminales
• -T es un conjunto finito de símbolos terminales N∩ T= ∅
• -P es un conjunto finito de reglas de producción
• -S Símbolo distinguido o Axioma S∉ (N∪ T)
 • es una gramática formal en la que cada regla de producción
 Gramática es de la forma:
• V→w
libre de • Donde V es un símbolo no terminal y w es una cadena de
contexto terminales y/o no terminales. El término libre de contexto
se refiere al hecho de que el no terminal V puede siempre
ser sustituido por w sin tener en cuenta el contexto en el
que ocurra. Un lenguaje formal es libre de contexto si hay
una gramática libre de contexto que lo genera.