CIENCIAS DE LA COMPUTACION I

2015

MQUINAS GRAMTICAS LENGUAJES (Jerarqua de Chomsky)

Lenguajes

Mquinas

Gramticas

REGULARES
(TIPO 3)

Autmata Finito Determinstico

Regulares o de Tipo 3

AFD = <E, A, , e0, F>

E: conjunto finito de estados
A: alfabeto de entrada
: funcin de transicin : E x A E
e0: estado inicial; e0 E
F: conjunto de estados finales; F E

INDEPENDIENAutmata de Pila Determinstico o

TES O LIBRES
No Determinstico
DEL CONTEXTO
AP = <E, A , P, , e0,Z0, F>
(TIPO 2)
E: conjunto finito de estados
A: alfabeto de entrada
P: alfabeto de la Pila; P A=
:funcin de transicin
:E x ( A {}) x P E x P (determin.)

G = <N, T, P, S>
Formato de reglas de Tipo 3:
- Lineales a derecha
A aB
Aa
- Lineales a izquierda
A Ba
Aa
Para A N {S}; B N; a T
En ambos casos se puede incluir
S

Equivalencia Determinismo
No determinismo

SI

Libres del Contexto o de Tipo 2

G = <N, T, P, S>
Formato de reglas de Tipo 2:
A

: E x (A {}) x P Pf(E x P*) (no determ.) donde

(Pf denota los subconjuntos finitos de E x P*) A N {S};
e0: estado inicial; e0 E
(N T)* - {}
Z0:smbolo distinguido; Z0 P
F: conjunto de estados finales; F E.
Se puede incluir S

NO

CIENCIAS DE LA COMPUTACION I
Lenguajes

Mquinas

DEPENDIENTES
Autmata Linealmente Acotado
O SENSIBLES
AL CONTEXTO
ALA= < E, A, C, , e0, B, F, #, $>
(TIPO 1)

ESTRUCTURADOS POR
FRASES
(TIPO 0)

E: conjunto finito de estados

A: alfabeto de entrada; A C
C: alfabeto de la cinta;
C=A {B, #, $}Auxiliares
: funcin de transicin
: E x C E x C x {D, I, N} ver (1)
: E x Ck E x (C x {D, I, N})k (k cintas)
ver (2)
e0: estado inicial; e0 E
B: smbolo blanco; B A y B C
F: conjunto de estados finales; F E
#: smbolo de inicio de la/s cinta/s
$: smbolo de fin de la/s cinta/s
Mquina de Turing Determinstica
MTD= < E, A, C, , e0, B, F>
E: conjunto finito de estados
A: alfabeto de entrada; A C
C: alfabeto de la cinta; C=A {B}Auxiliares
: funcin de transicin
: E x C E x C x {D, I, N} (1 cinta) ver (3)
: E x Ck E x (C x {D, I, N})k (k cintas)
ver (4)
e0: estado inicial; e0 E
B: smbolo blanco; B A y B C
F: conjunto de estados finales; F E

2015
Gramticas

Equivalencia Determinismo
No determinismo

Sensibles al Contexto o de Tipo 1

G = <N, T, P, S>
Formato de reglas de Tipo 1:
A
donde N {S}
, (NT)
(NT) - {}

SI

Se puede incluir S

Contractivas o de Tipo 0
G = <N, T, P, S>
Formato de reglas de Tipo 0:
A
donde N {S}
, , (NT)
( puede ser igual a )

SI

CIENCIAS DE LA COMPUTACION I

2015

Nota: Para todas las gramticas N, T y S se definen como sigue:

- N es un conjunto finito de smbolos no terminales
- T es un conjunto finito de smbolos terminales; N T =
- S es el smbolo distinguido o axioma; S (N T)
(1) No se permiten movimientos a la izquierda de # ni a la derecha de $.
(2) En ninguna de las cintas se permiten movimientos a la izquierda de # ni a la derecha de $.
Tampoco se permite reescribir los smbolos # y $.
(3) No se permiten movimientos a la izquierda de la celda de inicio de la cinta.
(4) En ninguna de las cintas se permiten movimientos a la izquierda de de la celda de inicio.

Se puede establecer la siguiente relacin entre los distintos tipos de gramticas:

GTIPO-3 GTIPO-2 GTIPO-1 GTIPO-0
Esto significa que por ejemplo un lenguaje regular (tipo 3) se puede generar con una gramtica de
tipo 3, de tipo 2, de tipo 1 de tipo 0, siendo la ms restrictiva la de tipo 3.