autmatas

GRAMTICAS
FORMALES
GRAMTICAS FORMALES
definen un lenguaje describiendo cmo se pueden
generar las cadenas del lenguaje.

cudrupla G = (N, T, P, S)

N es un conjunto de smbolos no terminales, T es

un conjunto de smbolos terminales, P es un
conjunto finito de producciones, S es el smbolo
distinguido axioma S (N T).
JERARQUA DE CHOMSKY
Es una clasificacin jerrquica de distintos tipos de
gramticas formales que generan lenguajes
formales.

Tipo 0: gramticas generales sin restricciones

Tipo 1: gramticas sensibles al contexto

Tipo 2: gramticas libres de contexto

Tipo 3: gramticas regulares (o lineales)