9/19/2019

UNIVERSIDAD GERARDO BARRIOS.

Facultad:

Ciencia y Tecnología.

Carrera:

Ingeniera en sistemas y redes informáticas.

Materia:

Teoría de la Computación

Docente:

Lic. Víctor López Sandoval

Integrantes:

Martinez Azucar, Salvador Alexander -smis0301015

Tema:

lenguajes formales y la jerarquía de Chomsky

Grupo:

B1.
 1

Table of Contents
Introducción. ................................................................................................................................................. 2

Desarrollo Teórico. ....................................................................................................................................... 3

Lenguajes Formales. ................................................................................................................................. 3

Gramáticas Formales. ............................................................................................................................... 3

La Jerarquía de Chomsky. ......................................................................................................................... 4

Guía resuelta sobre Gramáticas................................................................................................................. 5

 2

Introducción.
En el presente trabajo se tomarán los temas lenguajes formales y la jerarquía de Chomsky como
temas principales. Los lenguajes formales, Cuando hablamos de computación, en realidad nos
estamos refiriendo de manera directa a procesar información. gramática formal es una estructura
lógico-matemática con un conjunto de reglas de formación que definen las cadenas de caracteres
admisibles en un determinado lenguaje formal o lengua natural. Jerarquía de Chomsky. En
Lingüística, Matemáticas e Informática dícese del sistema jerárquico de definiciones, ideado por
Noam Chomsky en 1956 en el MIT para clasificar de manera matemática los lenguajes formales
en cuatro categorías enumeradas de 0 a 3 y los mecanismos formalizadores como gramáticas
formales, expresiones y autómatas para reconocer cada tipo. Lenguajes Regulares, que es la clase
más pequeña, e incluye a los lenguajes más simples. Lenguajes Libres de Contexto, la mayoría de
los lenguajes de programación, Todas estas clases de lenguajes son representables de manera finita
(mediante cadenas de caracteres que sirven como representación).

Lenguajes Sensibles al Contexto, Lenguajes Recursivamente E numerables, que incluyen a los

Libres de Contexto (y por lo tanto a los Lenguajes Regulares). o Lenguajes sin Restricciones.
 3

Desarrollo Teórico.
Lenguajes Formales.

La noción más elemental es la de símbolo, que simplemente es una representación distinguible de

cualquier información. Los símbolos pueden ser cualesquiera, como w, 9, %, etc., pero nosotros
vamos a utilizar las letras a, b, c, etc. Un símbolo es una entidad indivisible.

Alfabeto. Un alfabeto es un conjunto finito y no vacío de símbolos. Así, el alfabeto del idioma
español, E = {a, b, c, ..., z}, es solo uno de tantos alfabetos posibles. En general utilizaremos la
notación P para representar un alfabeto. Con los símbolos de un alfabeto es posible formar
secuencias o cadenas de caracteres, tales como mxzxptlk, balks, r, etc. Con lo cual, tenemos la
definición de palabra.

Palabra. Una palabra o cadena, es una secuencia de símbolos de un alfabeto. Bajo ´esta definición
de palabra, cualquier secuencia de símbolos de un alfabeto puede ser considerada una palabra, por
ejemplo, bajo el alfabeto español, las secuencias abc, aaaa, bbbb, aztyrtyfu, son consideradas
palabras, aun a pesar de que no tengan sentido dentro de nuestro contexto natural.

Gramáticas Formales.
Es una estructura matemática con un conjunto de reglas de formación que definen las cadenas de
caracteres admisibles en un determinado lenguaje formal o lenguaje natural. Las gramáticas
formales aparecen en varios contextos diferentes: la lógica matemática, las ciencias de la
computación y la lingüística teórica, frecuentemente con métodos e intereses divergentes.

Necesitamos un formalismo para definir los lenguajes (las palabras que pertenecen a un lenguaje).
⇒ Una posibilidad - Gramáticas formales:

• Una gramática describe de forma inequívoca la estructura de las palabras de un lenguaje.

• Proporcionan un mecanismo para generar todas las palabras que pertenecen a un determinado
lenguaje (también se llaman gramáticas generadoras).
 4

La Jerarquía de Chomsky.

Llamamos “clase de lenguajes” a conjuntos de lenguajes que comparten una cierta propiedad dada.
Esta noción es muy abstracta, pues ya los lenguajes son en sí mismos conjuntos de secuencias de
símbolos, y las clases de lenguajes son entonces conjuntos de conjuntos de secuencias de símbolos.

La Jerarquía de Chomsky consta de cuatro niveles:

 Gramáticas de tipo 0 (sin restricciones), que incluye a todas las gramáticas formales.
 Gramáticas de tipo 1 (gramáticas sensibles al contexto) generan los lenguajes sensibles al
contexto.
 Gramáticas de tipo 2 (gramáticas libres del contexto) generan los lenguajes independientes
del contexto.
 Gramáticas de tipo 3 (gramáticas regulares) generan los lenguajes regulares.
 5

Guía resuelta sobre Gramáticas.