Lenguajes

Consecuencias.
La jerarquía de Chomsky no solo aporta un ordenamiento conjuntual de los lenguajes, sino que proporciona un mecanismo de clasificación basado en características relacionadas con lasformas gramaticales mínimas de cada lenguaje en particular así como decide qué tipo de reconocedores mínimos servirían para determinar las cadenas válidas.
Tipo Nombre Forma de las producciones Tipode autómata o reconocedor
0 LRE Irrestrictas Máquina de Turing

1 LDC Autómata linealmente acotado

2 LLC Autómata de pila

3 LR
ó
Autómata finito
Expresión regular

Hechos que sesostienen en la formalización de Alan Turing con sus autómatas que emulaban diversos procesos algoritmizables, modelos ya demostrados y aceptados en la naciente comunidad de especialistas encomputadoras y matemáticas aplicadas a los ordenadores. Este aporte derivado de la visión estructuralista y matemática del momento de realización de esta teoría lingüística encontró su mayor sistema deaplicación en las ciencias de la computación y el desarrollo de las teorías y técnicas de desarrollo de lenguajes de programación y especificado y los compiladores e intérpretes que los procesen, dotándolos deun cuerpo teórico y abriendo las puertas a la gran diversidad de lenguajes de computadora que existen en la actualidad.

http://www.ecured.cu/index.php/Jerarqu%C3%ADa_de_Chomsky

Notación deBackus-Naur
La notación de Backus-Naur, también conocida por sus denominaciones inglesas Backus-Naur form (BNF), Backus-Naur formalism o Backus normal form, es un metalenguaje usado para expresargramáticas libres de contexto: es decir, una manera formal de describir lenguajes formales.
El BNF se utiliza extensamente como notación para las gramáticas de los lenguajes de programación de lacomputadora, de los sistemas de comando y de los protocolos de comunicación, así como una notación para representar partes de las gramáticas de la lengua natural (por ejemplo, el metro en la poesía de...