V ctor J.

D az Madrigal y Jos Miguel Ca ete e n

Jerarqu de Chomsky a
1. 2. 3. 4. 5. 6. Clasicacin de gramticas o a Clasicacin de lenguajes o Gramticas regulares a Gramticas independientes del contexto a Gramticas dependientes del contexto a Gramticas sin restricciones a

LFA, Curso 2004/2005

V ctor J. D az Madrigal y Jos Miguel Ca ete e n

Clasicacin de gramticas o a
Chomsky generaliza el concepto de gramtica G = (VT , VN , S, P ) y propone una clasia cacin (jerarqu segn la forma que deben tener sus producciones: o a) u Regulares (GREG) Independientes del contexto (GIC) Dependientes del contexto (GDC) Con estructura de frase (GEF) Por la izquierda: Por la derecha: Av A v con |A| |v| A A Aa A a A aA A a

donde A, B VN , a VT , , , V y v V + Para cubrir el caso de la generacin de en todos los tipos de gramticas, se admite la o a inclusin de la regla S en GREGs, GICs y GDCs. o Se verica: El conjunto de las gramticas GRs est estrictamente contenido en el de las GICs. a a El conjunto de las gramticas GICs est estrictamente contenido en el de las GDCs. a a El conjunto de las gramticas GDCs est estrictamente contenido en el de las GEFs. a a

LFA, Curso 2004/2005

V ctor J. D az Madrigal y Jos Miguel Ca ete e n

Clasicacin de lenguajes o
La jerarqu de Chomsky implica a su vez una jerarqu de lenguajes. a a Las gramticas GREGs por la derecha o izquierda generan la misma clase de lenguaa jes LREG denominados regulares. Esta clase coincide con la de los lenguajes aceptados por los autmatas nitos y la de los lenguajes descritos mediante expresiones o regulares. Las GICs generan la clase LIC de los lenguajes independientes del contexto. Esta clase coincide con la de los lenguajes aceptados por los autmatas de pila. o Las GDCs generan la clase LDC de los lenguajes dependientes del contexto. Las GEFs generan la clase LEF de los lenguajes con estructura de frases. Esta clase de lenguajes coincide con la de los lenguajes aceptados por las mquinas de a Turing. Se verica LREG LIC LDC LEF

LFA, Curso 2004/2005

V ctor J. D az Madrigal y Jos Miguel Ca ete e n

Gramticas regulares a
Ejemplo: Las dos gramticas Gr y Gl generan el lenguaje regular 11 00 a Regular por la derecha S 1A Gr = A 1A | 0B | 0 B 0B | 0 Regular por la izquierda S C0 Gl = C C0 | D1 | 1 D D1 | 1

LFA, Curso 2004/2005

V ctor J. D az Madrigal y Jos Miguel Ca ete e n

Gramticas independientes del contexto a

Ejemplo: Las dos gramticas G1 y G2 generan el lenguaje independiente del contexto a 0n 1n 2m con n, m 0. Lenguaje GIC en formato no estricto S AB G1 = A 0A1 | B 2B | GIC en formato estricto S AB | A | B | G2 = A 0A1 | 01 B 2B | 2

Podemos observar que la gramtica G1 no es una GIC en sentido estricito ( incluye reglas a nulas asociadas a s mbolos que no son el axioma). Admitiremos, sin embargo, que es una GIC debido al siguiente teorema. Teorema Si todas las reglas de una gramtica G son de la forma A con A VN y a V , entonces podemos obtener otra gramtica GIC equivalente a G. a

LFA, Curso 2004/2005

V ctor J. D az Madrigal y Jos Miguel Ca ete e n

Gramticas dependientes del contexto a

Ejemplo: Sea la GDC G = ({a, b, c}, {S, M }, S, P ) donde S aM c | aSM c aM ab P = bM bb cM M c La gramtica G genera el lenguaje dependiente del contexto an bn cn con n > 0. Un a ejemplo de derivacin ser o a: S aSM c aaM cM c aabcM c aabM cc aabbcc Teorema Toda gramtica GDC G pueden ser convertida en otra gramtica equivalente a a G donde todas las reglas de G son la forma A v o S con A VN , v V + y , V . Es decir, reglas en donde A se sustituye por v en el contexto (, ).

LFA, Curso 2004/2005

V ctor J. D az Madrigal y Jos Miguel Ca ete e n

Gramticas con estructura de frases a

