JERARQUÍA DE CHOMSKY

Forma de las Producciones

Tipo Nombre Nivel Modelo Matemático
α→β

α1Nα2 →β
0 Irrestricta Pragmático Máquina de Turing
α1, α2, β ϵ (ΣT U ΣN)* ; N ϵ ΣN

Dependiente del Autómata Linealmente

1 Contexto
Semántico Limitado
|α| ≤ |β|

Independiente
2 del Contexto
Sintáctico Autómata de Pila |α| = 1

N → wN|w o N → Nw|w
3 Regular Léxico Autómata Finito
w ϵ ΣT*
 ¿ Todas las reglas
cumplen con
NO
0
|β| ≥ |α| o sea sin
NO reglas compresoras? SÍ
1
α →β
¿ CÓMO
¿ Todas las reglas IDENTIFICO EL
cumplen con TIPO DE
|α| = 1 o sea GRAMÁTICA ?
con contexto
izquierdo vacío ?
¿ Todas las reglas
tienen la forma
NO 2
SÍ N → wN | w
o la forma
N → Nw | w ? SÍ 3