Ejemplos de lenguajes formales

Un conjunto de todas las palabras sobre {a,b}.

La Numeración de Gödel {an : a es un número primo y n un número de Gödel}.

El conjunto de todos los programas sintácticamente válidos en un determinado lenguaje de

programación.

El conjunto de todas las fórmulas bien formadas en la lógica de primer orden.

La Jerarquía de Chomsky consta de cuatro niveles:

Normas de producción
Tipo Lenguaje Autómata
de gramáticas

recursivamente
0 Máquina de Turing (MT) Sin restricciones
enumerable (LRE)

Autómata linealmente
1 dependiente del contexto (LSC) αAβ → αγβ
acotado

independiente del
2 Autómata con pila A → γ
contexto (LLC)

A → aB
3 regular (RL) Autómata finito
A → a

Tipo 0

Estos tipos de lenguajes se resuelven mediante maquinas de Turín

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.

Restricción

No tiene ninguna restricción solamente que del lado izquierdo debe haber por lo menos un
símbolo no terminal
Nota

Todos los demás tipos de lenguajes también se pueden resolver mediante maquinas de Turín

Tipo 1

Estos tipos de lenguajes se resuelven mediante autómatas lineales limitados

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.

Restricción

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

Nota

Los lenguajes regulares y los libres de contexto también se pueden resolver mediante autómatas
lineales limitados.

Tipo 2
Estos tipos de lenguajes se resuelven mediante autómatas descendentes

Características

Del lado derecho de cada producción puede empezar con un símbolo terminal o con un no
terminal

Los lenguajes regulares también se pueden resolver mediante autómatas descendentes

Tipo 3

Estos tipos de lenguajes se resuelven mediante autómatas finitos.

Características

Del lado derecho de cada producción debe empezar con un símbolo terminal