JERARQUÍA DE CHOMSKY

La jerarquía de Chomsky (o de Chomsky-Schützenberger describa en 1956) es una

clasificación jerárquica de distintos tipos de gramáticas formales que general
lenguajes formales.
Esta jerarquía consta de 4 niveles:

GRAMATICA DE TIPO 0:
DESCRIPCIÓN:
Lenguaje: Recursivamente enumerable (LRE).
Autómata: Máquina de Turing (MT). (Los demás lenguajes también pueden
resolverse mediante MT).
Normas de producción de gramáticas: Sin restricciones
Características: Del lado derecho de cada producción puede empezar con un
símbolo terminal o con un no terminal y del lado izquierdo puede empezar con más
de un símbolo no terminal. Por los menos del lado izquierdo debe hacer un símbolo
no terminal.

Ejemplo 1:

GRAMATICA DE TIPO 1:
DESCRIPCIÓN:
Lenguaje: Dependiente del contexto (LSC).
Autómata: Autómata linealmente acotado
Normas de producción de gramáticas: αAβ → αγβ
Características: Del lado derecho de cada producción puede empezar con un
símbolo terminal o con un no terminal y del lado izquierdo puede empezar con más
de un símbolo n terminal. El número de no terminales del lado izquierdo de la
producción debe ser menor o igual al número de símbolos del lado derecho.
Ejemplo 1:

Ejemplo 2:

Supongamos que queremos definir el lenguaje que solo acepta programas donde
las variables hayan sido especificadas. Por simplicidad supongamos que solo
vamos a utilizar programas con una sola variable.
GRAMATICA DE TIPO 2:
DESCRIPCIÓN:
Lenguaje: Independiente del contexto (LLC).
Autómata: Autómata con pila
Normas de producción de gramáticas: A → γ
Características: Del lado derecho de cada producción puede empezar con un
símbolo terminal o con uno no terminal.

Ejemplo 1:

Ejemplo 2:
Para este ejemplo, tomamos la gramática la gramática G y añadiremos una variable.
Las producciones serán entonces:

GRAMATICA DE TIPO 3:
DESCRIPCIÓN:
Lenguaje: Regular (LR).
Autómata: Autómata finito
Normas de producción de gramáticas: A → aB
A→a
Características: Del lado derecho de cada producción debe empezar con un
símbolo terminal.

Ejemplo 1:

Ejemplo 2:

Esta gramática genera el lenguaje de todas las operaciones aritméticas que

involucren solo sumas y restas.