Você está na página 1de 8

GRAMTICA TIPO

GRAMTICA TIPO 0
0 Gerardo Prez Hctor Manuel.
Gracia Rivera Dulce Mara.
Hernndez Barraza ngel.
Ochoa Garca Omar Alejandro.
Rocha Venegas Daniel Alberto.
Vzquez Rodrguez Francisco L.
Manuel Ramrez Lpez.
Lenguaje y Autmatas
Cd. Obregn Son. A Jueves 21 de Enero del 2015. 1.
Gramtica Noam Chomsky

Es una clasificacin jerrquica de


distintos tipos degramticas
formalesque generanlenguajes
formales.

Una gramtica esta formada por


cuatro elementos fundamentales:
G= {NT,T,S,P}
NT: No terminales
T: Terminales
S: Smbolo inicial
P: Reglas de produccin
Gramtica de tipo 0

Llamada tambin gramtica no restringida o con estructura de


frase. incluye a todas las gramticas formales. Los lenguajes son
conocidos comolenguajes recursivamente enumerables.

TIPO LENGUAJE AUTOMATA PRODUCCIN


DE
GRAMATICA
0 Recursivamen Mquina de Sin
te Turing restricciones
enumerable
Reglas de produccin

siendo
y
es decir, la nica restriccin es que no puede haber reglas de la
forma dnde es cadena vaca.

Donde:
VN= NT = No terminales.
VT= T= Terminales.
Ejemplos de derivacin
Ejemplo de Gramtica Tipo 0
Ejemplo: sea G = ({a, b}, {A, B, C}, A, P)
L(G) = { an bn , n 0 }
Donde:
A aABC | abC
CB BC
bB bb Revisar: aaabbb
bC b
A aAB \ ab A
Revisar:
CB CBC C
aaabbb
b b a A B C
B
b b a A B C
C
a b C
b
b b
b
b b
b
Ejercicios
Define una gramtica para el lenguaje de cadenas con una o ms
as seguida de cero o ms bs.

Define una gramtica para palndromos de igual longitud.

Define una gramtica para cadenas donde el nmero de as es


igual al nmero de bs.

Você também pode gostar