Cuestionarios Corregidos Automatas

PRESABER
1
Puntos: 1
De un Lenguaje Libre de Contexto podemos afirmar que es:
Seleccione una respuesta.
a. Es lo mismo que decir un Autmata Libre de Contexto X
b. Es el Algoritmo que nos indica el lenguaje de la gramtica
r.
c. Es un Lenguaje que es generado por una gramtica libre Correcto: (gramticas libres del contexto) generan los lenguajes
d. Es un lenguaje regular X
X
de contexto
.,
independientes del contexto.
(gramticas libres del contexto) generan los lenguajes independientes del contexto.
Consideramos entonces los lenguajes libres (independientes) del contexto, y las gramticas libres del contexto y los
autmatas con pila, como forma de caracterizarlos y manejarlos. Los distintos lenguajes formales que se pueden construir
sobre un alfabeto concreto pueden clasificarse en clases cada vez ms amplias que incluyen como subconjunto a las
anteriores, de acuerdo con la jerarqua establecida por Chomsky en los aos 50.
Correcto
Puntos para este envo: 1/1.
Question 2
Puntos: 1
La evolucin de las mquinas (computadoras9 obedece principalmente a:
r.
r
a. Su aplicacin para resolver problemas de contexto en lenguajes d eprogramacin
Incorrecto
b. Su aplicacin para resol ver problemas de Turing X
c. Su aplicacin para resolver problemas infinitos y complejos X
d. Su aplicacin para resolver problemas cientficos.
Un aspecto importante en el desarrollo de los computadores, es sin duda, su aplicacin para resolver problemas cientficos y
empresariales
Incorrecto
Question 3
Puntos: 1
Cul de las siguientes cadenas corresponde con un Lenguaje Regular:
e
r.
r
a. {abababab}
b. {aaababaa} X
c. {abca}
Incorrecto: Los lenguajes regulares se llaman as porque sus palabras contienen regularidades o repeticiones.
d. {abaabbb} X
Los lenguajes regulares se llaman as porque sus palabras contienen regularidades o repeticiones.
Los lenguajes regulares se llaman as porque sus palabras contienen regularidades o repeticiones.
Incorrecto
Question 4
Puntos: 1
Si L es un Lenguaje sobre el Alfabeto A entonces En el lenguaje generado por la expresin L+ se aceptan cadenas:
r:
a. Toda la combinacin de cadenas posibles menos la vaca.
b. Ninguna combinacin posible diferente a las de longitud mayor o igual a
c. Todas las combinaciones posibles menos la de longitud 1 X
r.
d. Todas las combinacione sposibles incluyendo la vaca.
uno. X
Incorrecto: La operacin + excluye la cadena vaca

nicamente.
Es una expresin que denota todas las posibles combinaciones de smbolos para formar cadenas o palabras excluyendo la
cadena vaca.
Es una expresin que denota todas las posibles combinaciones de smbolos para formar cadenas o palabras excluyendo la
cadena vaca.
Incorrecto
Question 5
Puntos: 1
Cules de los siguientes elementos son necesarios para conocer el estado de un Autmata en un momento dado.
Seleccione al menos una respuesta.
a. Lenguaje que reconoce
X
b. Alfabeto X
el autmata.
Incorrecto: El alfabeto es indiferente a determinar el estado de un autmata.
c. Estado Finito
d. Smbolo de Entrada
e. Cadena aceptada
f. Lenguaje
p
p
Incorrecto: El lenguaje que reconoce el autmata es independiente del nmero de estados.
Incorrecto. El estado de un autmata es toda la informacin necesaria en un momento dado
deducir, dado un smbolo de entrada en ese momento, cual ser el smbolo de salida
g. Smbolo de salida
Correcto: El estado de un autmata es toda la informacin necesaria en un momento dado, para poder
Incorrecto: Las cadenas o palabras no determinan el estado actual del autmata.

El lenguaje es una caracterstica propia del Autmata. No tiene nada que ver con identificar el estado actual
del autmata.
h. Cadena rechazada
Correcto: El estado de un autmata es toda la informacin necesaria en un momento dado, para poder
deducir, dado un smbolo de entrada en ese momento, cual ser el smbolo de salida
Incorrecto: Las cadenas rechazadas no pueden determinar el estado actual de un Autmata.
Se define configuracin de un autmata a su situacin en un instante. Se define movimiento de un autmata como el transito
entre dos configuraciones. Si un autmata se encuentra en un estado determinado, recibe un smbolo tambin determinado,
producir un smbolo de salida y efectuar un cambio o transicin a otro estado (tambin puede quedarse en el mismo
estado).
Conocer el estado de un autmata, es lo mismo que conocer toda la historia de smbolos de entrada, as como el estado
inicial, estado en que se encontraba el autmata al recibir el primero de los smbolos de entrada. El autmata tendr un
determinado nmero de estados (pudiendo ser infinitos), y se encontrar en uno u otro segn sea la historia de smbolos que
le han llegado.
Correcto
Question 6
Puntos: 1
Los bloques constructores de lenguajes son:
r.
a. Gramtica
r:
b. Cadenas o Palabras X
c. Jerarqua de Chomsky
d. Smbolo X
e. Alfabeto
Una gramtica es aplicable a un Lenguaje. El bloque ms sencillo de construccin de Lenguajes es el

Alfabeto.
El bloque ms sencillo de construccin de Lenguajes es el Alfabeto.

El bloque ms sencillo de construccin de Lenguajes es el Alfabeto.
RECONOCIMIENTO I
1
Puntos: 1
Los lenguajes aceptados por los autmatas finitos son fcilmente descritos por expresiones simples llamadas expresiones
regulares quienes les dan el nombre de conjuntos regulares a dichos lenguajes.
Estas caractersticas son definidas tambin por el tipo de gramtica. Un concepto claro y ordenado de estos conceptos es:
(seleccione solo una opcin).
a. Los autmatas no pueden describir el comportamiento
de otras mquinas o sistemas. ya que son nicos para

cada algoritmo, es decir desarrollan su propio problema.
X
b. Los autmatas pueden usarse para reconocer lenguajes.
Es decir, para leer cadenas (secuencias de smbolos) sin

importar si pertenecen o no a un lenguaje. Son mquinas
poderosas que automatizan procesos y combinan
lenguajes. X
c. Los autmatas finitos son capaces de reconocer
r:
diferentes tipos de lenguajes, que pueden ser

caracterizados tambin, mediante diferentes tipos de
gramticas para un solo lenguaje. X
d. Una forma adicional de caracterizar los lenguajes
Correcto: Estas caracterizaciones de los lenguajes regulares se utilizan en
regulares, es mediante las llamadas expresiones regulares, la prctica, segn que la situacin concreta est favorecida por la forma de
que son las frases del lenguaje, construidas mediante
describir el lenguaje de cada una de ellas. Los autmatas finitos se utilizan
operadores sobre el alfabeto del mismo y otras
generalmente para verificar que las cadenas pertenecen al lenguaje, y como
expresiones regulares, incluyendo el lenguaje vaco
un analizador en la traduccin de algoritmos al computador.
Estas caracterizaciones de los lenguajes regulares se utilizan en la prctica, segn que la situacin concreta est favorecida
por la forma de describir el lenguaje de cada una de ellas. Los autmatas finitos se utilizan generalmente para verificar que
las cadenas pertenecen al lenguaje, y como un analizador en la traduccin de algortmos al computador.
Estas caracterizaciones de los lenguajes regulares se utilizan en la prctica, segn que la situacin concreta est favorecida
por la forma de describir el lenguaje de cada una de ellas. Los autmatas finitos se utilizan generalmente para verificar que
las cadenas pertenecen al lenguaje, y como un analizador en la traduccin de algortmos al computador.
Correcto
Question 2
Puntos: 1
Un diagrama de Moore o de Transicin de Estados representa una abstraccin de un modelo matemtico de un

Autmata, siendo anlogo a ____________, que representa la abstraccin de una Mquina usada en procesos
automatizados.
r.
e
r:
e:
a. El plano del diseo de la mquina
.(
Correcto: Los diagramas de Moore son otra forma de representar las funciones de transicin
y salida de un autmata.
b. Las caractersticas tcnicas de la

Mquina X
c. La instrucciones de operacin de la
Mquina X
d. Las caractersticas de color de la
mquina X
El diagrama de Moore es un grafo orientado en el que cada nodo corresponde a un estado

Los diagramas de Moore son otra forma de representar las funciones de transicin y salida de un autmata.
Correcto
Question 3
Puntos: 1
Los lenguajes se pueden clasificar segn el tipo de dispositivos de aceptacin y generacin que existen para
ellos. Con respecto a esto, asocie correctamente los siguientes textos:
Alfabeto
Conjunto de palabras o sentencias formadas sobre un alfabeto.
el diseo de los analizadores lxicos y sintcticos de los compiladores.
.(
la sintaxis de los lenguajes de programacin.
Conjunto finito no vaco de elementos.
Los mecanismos de aceptacin de los

lenguajes regulares y de los lenguajes
libres de contexto forman la base para
Los dispositivos de generacin de los
lenguajes regulares y de los lenguajes
libres de contexto, son ampliamente
usados como modelos para expresar la
Lenguaje
Informalmente, el trmino lenguaje formal se utiliza en muchos contextos (en las ciencias, en derecho, etc.) para referirse a
un modo de expresin ms cuidadoso y preciso que el habla cotidiana. Hasta finales de la dcada de 1990, el consenso
general era que un lenguaje formal, era en cierto modo la versin lmite de este uso antes mencionado: un lenguaje tan
formalizado que poda ser usado en forma escrita para describir mtodos computacionales. Sin embargo, hoy en da, el punto
de vista de que la naturaleza esencial de los lenguajes naturales (sin importar su grado de formalidad en el sentido
informal antes descrito) difiere de manera importante de aquella de los verdaderos lenguajes formales, gana cada vez ms
adeptos.
Parcialmente correcto
Puntos para este envo: 0.5/1.
Question 4
Puntos: 1
La Teora de Lenguajes, define bloques constructores de lenguaje. El bloque ms

sencillo es el alfabeto. De las siguientes afirmaciones cuales definen o son verdaderas
con respecto a un alfabeto
Pueden haber varias opciones vlidas
a. Los smbolos pueden ser nombres.
Correcto
b. Los alfabetos son finitos.
Correcto
c. Por smbolo, no se est haciendo referencia a un solo carcter.
Correcto
d. { , , , } Es un ejemplo de alfabeto.
Lenguaje Formal: Un alfabeto es un conjunto finito de smbolos. De esta definicin se debe resaltar lo siguiente. (1) Los
alfabetos son finitos. (2) Por smbolo no se est esta haciendo referencia a un slo carcter. Los smbolos pueden ser
nombres. Todas las respuestas son verdaderas.
Lenguaje Formal: Un alfabeto es un conjunto finito de smbolos. De esta definicin se debe resaltar lo siguiente. (1) Los
alfabetos son finitos. (2) Por smbolo no se est esta haciendo referencia a un slo carcter. Los smbolos pueden ser
nombres. Todas las respuestas son verdaderas.
Correcto
Question 5
Puntos: 1
1. Se denomina cadena, palabra o frase a una secuencia finita de smbolos de un alfabeto . Estas cadenas son
denotadas como w.
Dado el siguiente autmata finito determinstico (AFD) A = (Q, , f, q0, F) donde:
Q es un conjunto de estados.
es el alfabeto de entrada
f: Q X Q es la funcin (total) de transicin.
q0 pertenece Q es el estado inicial.
F incluye Q es el conjunto de estados finales.
Y que para el ejercicio = {a,b} Q ={ q0, q1} F = {q1} se representa

mediante el siguiente diagrama de Moore:
a
b
El conjunto de palabras aceptadas por este autmata son:
a. Todas las palabras que terminan en dos as
r:
b. {w a | w {a,b} potencia 2 } X
c. Todas las palabras que terminan en a y que estn
r.
precedidas por una b X

d. {w a | w {a,b}* }
.,,,
Correcto: El conjunto de palabras aceptadas por este autmata son la

palabras que terminan en a.
El conjunto de palabras aceptadas por este autmata son la palabras que terminan en a.
El conjunto de palabras aceptadas por este autmata son la palabras que terminan en a.
Correcto
Question 6
Puntos: 1
Se construy el siguiente autmata finito M para que cumpliera:
L(M) = {xmynzp | m,n y p son enteros no negativos }
Pero no fue vlido por que:
a. No acepta las cadenas {xyz} {yz} {xxxy}
b. No acepta las cadenas {x} {xxxzzz} {z} X
r.
c. Acepta solo las cadenas que combinen los

elementos {x,z} del alfabeto X
d. Tiene dos estados de aceptacin o finales
Incorrecto: El hecho que el Autmata tenga dos estados finales no lo clasifica como
no vlido. Se est evaluando es la ER que reconoce.
El hecho que el Autmata tenga dos estados finales no lo clasifica como no vlido. Se est evaluando es la ER que reconoce.
La configuracin de un autmata finito (sin importar el tipo) en cierto instante viene dada por el estado del autmata en ese
instante y por la porcin de cadena de entrada que le queda por leer o procesar. La porcin de cadena leda hasta llegar al
estado actual no tiene influencia en el comportamiento futuro de la mquina. En este sentido podemos decir que un AF es
una mquina sin memoria externa; son los estados los que resumen de alguna forma la informacin procesada.
LECCION I
1
Puntos: 1
Los autmatas y su definicin se pueden representar mediante :

a. Tabla de transiciones
b. Descripcin matemtica de la funcin de
c. El conjunto de tablas representativas X
Correcto: Se pueden identificar estados, transiciones y desde all se puede identificar las
cadenas vlidas.
transicin
d. Diagramas de Moore
Correcto: Los diagramas de Moore son otra forma de representar las funciones de
transicin y salida de un autmata.
La palabra autmata evoca algo que pretende imitar las funciones propias de los seres vivos, especialmente relacionadas con
el movimiento. Se pueden represnerar o definir mediante las tablas de transicin, Diagramas de Moore, La funcin de
transicin.
Question 2
Puntos: 1
Cuando se define un autmata finito se puede construir o recrear mediante las tablas de transiciones.
Al respecto indique cul afirmacin respecto a la creacin de tablas de transicin es vlida:
a. La fila i representa los estados. Las columnas j representan los smbolos. Cada celda (i,j) los Correcto. Esto es lo mismo que
posibles estados que alcanza el diagrama de transiciones cuando se encuentra en el estado i y describir el diagrama de transiciones
lee el smbolo j.
b. La fila i representa los smbolos. La Columna j representa los estados y cada celda (i,j) los
posibles estados que alcanza el diagrama de Moore que es el que genera la tabla de transicin.
c. En una tabla de transicin, no se representa el estado inicial ya que este se ubica en la
completo.
primera celda (i,j) de la tabla.
d. El estado final en una tabla de transicin se identifica mediante el smbolo de interrogacin.

este puede ubicarse en cualquier celada (i,j)
Tabla de transiciones. Las funciones f y g pueden representarse mediante una tabla, con tantas filas como estados y tantas
columnas como entradas
Tabla de transiciones. Las funciones f y g pueden representarse mediante una tabla, con tantas filas como estados y tantas
columnas como entradas
Correcto
Question 3
Puntos: 1
Asocie correctamente los elementos de una tupla de un Autmata
Expresin Regular
Suele describirse al estado final o de aceptacin
As se le llama a la cadena vaca
lambda
Suele ser el estado inicial
q0
Conjunto de estados posibles
ER
Un autmata es una quntupla A = (E, S, Q, f, g ) donde : E = {conjunto de entradas o vocabulario de entrada} S =

{conjunto de salidas o vocabulario de salida} Q = {conjunto de estados} E es un conjunto finito, y sus elementos se llaman
entradas o smbolos de entrada. S es un conjunto finito, y sus elementos se llaman salidas o smbolos de salida. Q es el
conjunto de estados posibles, puede ser finito o infinito.
Question 4
Puntos: 1
Que representa la siguiente figura:
r
r
a. No representa un autmata vlido por que el mismo estado inicial es el mismo estado
final.
b. Un Autmata que acepta palabras o cadenas que contienen nicamente bs
c. No representa un autmata vlido por que tiene un solo estado.
d. Un Autmata de tipo AFND vlido
Correcto: Es una extensin vlida de un

AFD.
Es un Autmata Finito No Determinstico (AFND) vlido. Es una extensin vlida de un AFD. Permite que de cada nodeo del
diagrama de estados salga un nmero de flechas mayor o menor que ||
Es un Autmata Finito No Determinstico (AFND) vlido. Es una extensin vlida de un AFD. Permite que de cada nodeo del
diagrama de estados salga un nmero de flechas mayor o menor que ||
Correcto
Question 5
Puntos: 1
Teniendo en cuenta la Teora de los Autmatas y Lengujaes Formales, y los diferentes Modelos de
Computacin, identifique los postulados vlidos y relevantes cuando se habla de de AUTOMATAS.
a. El propsito inicial de la automatizacin es hacer precisa la nocin intuitiva
de funcin calculable; esto es, una funcin cuyos valores pueden ser
calculados de forma automtica o efectiva mediante un algoritmo, y construir
modelos tericos para ello (de computacin).
Esta bsqueda de automatizacin fue uno de los principios

por lo que se desarrollaron muchas teoras de
computacin automtica.
b. La teora de la computabilidad puede caracterizarse, desde el punto de
Respuesta Correcta: Los modelos abstractos de
vista de las Ciencias de la Computacin es la bsqueda de mtodos
computacin tienen su origen en los aos 30, bastante
automticos de clculo. El primer paso de esta bsqueda est en el estudio
antes de que existieran los computadores modernos, en el
de los modelos de computacin. Los comienzos de la Teora. La Tesis de
trabajo de los lgicos Church, Gdel, Kleene, Post, y
Church-Turing
Turing.
c. La Teora de Conjuntos es de importancia y es un prerrequisito en el
Correcto, la Teora de Conjuntos es importante en el
estudio de la Teora de los Autmatas y Lengujaes Formales
estudio de los Autmatas
d. Un aspecto importante en el desarrollo de los computadores, es sin duda,

su aplicacin para guardar informacin.
Incorrecto: Un aspecto importante en el desarrollo de los

computadores, es sin duda, su aplicacin para resolver
problemas cientficos y empresariales.
Resolver estos problemas mediante una sucesin de pasos claros, concretos y sencillos, es decir algoritmos. El avance de las
matemticas permite la utilizacin de nuevas metodologas para la representacin y manejo de la informacin. Las mquinas
abstractas "Autmatas" contribuyen a este avance cientsifco.
El estudio de los Autmatas y su aplicabilidad tiene como intento de los matemticos y cientficos para obtener un
procedimiento general para resolver cualquier problema (matemtico) claramente formulado. Es lo que podramos llamar El
problema de la computacin terica. El avance de la tecnologa y de las matemticas, y ms en concreto de la teora de
conjuntos y de la lgica, permiten plantearse aspectos de la computacin en 3 caminos.
Correcto
Question 6
Puntos: 1
El nmero mnimo de estados de un autmata finito no determinista es:
a. Dos X
b. No hay nmero mnimo X
c. Depende del alfabeto sobre el que
r.
est definido. X
d. Uno
.(
Correcto: Un solo estado es suficiente para repesentar una mquina SFND si as fuese su
diseo. En este caso el mismo estado inicial es el final.
Hacemos notar en este punto que, dado que los AFN tienen menos restricciones que los AFD, resulta que los AFD son un
caso particular de los AFND, por lo que todo AFD es de hecho un AFND. Un solo estado es suficiente para representar esta
mquina si as se diseara. (AFND)
Una extensin a los autmatas finitos deterministas es la de permitir que de cada nodo del diagrama de estados salga un
nmero de flechas mayor o menor que As, se puede permitir que falte la flecha correspondiente a alguno de los smbolos del
alfabeto, o bien que haya varias flechas que salgan de un solo nodo con la misma etiqueta. Inclusive se permite que las
transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vaca. A estos autmatas finitos se les llama
no Determinsticos o no deterministas (abreviado AFND), Al retirar algunas de las restricciones que tienen los autmatas
finitos Determinsticos, su diseo para un lenguaje dado puede volverse ms simple.
Correcto
Question 7
Puntos: 1
Sea el autmata A = (, Q, f, q1, F) donde
={a,b}, Q = {q1, q2, q3, q4}, F= { q4} y la funcin f vienen dada por la siguiente tabla:
').,
q1 {q2 .q}
'A
{q2 ,q4}
q2
q3
q3
~
q4
#~
/..
Determine qu aspectos son vlidos para el autmata.
a. Es un Autmata Finito Determinstico con lambda transiciones
b. Es un Autmata Finito Determinstico (AFD)
c. El lenguaje reconocido por el autmata es: a (b* | a* ) ba*
P'
d. El lenguaje reconocido por el autmata es: a (b*b | a*b) a*
...(
..(
Incorrecto: No solo hay transiciones Lambda

Incorrecto:Se debe tener en cuenta la propiedad de "determinstico o no
determinstico"
Correcto. Esta ER es vlida
Correcto. Esta ER es vlida
Es un AFND. El lenguaje que reconoce es : a (b*b | a*b) a* o tambin a (b* | a* ) ba* para efectos de mejor comprensin,
hay que recrear o realizar el autmata mediante un diagrama de Moore
Es un AFND. El lenguaje que reconoce es : a (b*b | a*b) a* o tambin a (b* | a* ) ba* para efectos de mejor comprensin,
se debe escojer una cadena vlida y compararla con la ER.
Correcto
Question 8
Puntos: 1
Se disea el siguiente Autmata Finito Deterministico (AFD) para el lenguaje de palabras

del alfabeto {a,b} que no tiene varias as seguidas. Esta solucin es defectuosa
porque.
b
a. Hay palabras como baa, que tiene as

seguidas y sin embargo son aceptadas por
el AFD.
Correcto: El "problema de diseo" de un AFD es considerar demasiadas posibilidades. El

hecho que tenga dos estados finales o de aceptacin no es problema y es vlido en el
diseo. La palabra "baba" No es aceptada por el autmata aunque sus elementos o
smbolos si hacen parte del alfabeto que las compone.
b. Tiene dos finales o de aceptacin q1 y q2

.
c. Hay palabras como ba, que no tienen as
seguidas y sin embargo no son aceptadas
por el AFD
Incorrecto: Los dos estados finales no son errores de diseo.

Correcto: El "problema de diseo" de un AFD es considerar demasiadas posibilidades. El
hecho que tenga dos estados finales o de aceptacin no es problema y es vlido en el
diseo. La palabra "baba" No es aceptada por el autmata aunque sus elementos o
smbolos si hacen parte del alfabeto que las compone.
d. Hay palabras como baba que no tienen

as seguidas y sin embargo son aceptadas
por el AFD pero que no pertenecen al
alfabeto dado.
Incorrecto: esta regularidad no es error de diseo del AF.
El "problema de diseo" de un AFD es considerar demasiadas posibilidades. El hecho que tenga dos estados finales o de
aceptacin no es problema y es vlido en el diseo. La palabra "baba" No es aceptada por el autmata aunque sus elementos
o smbolos si hacen parte del alfabeto que las compone.
El "problema de diseo" de un AFD es considerar demasiadas posibilidades. El hecho que tenga dos estados finales o de
aceptacin no es problema y es vlido en el diseo. La palabra "baba" No es aceptada por el autmata aunque sus elementos
o smbolos si hacen parte del alfabeto que las compone.
Correcto
Question 9
Puntos: 1
Acerca de la Equivalencia de AFD Y AFN es vlido afirmar.
r:
r
a. Para covertir u AFD a u AFND, el AFD debe tener menos estados que el AFND X
b. Todo Autmata por defecto es No determinstico X
c. Los autmatas finitos determinsticos (AFD) son un subconjunto propio de los no determinsticos (AFN)
Correcto.
d. Todo Autmata por defecto es Determinstico. X
Los autmatas finitos determinsticos (AFD) son un subconjunto propio de los no determinsticos (AFN), lo que quiere decir
que todo AFD es un AFN. Podra entonces pensarse que los AFN son ms poderosos que los AFD, en el sentido de que
habra algunos lenguajes aceptados por algn AFN para los cuales no habra ningn AFD que los acepte. Sin embargo, en
realidad no sucede as.
Los autmatas finitos determinsticos (AFD) son un subconjunto propio de los no determinsticos (AFN), lo que quiere decir
que todo AFD es un AFN. Podra entonces pensarse que los AFN son ms poderosos que los AFD, en el sentido de que
habra algunos lenguajes aceptados por algn AFN para los cuales no habra ningn AFD que los acepte. Sin embargo, en
realidad no sucede as.
Correcto
Question 10
Puntos: 1
En un autmata Finito Determinista (AFD), Es vlido afirmar que :

a. El nombre determinista viene de la forma en que est definida la funcin de transicin: si en un instante t
la mquina est en el estado q y lee el smbolo a entonces, en el instante siguiente t + 1 la mquina cambia
de estado y sabemos con seguridad cual es el estado al que cambia, que es precisamente (q, a).
b. Todo autmata finito determinista de n estados, cuyo alfabeto E contiene m smbolos debe tener m x n
transiciones.
c. A diferencia de los AF (Autmatas Finitos), los Autmatas Finitos Determinsticos Por ser AFD, este no
debe ser inicializado con ningn smbolo de entrada
Incorrecto: El AFD es
inicializado con una
palabra de entrada.
d. A diferencia de los AF (Autmatas Finitos), los Autmatas Finitos Determinsticos Por ser AFD, no tienen
ningn ciclo de ejecucin. Solo leen un dato de entrada. X
Una extensin a los autmatas finitos deterministas es la de permitir que de cada nodo del diagrama de estados salga un
nmero de flechas mayor o menor que As, se puede permitir que falte la flecha correspondiente a alguno de los smbolos del
alfabeto, o bien que haya varias flechas que salgan de un solo nodo con la misma etiqueta. Inclusive se permite que las
transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vaca. A estos autmatas finitos se les llama
no Determinsticos o no deterministas (abreviado AFND),
El nombre determinista viene de la forma en que est definida la funcin de transicin: si en un instante t la mquina est
en el estado q y lee el smbolo a entonces, en el instante siguiente t + 1 la mquina cambia de estado y sabemos con
seguridad cual es el estado al que cambia, que es precisamente (q, a).
QUIZ I
1
Puntos: 1
Indicar cul es el tipo de autmata ms sencillo (menos potente) capaz de reconocer el lenguaje {xnymzn | n>=25,
m>=50}.
a. Un autmata de pila no determinista X
b. Una mquina de Turing.
)(
c. Un autmata de pila determinista .

d. Un autmata finito
Incorrecto
Incorrecto
Question 2
Puntos: 1
Un Autmata Determinstico de estados finitos (DFA), M, es una quntupla: (Q, , qi , F, ), donde:
Q es un conjunto finito de estados.
es un alfabeto finito.
qi Q es el estado inicial.
F Q son los estados finales.
: (Q ) Q es la funcin de transicin de estados.
La condicin de ser Determinstico es debido a que:
a. Las transacciones estn descritas por

una funcin total.
Esto corresponde a la definicin de Autmatas Determinsiticos (DFA).

Estos autmatas se denominan determinsticos ya que en cada estado
su comportamiento es fijo. Es decir, dado el estado y el smbolo en la
cinta de entrada hay un nico estado al cual puede pasar. . Todas los
items son verdaderas.

b. El autmata comienza en el estado
inicial y lee una secuencia de smbolos
(smbolo por smbolo hasta que se acabe
la secuencia).
c. En cada instante lee un smbolo y
dependiendo del smbolo y del estado s
en el que se encuentra, cambia al estado
dado por la funcin de transicin: (s, )
d. Hay un nico estado inicial.

Correcto: Esto corresponde a la definicin de Autmatas
Determinsiticos (DFA). Estos autmatas se denominan determinsticos
ya que en cada estado su comportamiento es fijo. Es decir, dado el
estado y el smbolo en la cinta de entrada hay un nico estado al cual
puede pasar. . Todas los items son verdaderas.
El nombre determinista viene de la forma en que est definida la funcin de transicin: si en un instante t la mquina
est en el estado q y lee el smbolo a entonces, en el instante siguiente t + 1 la mquina cambia de estado y sabemos
con seguridad cual es el estado al que cambia, que es precisamente (q, a).
Correcto
Question 3
Puntos: 1
Acorde a al historia y a lo que se dice de los modelos de computacin, las Mquinas de Turing (MT), como mquinas
reconocedoras de los lenguajes formales dependientes del contexto o estructurado por frases, surgieron hace:
(seleccione una opcion valida)
a. Hace
5 aos
b. Hace
50 aos
c. En
1970
Correcto: Se puede llegar as, de una forma casi natural a considerar las mquinas de Turing, establecidas
d. Hace casi 20 aos antes, como mquinas reconocedoras de los lenguajes formales dependientes del contexto o
20 aos estructurados por frases, e incluso a interpretar la Tesis de Turing como que un sistema computacional
nunca podr efectuar un anlisis sintctico de aquellos lenguajes que estn por encima de los lenguajes
estructurados por frases, segn la jerarqua de Chomsky".
Consideramos entonces los lenguajes libres (independientes) del contexto, y las gramticas libres del contexto y los
autmatas con pila, como forma de caracterizarlos y manejarlos. Los distintos lenguajes formales que se pueden
construir sobre un alfabeto concreto pueden clasificarse en clases cada vez ms amplias que incluyen como subconjunto
a las anteriores, de acuerdo con la jerarqua establecida por Chomsky en los aos 50.
Correcto
Question 4
Puntos: 1
Los tems que encontrar a continuacin constan de una afirmacin VERDADERA (tesis) y dos postulados tambin
VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen
lgicamente de la afirmacin y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instruccin:
Marque A si de la tesis se deducen los postulados I y II.

Marque B si de la tesis se deduce el postulado I.
Marque C si de la tesis slo se deduce el postulado II.
Marque D si ninguno de los postulados se deduce de la tesis.
TESIS. Los autmatas finitos determinsticos (AFD) son un subconjunto propio de los no determinsticos (AFN).
POSTULADO I. Todo AFD es un AFN
POSTULADO II. Se puede pensar entonces que los AFN son ms poderosos que los AFD, en el sentido de que habra
algunos lenguajes aceptados por algn AFN para los cuales no hay ningn AFD que los acepte
r.
a. OPCION B
Incorrecto
b. OPCION D X
r:
c. OPCION C X
d. OPCION A
EQUIVALENCIA DE AUTMATAS FINITOS DETERMINISTICOS Y AUTMATAS FINITOS NO DETERMINSTICOS. Las

equivalencias estn en relacin a la jerarqua de estos autmatas. Y en ambos postulados son coherentes.
EQUIVALENCIA DE AUTMATAS FINITOS DETERMINISTICOS Y AUTMATAS FINITOS NO DETERMINSTICOS. Las
equivalencias estn en relacin a la jerarqua de estos autmatas. Y en ambos postulados son coherentes.
Incorrecto
Question 5
Puntos: 1
Un ejemplo de Lenguaje es el conjunto de palndromos (cadenas que se leen igual hacia adelante, que hacia atrs).
Para el caso del alfabeto { 0, 1} Es vlido afirmar: (Seleccione dos respuestas).
Tenga en cuenta que el smbolo lambda (usado en autmatas), http://es.wikipedia.org/wiki/Lambda
a. Pueden ser cadenas vlidas como: {lambda, 0, 1.
00, 11, 010, 0110, 000000, 101101, 10001}
Correcto: Este lenguaje {0,1} tiene cadenas infinitas

(muchisimas se pueden combinar como palindromos que se
lean iagual al derecho y al reves).
b. Este Lenguaje tiene cadenas infinitas
c. Este Lenguaje tiene cadenas finitas
Correcto: Este lenguaje {0,1} tiene cadenas infinitas

Incorrecto: Este lenguaje {0,1} tiene cadenas infinitas
d. Las cadenas vlidas para ese alfabeto obedece a Incorrecto: Este lenguaje {0,1} tiene cadenas infinitas
sus seis posibles combinaciones: {0, 1, 01, 10, 00, (muchisimas se pueden combinar como palindromos que se
11}
Los lenguajes regulares se llaman as porque sus palabras contienen regularidades o repeticiones de los mismos
componentes, como por ejemplo en el lenguaje L1 siguiente: L1 = {ab, abab, ababab, abababab, . . .} En este ejemplo se
aprecia que las palabras de L1 son simplemente repeticiones de ab cualquier nmero de veces. Aqu la regularidad
consiste en que las palabras contienen ab algn nmero de veces.
Correcto
Question 6
Puntos: 1
Sea el vocabulario {1,2,3}, la expresin regular (1|2)* 3 indica el conjunto de todas las cadenas formadas con los
smbolos 1,2 y 3 . Cules sentencias o cadenas son vlidas :
a. 221113
b. 132211
Correcto: Pueden formarse cadenas con los smbolos 1 y 2, sucedndose cualquir nmero de veces
( y en cualquir rden) y siempre terminando la cadena en el smbolo 3
Incorrecto: Pueden formarse cadenas con los smbolos 1 y 2, sucedndose cualquir nmero de
veces ( y en cualquir rden) y siempre terminando la cadena en el smbolo 3
c. 121211223 Correcto: Pueden formarse cadenas con los smbolos 1 y 2, sucedndose cualquir nmero de veces
( y en cualquir rden) y siempre terminando la cadena en el smbolo 3
d. 2213311
.
X
Incorrecto: Pueden formarse cadenas con los smbolos 1 y 2, sucedndose cualquir nmero de
veces ( y en cualquir rden) y siempre terminando la cadena en el smbolo 3
Un posible alfabeto sera, digamos, {a, b}, y una cadena cualquiera sobre este alfabeto sera, por ejemplo, ababba. Un
lenguaje sobre este alfabeto, que incluyera esta cadena, sera: el conjunto de todas las cadenas que contienen el mismo
nmero de smbolos a que b.
Correcto
Question 7
Puntos: 1
TESIS: El estado de un autmata es toda la informacin necesaria en un momento dado, para poder deducir, dado un
smbolo de entrada en ese momento, cul ser el smbolo de salida.
POSTULADO I: Conocer el estado de un autmata, es lo mismo que conocer toda la historia de smbolos de entrada, as
como el estado inicial, estado en que se encontraba el autmata al recibir el primero de los smbolos de entrada
POSTULADO II. La informacin se codifica en cadenas de smbolos, y un autmata es un dispositivo que manipula
cadenas de smbolos que se le presentan a su entrada, produciendo otras tiras o cadenas de smbolos a su salida.
a. OPCION B .
r.
b. OPCION A
r:
c. OPCION D X
d. OPCION C
Incorrecto
DEFINICON DE ESTADO. Solo se deduce el Postulado I. El Postulado II hace referencia ms a la definicin de Autmata
que ala de un estado.
DEFINICON DE ESTADO. Solo se deduce el Postulado I. El Postulado II hace referencia ms a la definicin de Autmata
que ala de un estado.
Incorrecto
Question 8
Puntos: 1
Los Automatas finitos no Deterministicos tienen las caracteristicas de:
a. Las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacia.
b. Las transiciones no tengan como etiqueta palabras de varias letras o hasta la palabra vacia.
c. Permitir que de cada nodo del diagrama de estados salga un numero de flechas mayor o menor.
d. No permitir que cada nodo del diagrama de estados salga un numero de flechas mayor o menor.
Correcto
Question 9
Puntos: 1
Teniendo en cuenta que podemos definir un Autmata como una mquina conceptual o terica para el reconocimiento
de patrones, entonces los siguientes componentes: Analizados Lxico, Analizador Sintctico y Generador de Cdigo
corresponderan a una aplicacin de un Autmata en el la implementacin de:
r.
a. Procesadores de texto
r:
b. Lenguajes de Programacin X
r:
c. Aplicaciones de Computador X
d. Compiladores
Respuesta Incorrecta
Incorrecto
Question 10
Puntos: 1
Los autmatas finitos no Determinsticos o no deterministas tienen las caractersticas de:
Seleccione al menos una respuesta

a. Permitir que de cada nodo del diagrama de estados salga un nmero de flechas mayor o menor
b. Las transiciones no tengan como etiqueta palabras de varias letras o hasta la palabra vaca.
Correcto
Incorrecto
Correcto
c. Las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vaca.
d. No permitir que de cada nodo del diagrama de estados salga un nmero de flechas mayor o menor
Incorrecto
Los AFND tienen las caractersticas de Permitir que de cada nodo del diagrama de estados salga un nmero de flechas
mayor o menor y las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vaca.
Los AFND tienen las caractersticas de Permitir que de cada nodo del diagrama de estados salga un nmero de flechas
mayor o menor y las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vaca.
Correcto
Question 11
Puntos: 1
Acorde al siguiente diagrama de Moore. Identifique que expresin representa:
e
Diagrama de Moore
Autmatas y Lenguajes Formales
UNAD.
r.
a. Expresin regular (q|q )*
r:
b. Expresin regular (ac|b|b)*
c. Expresin regular (bb|ab)* X
d. Expresin regular (ac|b)* .
Incorrecto: No hay elemntos de entrada con el nombre "q"
La operacin de conjuntos de unin posibilita tener lenguajes de varios elementos y si se aade la operacin * cerradura
o estrella de Kleene que se deriva naturalmente de la concatenacin, tambien es factible producir lenguajes infinitos.
Incorrecto
Question 12
Puntos: 1
Como especificar la sintaxis de un lenguaje?: Se utiliza la jerarqua de Chomsky; la jerarqua de Chomsky es una
clasificacin jerrquica de distintos tipos de gramticas formales que generan lenguajes formales. Esta jerarqua fue
descrita por Noam Chomsky en 1956. Acorde a esto, asocie correctamente esta clasificacin.
Gramtica
s de tipo 3
Gramticas regulares. Generan los lenguajes regulares
Gramtica
s de tipo 1
Gramticas sensibles al contexto. Generan los lenguajes sensibles al contexto
Gramtica
s de tipo 0
Estas gramticas generan todos los lenguajes capaces de ser reconocidos por una mquina de Turing
Gramtica
s de tipo 2
Gramticas libres del contexto. Generan los lenguajes independientes del contexto
Como especificar la sintaxis de un lenguaje?: Se utiliza la jerarqua de Chomsky; la jerarqua de Chomsky es una
clasificacin jerrquica de distintos tipos de gramticas formales que generan lenguajes formales. Esta jerarqua fue
descrita por Noam Chomsky en 1956.
Correcto
Question 13
Puntos: 1
El nombre "finito" en un Autmata, se justifica por una de las siguientes afirmaciones. Seleccione una.
a. Del hecho que el autmata solo tiene un conjunto finito de estados distintos
para recordar lo procesado (no tiene ningn sistema de almacenamiento de
informacin adicional)
e:
r
b. Del hecho que el Autmata almacena informacin en un solo estado (el final),
que es donde termina su recorrido X
c. Que el Autmata contiene un alfabeto smbolos (letras del abecedario) y estas
son finitas.
Correcto. Los estados son

definidos desde el inicio y son
finitos.
d. Que el Autmata tiene un solo estado Inicial que se puede representar por un *
o por un crculo doble.
Al describir una mquina de estados finitos en particular, debemos incluir las informaciones que varan de un autmata
a otro; es decir, no tiene sentido incluir descripciones generales aplicables a todo autmata. Estas informaciones son
exactamente las que aparecen en un diagrama de estados y transiciones.
Correcto
Question 14
Puntos: 1
Una de las siguientes afirmaciones NO aplica a los lenguajes que reconocen un autmata. Identifquela
a. Un automata finito determinista M reconoce un lenguaje L(M) si acepta exclusivamente la coleccion de cadenas
b. Dada una gramatica regular G, siempre existe un automata finito M tal que L(G) = L(M) y M tiene un unico
c. Un automata finito determinista utilizado como reconocedor de lenguajes con al menos una cadena
de dicho lenguaje. X
estado de aceptacion. X
necesariamente tiene que tener al menos un estado de aceptacion.

d. Un automata reconoce una cadena cuando alcanza un estado de aceptacion durante su lectura
Correcto
Question 15
Puntos: 1
Los automatas se pueden representar mediante:
a. El conjunto de entradas de una maquina de turing
b. El conjunto de tablas representativas
c. Tablas de transiciones .
d. Diagrama de moore .
RECONOCIMIENTO II
1
Puntos: 1
Las gramticas del siguiente ejercicio, tienen dos particularidades que son vlidas afirmarlas:
s~~
s~~I~
A~~IB
B~EIA.
A~~IEIA.
Gramtica G1
Gramtica G2
a. Las reglas de las gramticas difieren por que tienen diferentes

terminales.
b. La palabra generable por la gramtica G1 y G2 es xyzyzy
c. La lista de reglas estn denotadas de forma comprimida
"
"
d. La palabra generable por la gramtica G1 y G2 es xxzyzy
Incorrecto: Los terminales no le marcan la diferencia.

Correcto: esta cadena la genera tanto G1 como G2
Correcto. La forma comprimida en que estn descritas las
gramticas es vlida.
Incorrecto: La cadena generada no es vlida para G1 y G2.
Las terminales son las mismas para ambas gramticas y son (xyz). Las Variables son diferentes y para la gramtica 1 son
S,A,B y para la gramtica 2 son S,A. Las reglas o producciones para ambas gramticas son diferentes. Ambas gramticas
generan la palabra xyzyzy
Las terminales son las mismas para ambas gramticas y son (xyz). Las Variables son diferentes y para la gramtica 1 son
S,A,B y para la gramtica 2 son S,A. Las reglas o producciones para ambas gramticas son diferentes. Ambas gramticas
generan la palabra xyzyzy
Correcto
Question 2
Puntos: 1
Una pila es un dispositivo de almacenamiento que sigue el principio de

a. El ltimo en entrar el primero en salir
b. El ltimo en entrar el ltimo en salir X
r.
r:
c. El primero en entrar el ultimo e salir
Incorrecto
d. El primero en entrar el primero en salir X
La pila funciona de manera que el ultimo carcter que se almacena en ella es el primero en salir (LIFO por las siglas en
ingls)
La pila funciona de manera que el ultimo carcter que se almacena en ella es el primero en salir (LIFO por las siglas en
ingls)
Incorrecto
Question 3
Puntos: 1
Relaciones los elementos de un rbol de derivacin con sus caractersticas

Rotulado con el smbolo inicial de la Gramtica
Nodo raz
Corresponde a un smbolo Terminal o no Terminal
Hoja
Corresponde a un smbolo no Terminal
Nodo
Para una derivacin dada, el smbolo inical S etiqueta la raz del rbol. El nodo raz tienen unos nodos hijos para cada
smbolo que aparezca en el lado dereho de la produccin, usada para reemplazar el smbolo inicial. De igual forma, cada
smbolo no terminal tienen unos nodos hijos etiquetados con smbolos del lado derecho de la produccin usada para sustituir
ese no terminal.
Correcto
Question 4
Puntos: 1
Seleccione los componentes de los Arboles de Derivacin:
a. Nodo inicial, nodos internos, nodo final
('
b. Nodo principal, nodos secundarios, nodos finales
e:
c. Nodo inicial, nodos interiores, nodo final X
r.
d. Nodo raiz, nodos interiores, Hojas
)(
"
Correcto: Estos son los componentes bsicos o definidos para un rbol de

anlisis.
ese no terminal.
ese no terminal.
Correcto
Question 5
Puntos: 1
Qu son los Arboles de Derivacin ?
e
r
a. Son los que permiten mostrar grficamente un smbolo para convertirlo

en un lenguaje X
b. Son los que permiten mostrar grficamente un autmata.
c. Son los que permiten mostrar grficamente cmo se puede derivar
Correcto. Estos permiten analizar el comportamiento del
cualquier cadena de un lenguaje a partir del smbolo distinguido de una
comportamiento del autmata. (cadenas que representay
que son o no validas).
gramtica que genera ese lenguaje
d. Son los que permiten mostrar grficamente una gramatica y por

consiguiente un lengaje dado . X
Los rboles de derivacin permiten analizar el comportamiento del comportamiento del autmata. (cadenas que representay
que son o no validas).
Al derivar una cadena a travs de una GIC, el smbolo inicial se sustituye por alguna cadena. Los no terminales se van
sustituyendo uno tras otro por otras cadenas hasta que ya no quedan smbolos no terminales, queda una cadena con slo
smbolos terminales. A veces es til realizar un grfico de la derivacin. Tales grficos tienen forma de rbol y se llaman
arbol de derivacin o rbol de anlisis.
Correcto
Question 6
Puntos: 1
Qu es un Lenguaje Libre de Contexto ?

a. Es un lenguaje regular X
b. Es un algoritmo que nos dice el lenguaje
r.
c. Es aquel generado por una gramtica
Correcto: Cualquier lenguaje libre de contexto L puede ser generado por una gramtica
libre de contexto.
libre de contexto en la forma normal de Chomsky.
r:
de la gramtica X
"
d. Es el lenguaje generado por un autmata

AFD X
Todo lenguaje independiente del contexto L (no vaco) puede ser generado por una gramtica libre de contexto que contenga
slo producciones tiles y no terminales tiles.
Todo lenguaje independiente del contexto L (no vaco) puede ser generado por una gramtica libre de contexto que contenga
slo producciones tiles y no terminales tiles.
LECCION II
1
Puntos: 1
El lenguaje que reconoce un autmata a pila pertenece al grupo (IDENTIFIQUELO EN EL SIGUIENTE

DIBUJO ) en la clasificacin de la Jerarqua de Chomsky.
rolo 1.k enguajes
"
r.
r:
a. G2
c. G0 X
d. G1 X
Correcto: Corresponde a Lenguaje slibres de contexto.
b. G3 X
Puesto que los autmatas finitos no son suficientemente poderosos para aceptar los LLC, entonces se presentan los
Autmatas de Pila (AP).
Puesto que los autmatas finitos no son suficientemente poderosos para aceptar los LLC, entonces se presentan los
Autmatas de Pila (AP).
Correcto
Question 2
Puntos: 1
Para que una palabra de entrada sea aceptada en un AP se deben cumplir las condiciones siguientes:
p
p
a. La palabra de entrada se debe Correcto; para que una palabra de entrada sea aceptada en un AP se deben cumplir todas las
condiciones siguientes: 1. La palabra de entrada se debe haber agotado (consumido totalmente). 2.
totalmente).
El AP se debe encontrar en un estado final. 3. La pila debe estar vaca.
"
b. El AP se debe encontrar en un
estado final.
"
haber agotado (consumido
condiciones siguientes: 1. La palabra de entrada se debe haber agotado (consumido totalmente). 2.

El AP se debe encontrar en un estado final. 3. La pila debe estar vaca.
c. La pila debe tener lambda

como elemento final
Correcto: para que una palabra de entrada sea aceptada en un AP se deben cumplir todas las
Incorrecto: No necesariamente la cadena vaca debe estar presente.
d. El alfabeto d ela pila debe ser

igual al lenguaje que reconoce
"
e. La pila debe estar vaca.
f. El inicio de la pila debe tener un

smbolo del alfabeto
Incorrecto: El lenguaje que reconoce la pila especifica ene l diseo cuando se detiene.
Correcto: la pila debe estar vaca.

Incorrecto: la pila debe estar vaca
A la hora de disenar un AP tenemos que repartir lo que requiere ser recordado entre los estados y la pila. Distintos
disenos para un mismo problema pueden tomar decisiones diferentes en cuanto a qu recuerda cada cual.
A la hora de disenar un AP tenemos que repartir lo que requiere ser recordado entre los estados y la pila. Distintos
disenos para un mismo problema pueden tomar decisiones diferentes en cuanto a qu recuerda cada cual.
Correcto
Question 3
Puntos: 1
Respecto a la relacin entre un AF y un AP cul afirmacin es cierta:
e:
a. Los AF y los AP tienen la misma capacidad de memoria X
b. Un AP es infifnito por su capacidad de memoria. Un AF es

finito por su nmero de estados.
c. Estas dos mquinas no permiten regularidades.

d. Todo lenguaje aceptado por un AF es tambin aceptado por
Correcto: Este resultado debe quedar intuitivamente claro, puesto que
un AP
los AP son una extensin de los AF.
Correcto: Este resultado debe quedar intuitivamente claro, puesto que los AP son una extensin de los AF.
En los AP tambin es posible aplicar mtodos de combinacin modular de autmatas, como se hizo con los autmatas finitos.
En particular, es posible obtener AP que acepten la unin y concatenacin de los lenguajes aceptados por dos AP dados.
Correcto
Question 4
Puntos: 1
Dado un alfabeto , los smbolos , y los operadores + (unin), (concatenacin) y * (clausura), se

define una EXPRESION REGULAR (ER) sobre el alfabeto en la que son vlidas las siguientes
relaciones:
Nota. es una cadena sobre un lenguaje L
a. Si = a y a pertenece entonces L () no
Incorrecto, se debe tener en cuenta que estas cadenas tambin pertenecen al
pertenece
Lenguaje.
b. Si = lambda entonces L (lambda) = { lambda}
c. Si * es una ER entonces L (*) no es una ER
d. Si = entonces L () =
Correcto: esta es una ER

Incorrecto, se debe tener en cuenta que estas cadenas tambin pertenecen al
Lenguaje.
Correcto: esta es una ER
Las ER son simplemente frmulas cuyo propsito es representar cada una de ellas un lenguaje. As, el significado de una ER
es simplemente el lenguaje que ella representa.
La notacin de conjuntos nos permite describir los lenguajes regulares, pero nosotros quisiramos una notacin en que las
representaciones de los lenguajes fueran simplemente texto (cadenas de caracteres). As las representaciones de los
lenguajes regulares seran simplemente palabras de un lenguaje (el de las representaciones correctamente formadas).
Correcto
Question 5
Puntos: 1
Respecto a como un (PD) o un (AP) acepta las cadenas, asocie correctamente:
Reconoce una cadena de entrada si partiendo de su
configuracin inicial llega a una configuracin final emplenado
Movimiento de un AP
Dado un
Reconocimiento de cadenas de entrada por estado final
AP no determinista.
movimientos vlidos.
Dado un estado, un smbolo del alfabeto de entrada y otro del
alfabeto de la pila, puede pasar a distintos estados y reemplazar
el tope de la pila por distintas cadenas, avanzando o no la cabeza
lectora una posicin
La cadena ser aceptada si despues de leerse toda la cadena
se llega a un estado con la pila vaca, independientemente del
tipo de estado en el que se encuentre el AP.
Transicin entre configuraciones.
En los AP las transiciones de un estado a otro indican, adems de los caracteres que se consumen de la entrada, tambin lo
que se saca del tope de la pila, asi como tambin lo que se mete a la pila.
Incorrecto
Question 6
Puntos: 1
Cuando se trabajan Autmatas de Pila (AP) (PD) es vlido afirmar:
Incorrecto: La pila tendr un alfabeto propio, que puede o no coincidir con el
a. La pila tiene un alfabeto propio y debe coincidir
alfabeto de la palabra de entrada. Esto se justifica porque puede ser necesario
con el alfabeto de la palabra de entrada.
introducir en la pila caracteres especiales usados como separadores, segn las
necesidades de diseno del autmata.

b. Los autmatas de pilas no tienen metodologa
tan generalmente aplicable, solo se debe tener una Correcto
estrategia clara para el manejo de la pila.
c. En los AP las transiciones de un estado a otro
indican los caracteres que se consumen de la
enytrada, pero no lo que se saca del topo de la
pila.
Incorrecto: En los AP las transiciones de un estado a otro indican, adems de los

caracteres que se consumen de la entrada, tambin lo que se saca del tope de la
pila, asi como tambin lo que se mete a la pila.
d. Cuando desarrollamos un autmata de pilas

tenemos que repetir lo que quiere ser recordado
Correcto
entre los estados y las pilas.

El problema de diseno de los AP consiste en obtener un AP M que acepte exactamente un lenguaje L dado. Por exactamente
queremos decir, como en el caso de los autmatas finitos, que, por una parte, todas las palabras que acepta efectivamente
pertenecen a L, y por otra parte, que M es capaz de aceptar todas las palabras de L.
La pila funciona de manera que el ltimo caracter que se almacena en ella es el primero en salir (LIFO por las siglas en
ingls), como si empilramos platos uno encima de otro, y naturalmente el primero que quitaremos es el ltimo que hemos
colocado. Un aspecto crucial de la pila es que slo podemos modificar su tope, que es el extremo por donde entran o salen
los caracteres. Los caracteres a la mitad de la pila no son accesibles sin quitar antes los que estan encima de ellos.
Correcto
Question 7
Puntos: 1
Marque la notacin ms frecuentemente utilizada para expresar gramticas libres de contexto.

e
r:
a. Formas Normales
de Chomsky
b. Formas Normales
de Greibach X
r:
c. Arboles de
Derivacin X
r.
d. Backus-Naur ..
Correcto: Backus y Naur desarrollaron una notacin formal para describir la sintaxis de algunos lenguajes de
programacin, que bsicamente se sigue utilizando todava, y que poda considerarse equivalente a las
gramticas libres del contexto
Backus y Naur desarrollaron una notacin formal para describir la sintaxis de algunos lenguajes de programacin, que
bsicamente se sigue utilizando todava, y que poda considerarse equivalente a las gramticas libres del contexto
Backus y Naur desarrollaron una notacin formal para describir la sintaxis de algunos lenguajes de programacin, que
bsicamente se sigue utilizando todava, y que poda considerarse equivalente a las gramticas libres del contexto
Correcto
Question 8
Puntos: 1
Respecto a los Autmatas de Pila es vlido afirmar:

r:
a. Un autmata de pila no puede hacer las funciones de "contador" ya que sus

recorridos varan en la cinta y lo que le importa a esta automatizacin es el
estado final y la salida del dato. X
r:
b. Un Autmata de Pila al igual que una Mquina de Turing o un Autmata

Finito, su definicin bsica es de naturaleza no determinista X
c. Para poder simular un autmata de Pila se debe tener en cuenta: Las
Incorrecto: Solo se necesita conocer las columnas de
columnas de una traza de ejecucin para un AP son: el estado en que se
una traza de ejecucin para un AP son: el estado en
encuentra el autmata, lo que ha leido hasta el momento o estado actual al
que se encuentra el autmata, lo que falta por leer de la
inicio de la simulacin, y el contenido de la memoria al final del recorrido.
palabra de entrada, y el contenido de la pila.
d. A la hora de disear un AP tenemos que repartir lo que requiere ser

recordado entre los estados y la pila. Distintos diseos para un mismo
problema pueden tomar decisiones diferentes en cuanto a que recuerda cada
cual
Los AP suelen ser ms potentes, pero su dideo se debe ms al tipo de cadena que se quiere reconocer.
A la hora de disear un AP tenemos que repartir lo que requiere ser recordado entre los estados y la pila. Distintos diseos
para un mismo problema pueden tomar decisiones diferentes en cuanto a que recuerda cada cual.
Incorrecto
Question 9
Puntos: 1
Acerca del funcionamiento de un Autmata de Pila, cul de las siguientes operaciones o comportamientos NO
las hace este autmata.
r:
a. Una d elas condiciones para que una palabra de entrada
b. Al igual que los AF, los AP tienen estados finales, que
sea aceptada en un AP la pila debe estar vaca. X
permiten distinguir cuando una palabra de entrada es

aceptada X
c. En la Pila una transicin de un estado a otro Arroja la
Correcto: Esta afirmacin es falsa ya que en los AP las transiciones de un
informacin de lo que sale de la pila (tope), no de lo que
estado a otro indican, adems de los caracteres que se consumen de la
entra ya que el avance es progresivo hacia adelante y no
entrada, tambin lo que se saca del tope de la pila, as como tambin lo
hacia atrs.
que se mete a la pila.
Para verificar el funcionamiento del autmata, podemos simular su ejecucin, listando las situaciones sucesivas en que se
encuentra, mediante una tabla que llamaremos traza de ejecucin. Las columnas de una traza de ejecucin para un AP
son: el estado en que se encuentra el autmata, lo que falta por leer de la palabra de entrada, y el contenido de la pila
Para verificar el funcionamiento del autmata, podemos simular su ejecucin, listando las situaciones sucesivas en que se
encuentra, mediante una tabla que llamaremos traza de ejecucin. Las columnas de una traza de ejecucin para un AP
son: el estado en que se encuentra el autmata, lo que falta por leer de la palabra de entrada, y el contenido de la pila.
Correcto
Question 10
Puntos: 1
Acerca del siguiente AP que afirmaciones son vlidas:
X,
i..;
y, X; 'A
a. Segn la rama superior toda x que se reciba, se registra en la pila y el
estado siguiente ser de aceptacin
b. Acepta la cadena vaca lambda
c. Acepta solo la cadena x
d. No acepta la cadena vaca.
Correcto.
Correcto: lambda es aceptado
Incorreecto: Lapila puede aceptar cadenas combinaciones xy
segn el smbolo de entrada.
Incorrecto. la cadena vaca si es aceptada
En el diseo de AP Una idea que surge inmediatamente es la de utilizar la pila como contador para recordar la cantidad de
smbolos de entrada.
En el diseo de AP Una idea que surge inmediatamente es la de utilizar la pila como contador para recordar la cantidad de
smbolos de entrada.
QUIZ II
1
Puntos: 1
Una tabla de Transiciones que permite representar un Autmata tiene tantas filas como:
a. Elementos de la Funcin de Salida X
r:
b. Letras del Alfabeto
e:
c. Elementos del conjunto de entradas o vocabulario de Entrada X
)(
d. Elementos del Conjunto de Estados

Correcto
Question 2
Puntos: 1
Respuesta Correcta
Cual de las siguientes afirmaciones es VERDADERA

a. En los rboles de derivacin, no es necesario usar nodo raz
b. Los lenguajes generados por una Gramtica Independiente del Contexto son llamados
c. En un rbol de derivacin cada nodo solamente puede tener otro hijo nodo X
Lenguajes Regulares X
d. En un rbol de derivacin, una gramtica es ambigua, cuando hay dos o ms rboles de

derivacin distintos para una misma cadena
Respuesta
Correcta
Correcto
Question 3
Puntos: 1
Qu son los rboles de derivacin
a. Son los que permiten mostrar grficamente un autmata finito. X

b. Son los que permiten mostrar grficamente un autmata X
c. Son los que permiten mostrar grficamente un smbolo para convertirlo en un lenguaje
d. Son los que permiten mostrar grficamente cmo se puede derivar cualquier cadena de un lenguaje a
partir del smbolo distinguido de una gramtica que genera ese lenguaje.
Incorrecto
Incorrecto
Question 4
Puntos: 1
Toda gramtica de tipo 2 que no acepte la palabra vaca se puede poner en forma normal de Chomsky PORQUE Para ello
lo primero que hay que hacer es suprimir las producciones nulas y unitarias
a. La Afirmacin y la Razn son VERDADERAS pero la Razn NO es una explicacin CORRECTA de la Afirmacin X
b. La Afirmacin es VERDADERA, pero la Razn es una proposicin FALSA X

c. La Afirmacin y la Razn son VERDADERAS y la Razn es una explicacin CORRECTA de la Afirmacin
d. La Afirmacin es FALSA, pero la Razn es una proposicin VERDADERA
Correcto
Question 5
Puntos: 1
Al iniciar la operacin de un Autmata de Pila, la pila debe tener un contenido inicial PORQUE Al igual que los Autmatas
Finitos, los Autmatas de Pila tienen estados finales que permiten distinguir cuando una palabra de entrada es aceptada
r:
a. La Afirmacin es FALSA, pero la Razn es una proposicin VERDADERA .
r.
b. La Afirmacin y la Razn son VERDADERAS y la Razn es una explicacin CORRECTA de la
c. La Afirmacin es VERDADERA, pero la Razn es una proposicin FALSA
d. La Afirmacin y la Razn son VERDADERAS pero la Razn NO es una explicacin CORRECTA
Afirmacin
de la Afirmacin X
Incorrecto
Question 6
Puntos: 1
Una tabla de Transiciones que permite representar un Autmata tiene tantas columnas como:
r:
a. Estados X
b. Salidas X
"
r.
c. Entradas
d. Elementos del Lenguaje X
Respuesta Correcta
Respuesta
Incorrecta
Correcto
Question 7
Puntos: 1
De los siguientes elementos, uno no es un componente de un rbol de derivacin:
a. Nodos
r:
b. Nodo Raz
r:
c. Hojas
Interiores
d. Nodo
Final
Respuesta Correcta: Para una derivacin dada, el smbolo inical S etiqueta la raz del rbol. El nodo
raz tienen unos nodos hijos para cada smbolo que aparezca en el lado dereho de la produccin,
usada para reemplazar el smbolo inicial. De igual forma, cada smbolo no terminal tienen unos nodos
hijos etiquetados con smbolos del lado derecho de la produccin usada para sustituir ese no
terminal.
sustituyendo uno tras otro por otras cadenas hasta que ya no quedan smbolos no terminales, queda una cadena con
slo smbolos terminales. A veces es til realizar un grfico de la derivacin. Tales grficos tienen forma de rbol y se
llaman arbol de derivacin o rbol de anlisis.
Correcto
Question 8
Puntos: 1
Cual de las siguientes afirmaciones se asocia correctamente al diseo y funcionamiento de los rboles de derivacin.
a. En los rboles de derivacin, no es necesario usar nodo

raz
b. En un rbol de derivacin, una gramtica es ambigua
cuando hay dos o ms rboles de derivacin distintos para
una misma cadena.
Respuesta Correcta: Una gramtica es ambiga

cuando hay dos o ms rboles de derivacin distintos
para una misma cadena
c. En un rbol de derivacin cada nodo solamente puede
d. Los lenguajes generados por una Gramtica

Independiente del Contexto son llamados Lenguajes
tener otro hijo nodo X
Regulares X
llaman arbol de derivacin o rbol de anlisis. Para una derivacin dada, el smbolo inical S etiqueta la raz del
rbol. El nodo raz tienen unos nodos hijos para cada smbolo que aparezca en el lado dereho de la produccin, usada
para reemplazar el smbolo inicial. De igual forma, cada smbolo no terminal tienen unos nodos hijos etiquetados con
smbolos del lado derecho de la produccin usada para sustituir ese no terminal.
Correcto
Question 9
Puntos: 1
Dentro de los Algoritmos de decisin existen problemas que no tienen solucin o que no existe un algoritmo que los
resuelva, stos son llamados
a. No existen problemas de ste tipo X

b. Problemas decidibles X
r:
c. Problemas Infinitos X
r.
d. Problemas indecidibles .,
Correcto
Question 10
Puntos: 1
Cualquier Lenguaje Libre de Contexto L, puede ser generado por una Gramtica Libre de Contexto en la forma normal de
Chomsky PORQUE Cualquier Gramtica Libre de Contexto puede ser transformada a la forma normal de Chomsky
a. La Afirmacin es VERDADERA, pero la Razn es una proposicin FALSA X
b. La Afirmacin y la Razn son VERDADERAS pero la Razn NO es una explicacin CORRECTA de la Afirmacin X
c. La Afirmacin y la Razn son VERDADERAS y la Razn es una explicacin CORRECTA de la Afirmacin
d. La Afirmacin es FALSA, pero la Razn es una proposicin VERDADERA
Correcto
Question 11
Puntos: 1
Qu son los Arboles de Derivacin ?
a. son los que permiten mostrar grficamente cmo se puede derivar

cualquier cadena de un lenguaje a partir del smbolo distinguido de una
gramtica que genera ese lenguaje.
b. son los que permiten mostrar grficamente un autmata finito.
c. son los que permiten mostrar grficamente un autmata
r:
d. son los que permiten mostrar grficamente un smbolo para convertirlo
Correcto: Es la cualidad que permite

incluso determinar la ambigedad d elas
gramticas.
en un lenguaje X
llaman arbol de derivacin o rbol de anlisis.
Correcto
Question 12
Puntos: 1
Seleccione los componentes de los rboles de derivacin:
a. Nodo raiz, nodos interiores, Hojas
Correcto: Los componentes son Nodo raiz, nodos interiores,
Hojas
b. Nodo inicial, nodos interiores, nodo final
e:
c. Nodo inicial, nodos internos, nodo final X
d. Nodo principal, nodos secundarios, nodos finales

)(
smbolo no terminal tienen unos nodos hijos etiquetados con smbolos del lado derecho de la produccin usada para
sustituir ese no terminal.
Correcto
Question 13
Puntos: 1
De las siguientes proposiciones, seleccione la que es FALSA.
a. Mediante automatas de pila de 2 pilas podria reconocerse un mayor numero de lenguajes

que mediante los usuales automatas de una sola pila. En cada transicion, el automata podria
almacenar y leer datos de dos pilas distintas. X
r:
b. Todo conjunto finito de cadenas es un lenguaje regular X
c. Los Lenguajes Libres de Contexto son cerrados para las operaciones de: Unin,
Concatenacin y Clausura X
d. Si L es un lenguaje aceptable por maquinas de Turing, tambin lo es el lenguaje
complementario de L
Correcto, esta
apreciacin es falsa
Si un lenguaje es generado por una gramtica libre del contexto, entonces es aceptado por un Autmata con Pila NoDeterminstico.
Correcto
Question 14
Puntos: 1
Al iniciar la operacin de un Autmata de Pila, la pila debe tener un contenido inicial PORQUE Al igual que los Autmatas
Finitos, los Autmatas de Pila tienen estados finales que permiten distinguir cuando una palabra de entrada es aceptada
r
r.
r:
a. La Afirmacin y la Razn son VERDADERAS pero la Razn NO es una explicacin CORRECTA

de la Afirmacin X
b. La Afirmacin y la Razn son VERDADERAS y la Razn es una explicacin CORRECTA de la
Afirmacin
Respuesta
Incorrecta
c. La Afirmacin es FALSA, pero la Razn es una proposicin VERDADERA .

d. La Afirmacin es VERDADERA, pero la Razn es una proposicin FALSA X
Incorrecto
Question 15
Puntos: 1
Un autmata de pila por definicin tiene las siguientes caractersticas:
Debe seleccionar ms de una respuesta.
a. no podemos modificar su tope, que

es el extremo por donde entran o salen
los caracteres. X
b. La pila funciona de manera que el
Correcto: como si apilramos platos uno encima de otro, y naturalmente
ultimo carcter que se almacena en ella el primero que quitaremos es el ltimo que hemos colocado. Un aspecto
es el primero en salir (LIFO por las
crucial de la pila es que slo podemos modificar su tope, que es el
extremo por donde entran o salen los caracteres.
siglas en ingls)
c. La pila funciona de manera que el

primer carcter que se almacena en ella
es el primero en salir (FIFO por las
siglas en ingls) X
d. slo podemos modificar su tope,
que es el extremo por donde entran o
salen los caracteres.
Correcto: Un aspecto crucial de la pila es que slo podemos modificar su

tope, que es el extremo por donde entran o salen los caracteres.
Aunque en el caso de los AP no hay metodologas tan generalmente aplicables como era el caso de los autmatas
finitos, siguen siendo vlidas las ideas bsicas del diseo sistemtico, en particular establecer claramente qu es lo que
recuerda cada estado del AP antes de ponerse a trazar transiciones a diestra y siniestra. Para los AP, adicionalmente
tenemos que establecer una estrategia clara para el manejo de la pila. En resumen, a la hora de disear un AP tenemos
que repartir lo que requiere ser recordado entre los estados y la pila. Distintos diseos para un mismo
RECONOCIMIENTO III
1
Puntos: 1
Con referencia a la funcionalidad y creacin de una Mquina Universal de Turing (MUT), es vlido afirmar:
a. Una Mquina Universal de Turing es capaz de decidir cualquier lenguaje independiente del
contexto
b. 4. La MUT se dise para realizar clculos especficos.
c. En el estado de parada de una MUT no puede salir ningn arco

d. 3. En una MUT el lenguaje aceptado por esta mquina no puede contener una cadena
vaca.
Correcto
La MT no se diseo para clculos
especficos.
Correcto
No puede contener cadenas vacas.
La maquina de Turing es particularmente importante porque es la mas poderosa de todas las maquinas abstractas
conocidas
Todo lenguaje independiente del contexto es decidible mediante una mquina de Turing, que puede ser simulada mediante
una mquina de Turing universal. Una MUT no puede quedarse en un ciclo repetitivo, sdebe tener un estado final de parada.
La MUT se dise para procesar cualquier informacin.
Correcto
Question 2
Puntos: 1
Este tipo de tems consta de dos proposiciones as: una Afirmacin y una Razn, unidas por la palabra PORQUE. Usted debe
examinar la veracidad de cada proposicin y la relacin terica que las une.
Para responder este tipo de tems, debe leerla completamente y sealar en la hoja de respuesta, la elegida de acuerdo con
las siguientes instrucciones:
Marque A si la afirmacin y la razn son VERDADERAS y la razn es una explicacin CORRECTA de la afirmacin.
Marque B si la afirmacin y la razn son VERDADERAS, pero la razn NO es una explicacin CORRECTA de la afirmacin.
Marque C si la afirmacin es VERDADERA, pero la razn es una proposicin FALSA.
Marque D si la afirmacin es FALSA, pero la razn es una proposicin VERDADERA.
Solo una accin simultnea puede ejecutar una cinta en la Mquina de Turing (MT)
PORQUE la accin de escribir un smbolo en la cinta o la accin de movimiento del
cabezal son excluyentes. Se hace una o la otra pero no ambas a la vez.
a. OPCION C
"
b. OPCION D
"
c. OPCION A Correcto: La razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la afirmacin. Las acciones
en la MT son excluyentes (o se lee o se escribe).
d. OPCION B
La razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la afirmacin. Las acciones en la MT son
excluyentes (o se lee o se escribe).
La razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la afirmacin. Las acciones en la MT son
excluyentes (o se lee o se escribe).
Correcto
Question 3
Puntos: 1
Cul de las siguientes proposiciones es FALSA con respecto a las Mquinas de Turing
r
r:
a. Una mquina de Turing es un dispositivo como lo eran los autmatas finitos o los
autmatas a pila X.
b. Una Mquina de Turing tiene mayores capacidades que un Autmata Finito o de Pila
c. El desplazamiento de la Mquina en la cinta es siempre hacia la derecha
Correcto, no es cierto ya que se desplaza en

ambos sentidos
d. La mquina de Turing consta de un cabezal lector/escritor y una cinta infinita en la que

el cabezal lee el contenido X
Por definicin, al iniciar la operacin de la MT, la cabeza lectora est posicionada en el caracter blanco a la izquierda de la
palabra de entrada, el cual es el cuadro ms a la izquierda de la cinta.
La mquina de Turing (abreviado MT) tiene, como los autmatas que hemos visto antes, un control finito, una cabeza lectora
y una cinta donde puede haber caracteres, y donde eventualmente viene la palabra de entrada. La cinta es de longitud
infinita hacia la derecha, hacia donde se extiende indefinidamente, llenndose los espacios con el caracter blanco (que
representaremos con t). La cinta no es infinita hacia la izquierda, por lo que hay un cuadro de la cinta que es el extremo
izquierdo, como en la figura En la MT la cabeza lectora es de lectura y escritura, por lo que la cinta puede ser modificada en
curso de ejecucin. Adems, en la MT la cabeza se mueve bidireccionalmente (izquierda y derecha), por lo que puede pasar
repetidas veces sobre un mismo segmento de la cinta.
Correcto
Question 4
Puntos: 1
Una Mquina de Turing est en capacidad de realizar cualquier cmputo que un computador digital sea capaz
de realizar.
Durante el cmputo o procesamiento de la palabra de entrada, hay dos situaciones especiales que se pueden
presentar y son vlidas: Identifquelas.
a. El cmputo termina por que en determinado momento Correcto: La MT se llega al final de un clculo cuando se alcanza un estado
especial llamado halt en el control finito, como resultado de una transicin
no hay transicin definida.

b. Una cadena de entrada w no es aceptada por una
Mquina de Turing (MT) M si la cadena es vaca.
Incorrecto: Las cadenas vacas tambin son aceptadas.
c. La mquina de Turing se detiene si detecta el inicio o
Incorrecto: Hay MT multicinta y adems estas no se adicionan, estas deben
adicin de otra cinta.
definirse desde el diseo y se expresan en la funcin de transicin.
d. El cmputo no termina; esto es lo que se denomina un Correcto: La MT se llega al final de un clculo cuando se alcanza un estado
especial llamado halt en el control finito, como resultado de una transicin
bucle infinito
Cuando queremos que una palabra no sea aceptada, desde luego debemos evitar que la MT llegue al halt. Podemos
asegurarnos de ello haciendo que la MT caiga en un ciclo infinito El lenguaje aceptado por una MT es simplemente el
conjunto de palabras aceptadas por ella.
Decimos que en la MT se llega al final de un clculo cuando se alcanza un estado especial llamado halt en el control finito,
como resultado de una transicin. Representaremos al halt por h. Al llegar al halt, se detiene la operacin de la MT, y se
acepta la palabra de entrada. As, en la MT no hay estados finales. En cierto sentido el halt sera entonces el nico estado
final, slo que adems detiene la ejecucin.
Correcto
Question 5
Puntos: 1
1. Con que configuracin de cinta se detendr la mquina de Turing mostrada a continuacin si comienza con la
cinta configurada como xxx . Asuma el orden con que estn numerados los estados para el proceso.
Tenga en cuenta que la operacin entre puntos es la que est activa como para este ejemplo:
.x.xx
r:
r
e:
a. xxx. .
b. xxx. .
c. xxx ..
d. xxx. .
.
X
X
Incorrecto:
Incorrecto: Se debe recorrer toda la mquina hasta el estado final o de parada.

La palabra de entrada en la MT est escrita inicialmente en la cinta, como es habitual en nuestros autmatas, pero iniciando
a partir de la segunda posicin de la cinta, siendo el primer cuadro un caracter blanco. Como la cinta es infinita, inicialmente
toda la parte de la cinta a la derecha de la palabra de entrada est llena del caracter blanco (t).
Incorrecto
Question 6
Puntos: 1
Este tipo de tems consta de dos proposiciones as: una Afirmacin y una Razn, unidas por la palabra PORQUE. Usted debe
examinar la veracidad de cada proposicin y la relacin terica que las une.
Para responder este tipo de tems, debe leerla completamente y sealar en la hoja de respuesta, la elegida de acuerdo con
las siguientes instrucciones:
Al iniciar la operacin de un autmata de pila, la pila debe tener un contenido inicial. PORQUE Al igual que los autmatas
finitos los autmatas de pila tienen estados finales que permiten distinguir cuando una palabra de entrada es aceptada.
r:
a. OPCION A X
b. OPCION D
c. OPCION C X
d. OPCION B X
Correcto: La Afirmacin es FALSA porque la pila debe estar vaca, pero la razn es verdadera, opcin correcta es D
La Afirmacin es FALSA porque la pila debe estar vaca, pero la razn es verdadera.
La Afirmacin es FALSA porque la pila debe estar vaca, pero la razn es verdadera, opcin correcta es D
LECCION III
1
Puntos: 1
Mquina de Turing (MT) de dos direcciones: Una Mquina de Turing con una cinta
infinita en un sentido puede simular una Mquina de Turing con la cinta infinita en los
dos sentidos.
Sea M una Mquina de Turing con una cinta infinita en los dos sentidos, entonces:
Para que se logre o se d esta mquina se debe cumplir:
a. La cinta superior contiene informacin correspondiente a la parte derecha de la cinta M a partir de un punto de
Parcialmente
referencia dado.
correcto
b. La Mquina de Turing M que tiene una Cinta Infinita en un sentido, puede simular a M si tiene una cinta con dos
pistas.
..
c. La pista inferior y superior leen los datos simultneamente en ambos sentidos. Luego y dependiendo de los estado
repetitivos, se detiene una pista y contina la que menos celdas tenga ocupada.
Incorrecto
d. La pista inferior contiene la parte izquierda de la cinta M (en orden inverso).
Parcialmente
correcto
Hay otras definiciones de las mquinas de Turing que son equivalentes. Algunos de esos modelos alternativos son mucho
ms complicados aunque todos tienen la misma potencia computacional (o de clculo). Muchas de ellas dotan de mayor
flexibilidad al diseo de una mquina de Turing que resuelva un problema en particular.
Una mquina de Turing con una cinta infinita en un sentido puede simular una mquina de Turing con la cinta infinita en los
dos sentidos pero con dos pistas. Sea una Mquina de Turing en Dos Direcciones: M una mquina de Turing con una cinta
infinita en los dos sentidos. La mquina de Turing M, que tiene una cinta infinita en un sentido, puede simular a M si tiene
una cinta con dos pistas. La cinta superior contiene la informacin correspondiente a la parte derecha de la cinta M, a partir
de un punto de referencia dado. La pista inferior contiene la parte izquierda de la cinta M (en orden inverso).
Question 2
Puntos: 1
Acerca de los PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES, cules

afirmaciones o razonamientos son vlidos.
a. Un problema es soluble si existe una MT que no puede parar por su capacidad

de cmputo .
determinar si la propiedad es verdadera (Existe una

MT que siempre para al resolver el problema).
b. Cuando se tratan los PROBLEMAS INSOLUBLES PARA LA TEORIA DE
Correcto: Se est definiendo y caracterizando un
LENGUAJES, se presentan los Problemas de decisin (PD). Un PD es aqul
"problema de decisin que hace referencia a esta
formulado por una pregunta (referida a alguna propiedad) que requiere una
respuesta de tipo si/no. Hay problemas de decisin de tipo soluble, parcialmente
soluble e insoluble
Incorrecto: Soluble si existe un algoritmo total para
c. Un problema es Insoluble si si existe una MT que se acerque a su solucin.
caracterstica de "solucin o no" de problemas que

aborda la Teora d ela computacin.
Incorrecto: Insoluble si no existe un procedimiento
efectivo para determinar si la propiedad es
verdadera (no existe una MT).
Correcto: Se est definiendo y caracterizando un
d. Mientras que los lenguajes computables son una infinidad numerable, los
"problema de decisin que hace referencia a esta
lenguajes no computables son una infinidad no numerable
caracterstica de "solucin o no" de problemas que
aborda la Teora d ela computacin.

Correcto: Se est definiendo y caracterizando un "problema de decisin que hace referencia a esta caracterstica de "solucin
o no" de problemas que aborda la Teora de la computacin.
Un problema de decisin (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta
de tipo si/no.
Correcto
Question 3
Puntos: 1
Si iniciamos la mquina de Turing siguiente con la cadena yyxyxx
x/R
y/x
Diseo: lng. CBtlosAlbe1toAmaya T1mizona
a. la mquina tiene dos cintas X
r.
b. la mquina acepta la cadena.
r:
c. hay una terminacin anormal. X
d. la mquina entra en un bucle y no termina nunca.
Incorrecto: la mquina no se detien.
La mquina entra en un bucle

Decimos que en la MT se llega al final de un clculo cuando se alcanza un estado especial llamado halt en el control finito,
como resultado de una transicin. Representaremos al halt por h. Al llegar al halt, se detiene la operacin de la MT, y se
acepta la palabra de entrada. As, en la MT no hay estados finales. En cierto sentido el halt sera entonces el nico estado
final, slo que adems detiene la ejecucin.
Incorrecto
Question 4
Puntos: 1
Cul de las siguientes apreciaciones no aplica para el funcionamiento de la Mquina de Turing (MT).
a. Las informaciones necesarias para resumir la situacin de una MT en medio de

un clculo son: Estado en que se encuentra la MT, Contenido de la Cinta y
Posicin d ela cabeza. X
r.
"
b. El desplazamiento de la cabeza de una Mquina de Turing, se realiza en un

solo sentido, y no hacia ambos lados.
e:
c. La palabra de entrada en la MT est escrita inicialmente en la cinta. X
d. Por definicin, al iniciar la operacin de la MT, la cabeza lectora est
Esta es la respuesta correcta: Esta apreciacin es

falsa por cuanto el desplazamiento lo puede hacer en
ambos sentidos.
posicionada en el caracter blanco a la izquierda de la palabra de entrada, el cual

es el cuadro ms a la izquierda de la cinta.
Una mquina de Turing tiene una cabeza de lectura/escritura que avanza bidireccionalmente por una cinta infinita por la
derecha. Entrada: contenido inicial de la cinta. Salida: contenido final de la cinta.
Correcto
Question 5
Puntos: 1
Una de las siguientes afirmaciones corresponde correctamente al concepto de Alan Turing.

r:
a. Dada una mquina de Turing, existe una gramtica estructurada por frases
que genera el mismo lenguaje que acepta el autmata si y slo si la mquina es
determinista.
b. La tesis de Turing implica que para todo lenguaje existe una mquina de
r:
c. Turing describa en su artculo que a travs de su mquina haba conseguido
Turing que lo acepta, ya sea el alfabeto finito o infinito. X
caracterizar de un modo matemtico el nmero de funciones calculables, usando

para ello una mquina abstracta X
r.
.,,
d. La tesis de Turing no implica que los lenguajes ms generales que existan

sean los lenguajes estructurados por frases.
Corrceto. Existen lenguajes no computables, que no

son estructurados por frases y que ninguna mquina
de Turing acepta.
La Teora de la Computabilidad se ocupa de dividir el universo de todos los lenguajes sobre , en aquellos lenguajes que
pueden ser reconocidos por algoritmos efectivos y los que no. Ello conduce a las funciones no computables, es decir, a los
problemas no resolubles.
El objetivo de Turing era el de enfrentarse al problema planteado por Hilbert (el Entscheidumgsproblem) utilizando para ello
el concepto abstracto de una mquina, una mquina terica.
Correcto
Question 6
Puntos: 1
Suponga que se desea construir una mquina de Turing que enumere en orden sobre su cinta
todos los nmeros enteros. Indique cul de las siguientes afirmaciones es verdadera:
r:
a. Se debe definir una cinta con 9 celdas (por la condicion decimal)
b. No existe ninguna mquina de Turing, ya que el problema

planteado no es computable X
c. La mquina podra devolver el resultado en notacin decimal
Correcto: Esta mquina Universal no debe ser diseada para
Comentario 2: Es fcil construir una mquina de Turing que
realizar un clculo especfico, sino para procesar cualquier
enumere en orden sobre su cinta todos los nmeros enteros, y nada informacin (realizar cualquier clculo especfico -MT particularimpide que se escriban nmeros en notacin decimal en su cinta.
sobre cualquier configuracin inicial de entrada correcta para esa

MT particular).
d. La mquina necesariamente habra de proporcionar el resultado
en notacin binaria . Tenga en cuenta es una mquina abstracta.
Esta mquina Universal no debe ser diseada para realizar un clculo especfico, sino para procesar cualquier informacin
(realizar cualquier clculo especfico -MT particular- sobre cualquier configuracin inicial de entrada correcta para esa MT
particular).
Es posible concebir una M T capaz de ejecutar cualquier algoritmo; es decir capaz de realizar los clculos que realizara
cualquier otra MT, o sea, capaz de simular (tener el mismo comportamiento) cualquier MT particular.
Correcto
Question 7
Puntos: 1
Asocie correctamente las caractersticas de las Variantes o diferentes Mquinas de Turing.
Mquina de Turing que usa una cinta que se extiende
Mquinas de Turing de cinta infinita en una direccin.
infinitamente en una nica direccin.

Una mquina de Turing con una cinta infinita en un sentido
puede simular una mquina de Turing con la cinta infinita en los
Mquinas de Turing en dos direcciones
dos sentidos pero con dos pistas

No debe ser diseada para realizar un clculo especfico, sino
para procesar cualquier informacin (realizar cualquier clculo
Mquinas de Turing Multipista
especfico -MT particular- sobre cualquier configuracin inicial

de entrada correcta.
MT que para un estado actual y el smbolo actual de la cinta,
Mquinas de Turing no Determinista
puede haber un nmero finito de movimientos a elegir

La cinta est dividida en un numero finito de k pistas
Mquinas Universal de Turing
hay n cintas diferentes y n cabezas de L/E (Lectura / Escritura)
Mquinas de Turing Multicinta
Hay otras definiciones de las mquinas de Turing que son equivalentes. Algunos de esos modelos alternativos son mucho
ms complicados aunque todos tienen la misma potencia computacional (o de clculo). Muchas de ellas dotan de mayor
flexibilidad al diseo de una mquina de Turing que resuelva un problema en particular.
Question 8
Puntos: 1
Acerca del tipo de cadenas que puede aceptar una Mquina de Turing, determine cul afirmacin es vlida.
a. Cuando se desea que una MT no acepte una palabra,

simplemente se debe configurar para que llegue a un estado halt
de parada o stop. X
b. Es posible que un lenguaje sea estructurado por frases pero no
exista ninguna mquina de Turing que se detenga exclusivamente

cuando las cadenas escritas en su cinta pertenezcan al lenguaje
)l
Correcto: Decimos que en la MT se llega al final de un clculo

c. Una mquina de Turing cuyo estado inicial coincida con el
cuando se alcanza un estado especial llamado halt en el control
estado de parada acepta toda cadena
finito, como resultado de una transicion. Representaremos al halt

por h
e:
d. Cualquier lenguaje puede ser reconocido por una mquina de
Turing
La MT es un modelo de mquina abstracta, como una extensin de los autmatas finitos, que result ser de una gran
simplicidad y podero a la vez. La mquina de Turing es particularmente importante porque es la mas poderosa de todas las
mquinas abstractas conocidas
Al disenar una MT que acepte un cierto lenguaje, en realidad disenamos el autmata finito que controla la cabeza y la
cinta, el cual es un autmata con salida.
Correcto
Question 9
Puntos: 1
Los PROBLEMAS DE HALTING hacen referencia a: (Seleccione varias opciones).
"
a. Equivale a construir un programa que te diga si un problema de ordenador finaliza alguna vez o no (entrando a un bucle
infinito, por ejemplo)
"
b. El problema de Halting es el primer problema indecidible mediante maquinas de Turing
c. El problema de la parada o problema de la detencin es de hecho soluble y la Teora d ela Computacin lo defini como tal
d. El probleme de tipo "insoluble" define que hay un algoritmo que lo soluciona pero que no se puede llebvar a una MT o una
mquina abstracta.
Correcto
Correcto
Incorrecto
Incorrecto
Bsicamente, Turing defini las bases de las computadoras modernas y planteo un problema sobre ellas, llegando a la
conclusin de que no hay ningn algoritmo que lo resuelva. Es el problema de la detencin (Halting problem); el problema de
saber si un problema se cuelga cuando corre en la computadora. Turing demostr que el problema de la detencin es
indicidible, es decir, demostr que haba problemas que una maquina no poda resolver
El problema de Halting es el primer problema indecidible mediante maquinas de Turing. Equivale a construir un programa
que te diga si un problema de ordenador finaliza alguna vez o no (entrando a un bucle infinito, por ejemplo)
Correcto
Question 10
Puntos: 1
Una Mquina de Turing (MT) se puede comportar como un aceptador de un lenguaje. Si colocamos una
cadena w en la cinta, situamos la cabeza de lectura/escritura sobre el smbolo del extremo izquierdo de la
cadena w y ponemos en marcha la mquina a partir de su estado inicial. Para que w sea aceptada se
requiere:
e:
r
a. Que el estado final contenga la cadena vaca o nula X

b. Que se complete un clico as: Inmediatamente despus del primer ciclo de lectura del cabezal a
Incorrecto. Pueden haber varios
la cinta.
ciclos.
c. Que la cinta no haya sido inicializada. X

d. Si despus de una secuencia de movimientos, la Mquina de Turing (mt) llega a un estado final y
para
Por definicin, al iniciar la operacin de la MT, la cabeza lectora est posicionada en el caracter blanco a la izquierda de la
palabra de entrada, el cual es el cuadro ms a la izquierda de la cinta.
La palabra de entrada en la MT est escrita inicialmente en la cinta, como es habitual en nuestros autmatas, pero iniciando
a partir de la segunda posicin de la cinta, siendo el primer cuadro un caracter blanco. Como la cinta es infinita, inicialmente
toda la parte de la cinta a la derecha de la palabra de entrada est llena del caracter blanco (t).
QUIZ III
1
Puntos: 1
La afirmacin: Una mquina de Turing universal es capaz de decidir cualquier lenguaje independiente del contexto.
e:
a. Slo es verdadera para lenguajes independientes

del contexto reconocibles mediante autmatas de
pila deterministas
e:
b. Es verdadera solo si la MT tiene un estado X
e:
c. Es falsa X
Todo lenguaje independiente del contexto es decidible
mediante una mquina de Turing, que puede ser simulada
mediante una mquina de Turing universal.
d. Es verdadera
Esta mquina Universal no debe ser diseada para realizar un clculo especfico, sino para procesar cualquier
informacin (realizar cualquier clculo especfico -MT particular- sobre cualquier configuracin inicial de entrada
correcta para esa MT particular).
Correcto
Question 2
Puntos: 1
Un problema de decisin (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una
respuesta de tipo si/no. Para la Teora de Lenguajes, un problema de decisin es insoluble cuando: (seleccione dos
opciones)
a. Si no se representa con un
diagrama de Moore el problema.
Incorrecto: Los diagramas de Moore y de Transicin o la foma como se

represneten los problemas, no tienen nada que ver con la determinacin si es
insoluble o no.
b. Si no existe un algoritmo total

Correcto:Un problema de decisin es: Soluble si existe un algoritmo total
para determinar si la propiedad y para determinar si la propiedad es verdadera (Existe una MT que siempre para
objetivo del problema es verdadera. al resolver el problema). Parcialmente soluble si existe un algoritmo parcial
para determinar si la propiedad es verdadera (existe una MT que resuelve el

problema, pero puede no parar). Insoluble si no existe un procedimiento
efectivo para determinar si la propiedad es verdadera (no existe una MT).
c. Si no existe un procedimiento
efectivo para determinar si la
propiedad es verdadera (no existe
una Mquina de Turing MT).
d. Si no se representa con una Tabla

de transiciones el problema.
Correcto: Un problema de decisin es: Soluble si existe un algoritmo total

para determinar si la propiedad es verdadera (Existe una MT que siempre para
al resolver el problema). Parcialmente soluble si existe un algoritmo parcial
para determinar si la propiedad es verdadera (existe una MT que resuelve el
problema, pero puede no parar). Insoluble si no existe un procedimiento
efectivo para determinar si la propiedad es verdadera (no existe una MT).
Incorrecto:Los diagramas de Moore y de Transicin o la foma como se
represneten los problemas, no tienen nada que ver con la determinacin si es
insoluble o no.
Un problema de decisin (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una
respuesta de tipo si/no.
Correcto
Question 3
Puntos: 1
TESIS. Se dice que en la MT se llega al final de un clculo cuando se alcanza un estado especial llamado halt en el
control finito, como resultado de una transicin..
POSTULADO I. Al llegar al halt, se detiene la operacin de la MT, y se acepta la palabra de entrada..
POSTULADO II. Por ello es que en la MT no hay estados finales.
"
r.
a. OPCION A
b. OPCION D X
c. OPCION B X
Correcto: Deficinicn de MT. Son postulados verdaderos que se deducen de la Tesis
d. OPCION C X
Deficinicn de MT. Son postulados verdaderos que se deducen de la Tesis

Deficinicn de MT. Son postulados verdaderos que se deducen de la Tesis
Correcto
Question 4
Puntos: 1
Este tipo de tems consta de dos proposiciones as: una Afirmacin y una Razn, unidas por la palabra PORQUE. Usted
debe examinar la veracidad de cada proposicin y la relacin terica que las une.
Para responder este tipo de tems, debe leerla completamente y sealar en la hoja de respuesta, la elegida de acuerdo
con las siguientes instrucciones:
La mquina de Alan Turing propuesta en los aos 30 se puede considerar como un Autmata PORQUE El modelo de sta
mquina abstracta es una extensin de los Autmatas Finitos.
r:
a. OPCION C
b. OPCION B
c. OPCION D
r.
d. OPCION A Correcto: tanto la razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la
afirmacin. Corresponde a la aplicacin de las MT
"
tanto la razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la afirmacin. Corresponde a la
aplicacin de las MT
Tanto la razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la afirmacin. Corresponde a la
aplicacin de las MT
Correcto

Question 5
Puntos: 1
TESIS: La reducibilidad ha permitido llegar a determinar la indecibilidad en algunos problemas computacionales.
POSTULADO I. Una manera ms simple de determinar la indecibilidad es utilizando el mtodo de reduccin, el cual est
implcito en nuestra manera de pensar a la hora de solucionar ciertos problemas.
POSTULADO II. dado un problema P1, este se reduce a solucionar P2. Es decir, si solucionamos P2, tenemos solucionado
P1. De esta manera hemos convertido un problema en otro.
a. OPCION A Correcto: Hace referencia a la reducibilidad de Turing. Los dos postulados se derivan de la Tesis.
Adems todos son verdaderos.
r:
b. OPCION D
e:
c. OPCION C
r:
d. OPCION B
Hace referencia a la reducibilidad de Turing. Los dos postulados se derivan de la Tesis. Adems todos son verdaderos.
Hace referencia a la reducibilidad de Turing. Los dos postulados se derivan de la Tesis. Adems todos son verdaderos.
Correcto
Question 6
Puntos: 1
No hay diferencia alguna entre una Mquina de Turing y una Mquina Universal de Turing PORQUE Las dos hacen
referencia a la misma mquina
a. La Afirmacin y la Razn son VERDADERAS pero la Razn NO es una

explicacin CORRECTA de la Afirmacin
b. La Afirmacin y la Razn son VERDADERAS y la Razn es una explicacin Incorrecto: Se est hablando de dos
mquinas diferentes.
CORRECTA de la Afirmacin X
c. La Afirmacin es FALSA, pero la Razn es una proposicin VERDADERA
d. La Afirmacin es VERDADERA, pero la Razn es una proposicin FALSA
La Mquina Universal de Turing no debe ser diseada para realizar un clculo especfico, sino para procesar cualquier
Incorrecto
Question 7
Puntos: 1
La forma correcta de operar una Mquina de Turing (MT) es:
a. Inicializacin de la Mquina / Se pone la unidad de control en el

estado inicial / La cinta est en blanco / Introducir la cadena de
entrada en la cinta / Se posiciona la cabeza sobre la primera letra
de la cadena introducida X
b. Inicializacin de la Mquina / Introducir la cadena de entrada en Incorrecto: La operacin de la MT consta de los
la cinta / La cinta est en blanco para iniciar / Se posiciona la
siguientes pasos: 1. Lee un caracter en la cinta
cabeza sobre la primera letra de la cadena introducida / Se pone la 2. Efectua una transicin de estado 3. Realiza
una accin en la cinta
unidad de control en el estado inicial X
c. Inicializacin de la Mquina / Introducir la cadena de entrada en

la cinta / La cinta est en blanco para iniciar / Se pone la unidad de
control en el estado inicial / Se posiciona la cabeza sobre la
primera letra de la cadena introducida
e:
d. Inicializacin de la Mquina / La cinta est en blanco / Introducir

la cadena de entrada en la cinta / Se pone la unidad de control en
el estado inicial / Se posiciona la cabeza sobre la primera letra de

la cadena introducida
La mquina de Turing (abreviado MT) tiene, como los autmatas que hemos visto antes, un control finito, una cabeza
lectora y una cinta donde puede haber caracteres, y donde eventualmente viene la palabra de entrada. La cinta es de
longitud infinita hacia la derecha, hacia donde se extiende indefinidamente, llenndose los espacios con el caracter
blanco (que representaremos con t). La cinta no es infinita hacia la izquierda, por lo que hay un cuadro de la cinta que
es el extremo izquierdo, como en la figura En la MT la cabeza lectora es de lectura y escritura, por lo que la cinta puede
ser modificada en curso de ejecucin. Adems, en la MT la cabeza se mueve bidireccionalmente (izquierda y derecha),
por lo que puede pasar repetidas veces sobre un mismo segmento de la cinta.
Incorrecto
Question 8
Puntos: 1
TESIS: La mquina de Turing es una mquina abstracta que se comporta como una extensin de los autmatas finitos,
que result ser de una gran simplicidad y podero a la vez.
POSTULADO I. La mquina de Turing (abreviado MT) tiene, un control finito, una cabeza lectora y una cinta donde puede
haber caracteres, y donde eventualmente viene la palabra de entrada.
POSTULADO II. La mquina de Turing es particularmente importante porque es la ms poderosa de todas las mquinas
abstractas conocidas.
r:
a. OPCION C .
b. OPCION D X
r.
c. OPCION A
d. OPCION B X
Incorrecto
Solo se deduce el Postulado II. Se trata de identificar el objetivo para el cual se creo la MT: la robustez y simplicidad
Solo se deduce el Postulado II. Se trata de identificar el objetivo para el cual se creo la MT: la robustez y simplicidad
Incorrecto
Question 9
Puntos: 1
Asocie correctamente las teoras o trabajos en automatizacin que estos autores trabajaron y fueron relevantes para
determinar y apoyar el estudio de AUTOMATA SY LENGUAJES FORMALES.
Inicin con mostrar la existencia de problemas indecidibles
HALTING
Procur conseguir un modelo matemtico formal, completo y consistente, en el que a travs de un

algoritmo, se pudiese determinar la veracidad o falsedad de cualquier proposicin formal
HILBERT
Defini las bases de las computadoras modernas y planteo un problema sobre ellas, llegando a la
conclusin de que no hay ningn algoritmo que lo resuelva.
TURING
Primer problema indecidible mediante maquinas de Turing
CHURCH
El origen de los modelos abstractos de computacin se encuadra en los aos '30 (antes de que existieran los
ordenadores modernos), para el trabajo de los lgicos Alonzo Church, Kurt Gdel, Stephen Kleene, Emil Leon Post, y
Alan Turing. Estos trabajos iniciales han tenido una profunda influencia, tanto en el desarrollo terico como en
abundantes aspectos de la prctica de la computacin; previendo incluso la existencia de ordenadores de propsito
general, la posibilidad de interpretar programas, la dualidad entre software y hardware, y la representacin de lenguajes
por estructuras formales basados en reglas de produccin.
Question 10
Puntos: 1
Una de las siguientes afirmaciones es verdadera seleccinela:
a. Dada una mquina de Turing, existe una gramtica estructurada

por frases que genera el mismo lenguaje que acepta el autmata si
y slo si la mquina es determinista.
b. La tesis de Turing implica que para todo lenguaje existe una

mquina de Turing que lo acepta, ya sea el alfabeto finito o infinito.
c. La tesis de Turing no implica que los lenguajes ms generales que

existan sean los lenguajes estructurados por frases.
Existen lenguajes no computables, que no son

estructurados por frases y que ninguna
mquina de Turing acepta.
Correcto
Question 11
Puntos: 1
Indique cul de las siguientes afirmaciones es verdadera o aplica al diseo y construccin de las Mquinas de Turing
(MT).
En realidad, con una nica mquina de Turing, ya sea de una o

varias cintas, determinista o no determinista, es posible reconocer
un nmero indefinido de lenguajes (imagine, p.e., una mquina
formada componiendo varias mquinas de Turing M i que
a. Es posible disear una mquina de Turing de reconocen respectivos lenguajes L i mediante mensajes de
aceptacin que identifican al lenguaje). Las cadenas que llevan a la
tres cintas que reconozca tres lenguajes.
mquina a un bucle de ejecucin infinita no pueden ser
reconocidas, ya que es imposible determinar si la ejecucin va a
terminar o no en algn momento (es el problema de los lenguajes
no decidibles).
r:
b. Con una nica mquina de Turing, ya sea de

una o varias cintas, determinista o no
determinista, slo es posible reconocer un
lenguaje X
c. Con una nica mquina de Turing pueden
reconocerse tres lenguajes: el lenguaje de las
cadenas que acepta, el lenguaje de las cadenas
que rechaza y el lenguaje de las cadenas que
llevan a la mquina a un bucle de ejecucin
infinita. X
Al disear una MT que acepte un cierto lenguaje, en realidad diseamos el autmata finito que controla la cabeza y la
cinta, el cual es un autmata con salida As, podemos usar la notacin grfica utilizada para aquellos autmatas para
indicar su funcionamiento
Correcto
Question 12
Puntos: 1
En una Mquina de Turing la cabeza lectora es de Escritura y Lectura debido a que:
r:
a. Se lee un Carcter en la
r:
b. La cabeza se mueve
Cinta. X
Unidireccionalmente. X
c. La cinta puede ser

modificada en curso de
ejecucin.
r:
Respuesta Correcta. La palabra de entrada en la MT est escrita inicialmente en la

cinta, como es habitual en nuestros autmatas, pero iniciando a partir de la segunda
posicin de la cinta, siendo el primer cuadro un caracter blanco. Como la cinta es
infinita, inicialmente toda la parte de la cinta a la derecha de la palabra de entrada
est llena del caracter blanco (t).
d. No pasa repetidas veces

sobre un mismo segmento.
X
Al disear una MT que acepte un cierto lenguaje, en realidad diseamos el autmata finito que controla la cabeza y la
cinta, el cual es un autmata con salida As, podemos usar la notacin grfica utilizada para aquellos autmatas para
indicar su funcionamiento
Correcto
Question 13
Puntos: 1
Seleccione cul de las siguientes situaciones no es posible cuando una mquina de Turing determinista examina una
cadena:
a. La mquina abandona los clculos por no encontrar

ninguna transicin aplicable
b. Se produce una terminacin anormal (es decir, la cabeza

lectora se desplaza a la izquierda de la primera celda de la
cinta) X
Puesto que la mquina es determinista,

necesariamente encuentra siempre una transicin
aplicable.
c. La mquina no se detiene nunca. X
Ya que cualquier mquina de Turing determinista es tambin no determinista, es lgico que una mquina de Turing
determinista se pueda simular mediante una no determinista. Tambin una mquina de Turing determinista puede
simular una no determinista. Por tanto, no se gana ninguna potencia adicional a causa del no determinismo.
Correcto
Question 14
Puntos: 1
La maquina de Turng opera cclicamente dado que:
a. Al comienzo de un ciclo se parte de una

determinada configuracin.
b. Una instruccin viene representada por un
c. La cabeza puede leer y escribir en un mismo
d. Comienza por una palabra de entrada.
Respuesta Correcta. Se debe definir la configuracin inicial

para iniciar el ciclo de trabajo
quntupla.
carcter. X
Esta mquina Universal no debe ser diseada para realizar un clculo especfico, sino para procesar cualquier
Correcto
Question 15
Puntos: 1
Dependiendo de los diferentes tipos de Mquinas de Turing (MT), estas se comportan de manera diferenete en la
solucin de problemas. para una MT MULTIPISTA, indique una propiedad vlida de esta.
r:
a. En esta MT no se inicializan las cintas por que

tienen muchas pistas. X
b. La cinta esta dividida en un nmero finito de k
pistas
c. La cinta est en un nmero infinito de k pistas.

Por eso es MULTIPISTA
Incorrecto:En el modelo multipista, la cinta est dividida en

un nmero FINITO de k pistas.
d. Al haber varias pistas, requiere de ms estados de

transicin
X.
Hay ciertos modelos de computacin relacionados con las mquinas de Turing, que poseen el mismo potencial como
reconocedores de lenguajes que el modelo bsico. Dentro de esas modificaciones, una muy particular es la MULTIPISTA
que resulta muy efectiva para solucin d eproblemas extensos.

Cuestionarios Corregidos Automatas

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Cuestionarios Corregidos Automatas

Uploaded by

Copyright:

Available Formats

PRESABER

a. Es lo mismo que decir un Autmata Libre de Contexto X

b. Es el Algoritmo que nos indica el lenguaje de la gramtica

independientes del contexto.

a. Su aplicacin para resolver problemas de contexto en lenguajes d eprogramacin

b. Su aplicacin para resol ver problemas de Turing X

c. Su aplicacin para resolver problemas infinitos y complejos X

d. Su aplicacin para resolver problemas cientficos.

a. Toda la combinacin de cadenas posibles menos la vaca.

b. Ninguna combinacin posible diferente a las de longitud mayor o igual a

c. Todas las combinaciones posibles menos la de longitud 1 X

d. Todas las combinacione sposibles incluyendo la vaca.

Incorrecto: La operacin + excluye la cadena vaca

a. Lenguaje que reconoce

Incorrecto: El alfabeto es indiferente a determinar el estado de un autmata.

Incorrecto: El lenguaje que reconoce el autmata es independiente del nmero de estados.

Incorrecto. El estado de un autmata es toda la informacin necesaria en un momento dado

Incorrecto: Las cadenas o palabras no determinan el estado actual del autmata.

Incorrecto: Las cadenas rechazadas no pueden determinar el estado actual de un Autmata.

Seleccione una respuesta.

Una gramtica es aplicable a un Lenguaje. El bloque ms sencillo de construccin de Lenguajes es el

El bloque ms sencillo de construccin de Lenguajes es el Alfabeto.

a. Los autmatas no pueden describir el comportamiento

de otras mquinas o sistemas. ya que son nicos para

Es decir, para leer cadenas (secuencias de smbolos) sin

diferentes tipos de lenguajes, que pueden ser

Correcto: Estas caracterizaciones de los lenguajes regulares se utilizan en

describir el lenguaje de cada una de ellas. Los autmatas finitos se utilizan

operadores sobre el alfabeto del mismo y otras

generalmente para verificar que las cadenas pertenecen al lenguaje, y como

expresiones regulares, incluyendo el lenguaje vaco

un analizador en la traduccin de algoritmos al computador.

Un diagrama de Moore o de Transicin de Estados representa una abstraccin de un modelo matemtico de un

a. El plano del diseo de la mquina

b. Las caractersticas tcnicas de la

El diagrama de Moore es un grafo orientado en el que cada nodo corresponde a un estado

Conjunto de palabras o sentencias formadas sobre un alfabeto.

el diseo de los analizadores lxicos y sintcticos de los compiladores.

la sintaxis de los lenguajes de programacin.

Conjunto finito no vaco de elementos.

Los mecanismos de aceptacin de los

La Teora de Lenguajes, define bloques constructores de lenguaje. El bloque ms

b. Los alfabetos son finitos.

c. Por smbolo, no se est haciendo referencia a un solo carcter.

Y que para el ejercicio = {a,b} Q ={ q0, q1} F = {q1} se representa

El conjunto de palabras aceptadas por este autmata son:

Seleccione una respuesta.

a. Todas las palabras que terminan en dos as

c. Todas las palabras que terminan en a y que estn

precedidas por una b X

Correcto: El conjunto de palabras aceptadas por este autmata son la

Se construy el siguiente autmata finito M para que cumpliera:

L(M) = {xmynzp | m,n y p son enteros no negativos }

Pero no fue vlido por que:

Seleccione una respuesta.

a. No acepta las cadenas {xyz} {yz} {xxxy}

b. No acepta las cadenas {x} {xxxzzz} {z} X

c. Acepta solo las cadenas que combinen los

Los autmatas y su definicin se pueden representar mediante :

b. Descripcin matemtica de la funcin de

c. El conjunto de tablas representativas X

c. En una tabla de transicin, no se representa el estado inicial ya que este se ubica en la

primera celda (i,j) de la tabla.

d. El lenguaje reconocido por el autmata es: a (bb | ab) a*