Las gramticas GEFs se caracterizan frente al resto (dejando aparte el caso S ) en a que admite reglas compresoras. Una regla compresora es aquella regla que cumple que el tamao de su lado derecho es menor que el tamao de su lado izquierdo. n n Ejemplo: Sea la GEF G = ({a, b, c}, {S, M }, S, P ) donde S abM Sc | bM a abM P = bM c bc bM b bbM La gramtica G genera el lenguaje an bn cn con n 0. Un ejemplo de derivacin ser a o a: S abM Sc abM abM Scc abM abM cc abM abcc aabM bcc aabbM cc aabbcc

LFA, Curso 2004/2005

V ctor J. D az Madrigal y Jos Miguel Ca ete e n

Mquinas de Turing a
1. 2. 3. 4. Modelo bsico de una Mquina de Turing a a Mquinas de Turing y computadoras a Lenguajes aceptados por una Mquina de Turing a Variantes de una Mquina de Turing a

LFA, Curso 2004/2005

V ctor J. D az Madrigal y Jos Miguel Ca ete e n

Modelo bsico de una MT: Componentes a

Una mquina de Turing (MT) es una tupla M = (, , a es el alfabeto de la cinta innita por ambos lados. es el alfabeto de la entrada ( ) es el s / mbolo espacio en blanco. , Q, q0 , F, ) donde

Q conjunto nito de estados q0 Q es el estado inicial y F Q conjunto de estados nales (o de aceptacin) o : Q Q {I, D} es la funcin de transicin que puede ser parcial o o Ejemplo: M1 = ({a, b, }, {a, b}, , {q0 , q1 }, q0 , {q1 }, ) donde (q0 , b) = (q0 , a, D) (q0 , ) = (q1 , , I)

(q0 , a) = (q0 , a, D) Tabla de transicin o M1 q0 q1 a q0 aD b q0 aD

Diagrama (Grafo) de transicin o

q1 I

LFA, Curso 2004/2005

V ctor J. D az Madrigal y Jos Miguel Ca ete e n

Modelo bsico de una MT: Movimientos a

Dada una MT M = (, , , Q, q0 , F, ) se dene

Conguracin X1 . . . Xi1 qXi . . . Xn con X1 , . . . Xn y q Q, indica que M est en o a el estado q, que el puntero de lectura se encuentra situado sobre la casilla que contiene el s mbolo Xi , y que todas las casilla a la izquierda (derecha) del s mbolo X1 (Xn ) contienen . Movimiento M : Cambio de conguracin en el autmata. Hay dos alternativas deo o pendiendo del sentido del movimiento indicado por las directivas I o D X1 . . . Xi1 qXi . . . Xn X1 . . . Xi1 qXi . . . Xn Computacin o
M: M M

X1 . . . pXi1 Y . . . Xn si (q, Xi ) = (p, Y, I) X1 . . . Xi1 Y p . . . Xn si (q, Xi ) = (p, Y, D)

Secuencia de cero o ms movimientos. a y

Nota: Cuando la MT M se sobreentiende se usa la notacin o q0 aaba

M1

aq0 aba

M1

aaq0 ba
M1

M1

aaaq0 a q0 aaba

M1 M1

aaaaq0 aaq1 a

M1

aaaq1 a

aq0 aba

aq0 aba

LFA, Curso 2004/2005

V ctor J. D az Madrigal y Jos Miguel Ca ete e n

Mquinas de Turing y computadoras a

Una funcin de cadena es Turing computable si existe una MT M = (, , o para la que q0 w qf u para algn qf F , cuando f (w) = u. u M , Q, q0 , F, )

Ejemplo: Supongamos que representamos un entero positivo n mediante una cadena an . La siguiente M T calcula la funcin f (n, m) = n + m teniendo en cuenta que f o ser representada mediante la transformacin de an bam en an+m b. a o M q0 q1 q2 q3 q4 q0 abaa aq0 baa aaaq2 a aaq1 aa aaq3 ab aaaq1 a aq3 aab aaaaq1 q3 aaab q3 aaab q4 aaab a q0 aD q1 aD q3 bI q3 aI q4 D b q1 aD q2 I

LFA, Curso 2004/2005

V ctor J. D az Madrigal y Jos Miguel Ca ete e n

Lenguajes aceptados por una MT: Denicin o

Lenguaje L(M ) aceptado por una MT: Dado un MT M = (, , L(M ) = {w | q0 w
M

, Q, q0 , F, )

qf con , y qf F }

Ejemplo: L(M ) acepta el lenguaje an con n 0. M q0 q1 q0 aa aq0 a aaq0 aa q1 a q0 aD q1 D

