Garcia Martinez Danis Alexis

Fundamentos de Teora de la Computacin

Clasificacin de Lenguajes Formales e Chomsky
Su aportacin a la ciencia de la Computacin ha sido muy significatia! Se le considerada
el fundador de la Gram"tica generatia transformacional! Sus an"lisis del lengua#e parten
de las oraciones $"sicas %ue se desarrollan y terminan en una ariedad de com$inaciones
sint"cticas al aplicar una serie de reglas!
Gram"ticas Formales
&na gram"tica formal consta de un con#unto finito de smbolos terminales 'las pala$ras en
un lengua#e formal() un con#unto finito de smbolos no terminales) un con#unto de reglas de
produccin con un lado iz%uierdo y otro derecho) y un smbolo inicial!
*as reglas se aplican sustituyendo la parte de la iz%uierda por la parte de la derecha! &na
deriacin es una secuencia de aplicaciones de reglas!
Cada gram"tica define el lengua#e formal de todas las sentencias %ue est"n formadas
exclusiamente por los sm$olos terminales a los %ue se puede llegar mediante deriacin
a partir del sm$olo inicial!
Choms+y ha esta$lecido una #era%uia de donde se especifican las gram"ticas %ue se
pueden generar apartir de sus reglas de generacin!
Tipos de gramticas
Gram"ticas Tipo , 'sin restricciones) recursias(
-ncluyen todas las gram"ticas formales! Generan todos los lengua#es %ue
pueden ser reconocidos por una m"%uina de Turing!
Gram"ticas Tipo . 'dependientes de contexto(
Generan los lengua#es dependientes de contexto! Contienen reglas de
produccin de la forma/
A A
A es un no terminal
) y son cadenas de terminales y no terminales!
y pueden ser acos) pero ha de ser distinto del aco!
Se denominan gram"ticas dependientes del contexto) por%ue) como se
o$sera) A puede ser sustituido por si est" acompa0ada de por la iz%uierda
y de por la derecha!
1stos lengua#es son todos los lengua#es %ue pueden ser reconocidos por una
m"%uina de Turing no determinista! 'autmatas lineales acotados(
Gram"ticas Tipo 2 'independientes de contexto) li$re de contexto(
Generan los lengua#es li$res de contexto! 1st"n definidas por reglas de la
forma/
A A
A es un no terminal
es una cadena de terminales y no terminales!
Se denominan independientes de contexto por%ue A puede sustituirse por
independientemente de las cadenas por las %ue est3 acompa0ada!
*os lengua#es independientes de contexto constituyen la $ase terica para la
sintaxis de la mayora de los lengua#es de programacin! Definen la sintaxis de
las declaraciones) las proposiciones) las expresiones) etc!'es decir) la estructura
de un programa(
1stos lengua#es son todos los lengua#es %ue pueden ser reconocidos por los
autmatas de pila!
Gram"ticas Tipo 4 'gram"ticas regulares(
Generan los lengua#es regulares! *as reglas se restringen a un 5nico no
terminal en la parte iz%uierda y una parte derecha compuesta por un 5nico
terminal %ue puede estar seguido o no de un 5nico no terminal! 1s decir)
normas del tipo/
Garcia Martinez Danis Alexis
Fundamentos de Teora de la Computacin
A A a a B B
A A a a
1stos lengua#es son los %ue pueden ser decididos por un autmata finito
'regular(! *os lengua#es regulares se utilizan para definir estructura l3xica de los
lengua#es de programacin! Definen la sintaxis de los identificadores) n5mero)
cadenas y otros sm$olos $"sicos del lengua#e!
Todo lengua#e de tipo 4 es de tipo 2) todo lengua#e de tipo 2 es de tipo .) y todo lengua#e
de tipo . es de tipo ,!
Se dice %ue un lengua#e es de tipo + 6+ 7 ,) + 7 .) + 7 2) + 7 48 cuando existe una
gram"tica de tipo + %ue genera ese lengua#e!
9ara clasificar una gram"tica hemos de analizar una a unas todas sus reglas de
produccin o$teniendo el tipo de cada una de ellas! *a clasificacin de la gram"tica ser" la
correspondiente al tipo de la produccin de menor clasificacin!
Gramtica Lenguaje
Reglas de
Produccin
Si , relacin
entre || y ||
Solucin
Tipo-0 Recursivas Sin restricciones Mquinas de Turing
Tipo-1 Dependiente de contexto A
|| || Aut!atas "inea"es
acotados
Tipo-# $ndependiente de contexto A || % 1 Aut!atas de pi"a
Tipo-& Regu"ar
A> aB
A a
Aut!atas 'initos(
regu"ares