qwerwqer

werwerqqqqqqqqqqqqqqq qt qwrt q
p tkl´pqwrktçq
er
go qer
py
qr
qr
q
grq
p t
qro
twt]`t(a). El autómata a pila acepta las cadenas con el mismo número de x’s y de y’s
(b). El lenguaje que acepta el autómata a pila contiene al lenguaje {xnyn : n  0}
(c). El lenguaje que acepta el autómata a pila es independiente del contexto no regular
(d). En las cadenas contenidas en ellenguaje aceptado por el autómata siempre deben
aparecer las x’s antes que las y’s
Solución: D. La opción a es verdadera puesto que es el lenguaje que acepta el autómata. La
opción b es verdadera puesto que las cadenas de la forma xnyn están contenidos en el
lenguaje definido en la opción a que es un lenguaje independiente del contexto no regular.
La opción c es verdadera puesto que el lenguaje queacepta el autómata es no regular.
8 Dada la siguiente máquina de Turing:
M = ({q0, q1, q2, q3, q4}, {0, 1}, {0, 1,X, Y,B}, , q0,B, {q4})
donde  se define mediante la siguiente tabla de transiciones:
Símbolo
Estado 0 1 X Y B
q0 (q1,X,R) - - (q3, Y,R) -
q1 (q1, 0,R) (q2, Y, L) - (q1, Y,R) -
q2 (q2, 0, L) - (q0,X,R) (q2, Y, L) -
q3 - - - (q3, Y,R) (q4,B,R)
q4 - - - - -
Indicar cuál delas siguientes afirmaciones es verdadera:
(a). El lenguaje que reconoce es {0n1n : n  0}
(b). El lenguaje que reconoce es {0n1n : n  1}
(c). El lenguaje que reconoce es {0m1n : m, n  0}
5
(a). El autómata a pila acepta las cadenas con el mismo número de x’s y de y’s
(b). El lenguaje que acepta el autómata a pila contiene al lenguaje {xnyn : n  0}
(c). El lenguaje que acepta el autómata apila es independiente del contexto no regular
(d). En las cadenas contenidas en el lenguaje aceptado por el autómata siempre deben
aparecer las x’s antes que las y’s
Solución: D. La opción a es verdadera puesto que es el lenguaje que acepta el autómata. La
opción b es verdadera puesto que las cadenas de la forma xnyn están contenidos en el
lenguaje definido en la opción a que es un lenguajeindependiente del contexto no regular.
La opción c es verdadera puesto que el lenguaje que acepta el autómata es no regular.
8 Dada la siguiente máquina de Turing:
M = ({q0, q1, q2, q3, q4}, {0, 1}, {0, 1,X, Y,B}, , q0,B, {q4})
donde  se define mediante la siguiente tabla de transiciones:
Símbolo
Estado 0 1 X Y B
q0 (q1,X,R) - - (q3, Y,R) -
q1 (q1, 0,R) (q2, Y, L) - (q1, Y,R) -
q2 (q2,0, L) - (q0,X,R) (q2, Y, L) -
q3 - - - (q3, Y,R) (q4,B,R)
q4 - - - - -
Indicar cuál de las siguientes afirmaciones es verdadera:
(a). El lenguaje que reconoce es {0n1n : n  0}
(b). El lenguaje que reconoce es {0n1n : n  1}
(c). El lenguaje que reconoce es {0m1n : m, n  0}
5(a). El autómata a pila acepta las cadenas con el mismo número de x’s y de y’s
(b). El lenguaje que acepta elautómata a pila contiene al lenguaje {xnyn : n  0}
(c). El lenguaje que acepta el autómata a pila es independiente del contexto no regular
(d). En las cadenas contenidas en el lenguaje aceptado por el autómata siempre deben
aparecer las x’s antes que las y’s
Solución: D. La opción a es verdadera puesto que es el lenguaje que acepta el autómata. La
opción b es verdadera puesto que las cadenas de laforma xnyn están contenidos en el
lenguaje definido en la opción a que es un lenguaje independiente del contexto no regular.
La opción c es verdadera puesto que el lenguaje que acepta el autómata es no regular.
8 Dada la siguiente máquina de Turing:
M = ({q0, q1, q2, q3, q4}, {0, 1}, {0, 1,X, Y,B}, , q0,B, {q4})
donde  se define mediante la siguiente tabla de transiciones:
Símbolo
Estado0 1 X Y B
q0 (q1,X,R) - - (q3, Y,R) -
q1 (q1, 0,R) (q2, Y, L) - (q1, Y,R) -
q2 (q2, 0, L) - (q0,X,R) (q2, Y, L) -
q3 - - - (q3, Y,R) (q4,B,R)
q4 - - - - -
Indicar cuál de las siguientes afirmaciones es verdadera:
(a). El lenguaje que reconoce es {0n1n : n  0}
(b). El lenguaje que reconoce es {0n1n : n  1}
(c). El lenguaje que reconoce es {0m1n : m, n  0}
5(a). El autómata a pila...