Nota: Asumimos que no existen transiciones desde ningn estado de aceptacin. u o Los lenguajes aceptados por las MT se denominan lenguajes recursivamente enumerables. Denotamos mediante LR.E. a la clase de los lenguajes recursivamente enumerables. Equivalencia: Decimos que dos MT M1 y M2 son equivalentes cuando L(M1 ) = L(M2 ).

LFA, Curso 2004/2005

V ctor J. D az Madrigal y Jos Miguel Ca ete e n

Lenguajes aceptados por una MT: La parada

Parada Decimos que una MT M = (, , , Q, q0 , F, ) para si alcanza un p Q y seala a un X para el que no est denido (p, X). n a Una MT no tiene porqu pararse ante todas las cadenas de entrada. Por ejemplo, la MT e M acepta el lenguaje {a, b} y slo se para con las cadenas , a y b del lenguaje (a + b) . o M q0 q1 q2 Los lenguajes para los que existe una MT que para con cualquier cadena de entrada (pertenezca o no al lenguaje) se denominan lenguajes recursivos. Denotamos la clase de los lenguajes recursivos mediante LR. Teorema [LDC LR]. La clase LDC de los lenguajes dependientes del contexto est contenida de forma estricta en la clase de los lenguajes recursivos. a a q1 aD q0 aI b q1 bD q0 bI q2 D q0 a q0 ab aq1 aq1 b a q2 q0 ab aq1 b ...

LFA, Curso 2004/2005

V ctor J. D az Madrigal y Jos Miguel Ca ete e n

Variantes de una MT: Tcnicas de dise o e n

Almacenamiento en la unidad: Los estados son tuplas sobre dominios nitos Cinta multipista: Los s mbolos son tuplas sobre dominios nitos Directiva Q: Indica que el puntero de lectura/escritura se queda quieto Ejemplo: Una MT que comprueba si dos secuencias de bits de igual tamao son iguales n o complementarias (se marcar con asteriscos el primer par incorrecto, si existiese). a M (q0 , ) (q1 , i) (q1 , c) (q1 , ) (d, d ) (q1 , c)(d, d )D (q1 , i)(, )Q (q1 , c)(d, d )D (d, d) (q1 , i)(d, d)D (q1 , i)(d, d)D (q1 , c)(, )Q (q1 , (q1 , )( , )( , )Q )Q ( , )

donde d {0, 1} y d es el bit complementario de d (q0 , (q0 , )(0, 1)(1, 0) (0, 1)(q1 , c)(1, 0) (0, 1)(1, 0)(q1 , c)( , ) (0, 1)(1, 0)(q1 , )( , )

)(0, 0)(1, 1)(1, 0)(1, 1)

(0, 0)(q1 , i)(1, 1)(1, 0)(1, 1) (0, 0)(1, 1)(q1 , i)(1, 0)(1, 1) (0, 0)(1, 1)(q1 , i)(, )(1, 1)

LFA, Curso 2004/2005

V ctor J. D az Madrigal y Jos Miguel Ca ete e n

Variantes de una MT: Modelo multicinta

Ejemplo: Una MT de 2 cintas para aceptar el lenguaje an bn con n > 1 denida del siguiente modo M = ({a, b, }, {a, b}, , {q0 , q1 , q2 }, q0 , {q2 }, ) donde : Q 2 Q 2 {I, D, Q}2 viene descrita mediante: M q0 q1 q2 (q0 aabb)(q0 ) (aq0 abb)(aq0 ) (aabq1 b)(q1 a) (aaq0 bb)(aaq0 ) (aabbq1 )(q1 ) (aaq1 bb)(aq1 a) (aabbq2 )(q2 ) (a, ) (b, q1 (b, ) )(Q, I) q1 (b, )(D, I) q2 ( , )(Q, Q) (b, a) ( , )

q0 (a, a)(D, D)

Teorema Las MT con k > 1 cintas aceptan la misma clase de lenguajes que las MT con una sla cinta. o

LFA, Curso 2004/2005

V ctor J. D az Madrigal y Jos Miguel Ca ete e n

Variantes de una MT: Modelo no determinista

Ejemplo: Una MT que acepta el lenguaje wwR con w {0, 1}. M q0 q1 q2 q3 donde d {0, 1} y d es el bit complementario de d (d, q1 (d, d)(D, D) ) q2 (d, )(Q, I) q2 (d, )(D, I) q3 ( , )(Q, Q) (d, d) ( , )

q1 (d, d)(D, D)

Teorema Las MT no deterministas aceptan la misma clase de lenguajes que las MT.
LFA, Curso 2004/2005