Post on 29-Nov-2015
PRESABER
1
Puntos: 1
De un Lenguaje Libre de Contexto podemos afirmar que es:
Seleccione una respuesta.
a. Es lo mismo que decir un Autómata Libre de Contexto
b. Es el Algoritmo que nos indica el lenguaje de la gramática
c. Es un Lenguaje que es generado por una gramática libre
de contexto
Correcto: (gramáticas libres del contexto) generan los lenguajes
independientes del contexto.
d. Es un lenguaje regular
(gramáticas libres del contexto) generan los lenguajes independientes del contexto.
Consideramos entonces los lenguajes libres (independientes) del contexto, y las gramáticas libres del contexto y los
autómatas 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 más amplias que incluyen como subconjunto a las
anteriores, de acuerdo con la jerarquía establecida por Chomsky en los años 50.
Correcto
Puntos para este envío: 1/1.
Question 2
Puntos: 1
La evolución de las máquinas (computadoras9 obedece principalmente a:
Seleccione una respuesta.
a. Su aplicación para resolver problemas de contexto en lenguajes d eprogramación Incorrecto
b. Su aplicación para resol ver problemas de Turing
c. Su aplicación para resolver problemas infinitos y complejos
d. Su aplicación para resolver problemas científicos.
Un aspecto importante en el desarrollo de los computadores, es sin duda, su aplicación para resolver problemas científicos y
empresariales
Incorrecto
Puntos para este envío: 0/1.
Question 3
Puntos: 1
Cuál de las siguientes cadenas corresponde con un Lenguaje Regular:
Seleccione una respuesta.
a. {abababab}
b. {aaababaa}
c. {abca} Incorrecto: Los lenguajes regulares se llaman así porque sus palabras contienen regularidades o repeticiones.
d. {abaabbb}
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
Puntos para este envío: 0/1.
Question 4
Puntos: 1
Si L es un Lenguaje sobre el Alfabeto A entonces En el lenguaje generado por la expresión L+ se aceptan cadenas:
Seleccione una respuesta.
a. Toda la combinación de cadenas posibles menos la vacía.
b. Ninguna combinación posible diferente a las de longitud mayor o igual a
uno.
c. Todas las combinaciones posibles menos la de longitud 1
d. Todas las combinacione sposibles incluyendo la vacía. Incorrecto: La operación + excluye la cadena vacía
únicamente.
Es una expresión que denota todas las posibles combinaciones de símbolos para formar cadenas o palabras excluyendo la
cadena vacía.
Es una expresión que denota todas las posibles combinaciones de símbolos para formar cadenas o palabras excluyendo la
cadena vacía.
Incorrecto
Puntos para este envío: 0/1.
Question 5
Puntos: 1
Cuáles de los siguientes elementos son necesarios para conocer el estado de un Autómata en un momento dado.
Seleccione al menos una respuesta.
a. Lenguaje que reconoce
el autómata. Incorrecto: El lenguaje que reconoce el autómata es independiente del número de estados.
b. Alfabeto Incorrecto: El alfabeto es indiferente a determinar el estado de un autómata.
c. Estado Finito Incorrecto. El estado de un autómata es toda la información necesaria en un momento dado
d. Símbolo de Entrada
Correcto: El estado de un autómata es toda la información necesaria en un momento dado, para poder
deducir, dado un símbolo de entrada en ese momento, cual será el símbolo de salida
e. Cadena aceptada Incorrecto: Las cadenas o palabras no determinan el estado actual del autómata.
f. Lenguaje
El lenguaje es una característica propia del Autómata. No tiene nada que ver con identificar el estado actual
del autómata.
g. Símbolo de salida
Correcto: El estado de un autómata es toda la información necesaria en un momento dado, para poder
deducir, dado un símbolo de entrada en ese momento, cual será el símbolo de salida
h. Cadena rechazada Incorrecto: Las cadenas rechazadas no pueden determinar el estado actual de un Autómata.
Se define configuración de un autómata a su situación en un instante. Se define movimiento de un autómata como el transito
entre dos configuraciones. Si un autómata se encuentra en un estado determinado, recibe un símbolo también determinado,
producirá un símbolo de salida y efectuará un cambio o transición a otro estado (también puede quedarse en el mismo
estado).
Conocer el estado de un autómata, es lo mismo que conocer toda la historia de símbolos de entrada, así como el estado
inicial, estado en que se encontraba el autómata al recibir el primero de los símbolos de entrada. El autómata tendrá un
determinado número de estados (pudiendo ser infinitos), y se encontrará en uno u otro según sea la historia de símbolos que
le han llegado.
Correcto
Puntos para este envío: 1/1.
Question 6
Puntos: 1
Los bloques constructores de lenguajes son:
Seleccione una respuesta.
a. Gramática Una gramática es aplicable a un Lenguaje. El bloque más sencillo de construcción de Lenguajes es el
Alfabeto.
b. Cadenas o Palabras
c. Jerarquía de Chomsky
d. Símbolo
e. Alfabeto
El bloque más sencillo de construcción de Lenguajes es el Alfabeto.
El bloque más sencillo de construcción de Lenguajes es el Alfabeto.
RECONOCIMIENTO I
1
Puntos: 1
Los lenguajes aceptados por los autómatas finitos son fácilmente descritos por expresiones simples llamadas expresiones
regulares quienes les dan el nombre de conjuntos regulares a dichos lenguajes.
Estas características son definidas también por el tipo de gramática. Un concepto claro y ordenado de estos conceptos es:
(seleccione solo una opción).
Seleccione una respuesta.
a. Los autómatas no pueden describir el comportamiento
de otras máquinas o sistemas. ya que son únicos para
cada algoritmo, es decir desarrollan su propio problema.
b. Los autómatas pueden usarse para reconocer lenguajes.
Es decir, para leer cadenas (secuencias de símbolos) sin
importar si pertenecen o no a un lenguaje. Son máquinas
poderosas que automatizan procesos y combinan
lenguajes.
c. Los autómatas finitos son capaces de reconocer
diferentes tipos de lenguajes, que pueden ser
caracterizados también, mediante diferentes tipos de
gramáticas para un solo lenguaje.
d. Una forma adicional de caracterizar los lenguajes
regulares, es mediante las llamadas expresiones regulares,
que son las frases del lenguaje, construidas mediante
operadores sobre el alfabeto del mismo y otras
expresiones regulares, incluyendo el lenguaje vacío
Correcto: Estas caracterizaciones de los lenguajes regulares se utilizan en
la práctica, según que la situación concreta esté favorecida por la forma de
describir el lenguaje de cada una de ellas. Los autómatas finitos se utilizan
generalmente para verificar que las cadenas pertenecen al lenguaje, y como
un analizador en la traducción de algoritmos al computador.
Estas caracterizaciones de los lenguajes regulares se utilizan en la práctica, según que la situación concreta esté favorecida
por la forma de describir el lenguaje de cada una de ellas. Los autómatas finitos se utilizan generalmente para verificar que
las cadenas pertenecen al lenguaje, y como un analizador en la traducción de algorítmos al computador.
Estas caracterizaciones de los lenguajes regulares se utilizan en la práctica, según que la situación concreta esté favorecida
por la forma de describir el lenguaje de cada una de ellas. Los autómatas finitos se utilizan generalmente para verificar que
las cadenas pertenecen al lenguaje, y como un analizador en la traducción de algorítmos al computador.
Correcto
Puntos para este envío: 1/1.
Question 2
Puntos: 1
Un diagrama de Moore o de Transición de Estados representa una abstracción de un modelo matemático de un
Autómata, siendo análogo a ____________, que representa la abstracción de una Máquina usada en procesos
automatizados.
Seleccione una respuesta.
a. El plano del diseño de la máquina Correcto: Los diagramas de Moore son otra forma de representar las funciones de transición
y salida de un autómata.
b. Las características técnicas de la
Máquina
c. La instrucciones de operación de la
Máquina
d. Las características de color de la
máquina
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 transición y salida de un autómata.
Correcto
Puntos para este envío: 1/1.
Question 3
Puntos: 1
Los lenguajes se pueden clasificar según el tipo de dispositivos de aceptación y generación que existen para
ellos. Con respecto a esto, asocie correctamente los siguientes textos:
Alfabeto Conjunto de palabras o sentencias formadas sobre un alfabeto.
Los mecanismos de aceptación de los
lenguajes regulares y de los lenguajes
libres de contexto forman la base para
el diseño de los analizadores léxicos y sintácticos de los compiladores.
Los dispositivos de generación de los
lenguajes regulares y de los lenguajes
libres de contexto, son ampliamente
usados como modelos para expresar la
la sintaxis de los lenguajes de programación.
Lenguaje Conjunto finito no vacío de elementos.
Informalmente, el término lenguaje formal se utiliza en muchos contextos (en las ciencias, en derecho, etc.) para referirse a
un modo de expresión más cuidadoso y preciso que el habla cotidiana. Hasta finales de la década de 1990, el consenso
general era que un lenguaje formal, era en cierto modo la versión «límite» de este uso antes mencionado: un lenguaje tan
formalizado que podía ser usado en forma escrita para describir métodos computacionales. Sin embargo, hoy en día, 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 más
adeptos.
Parcialmente correcto
Puntos para este envío: 0.5/1.
Question 4
Puntos: 1
La “Teoría de Lenguajes”, define bloques constructores de lenguaje. El bloque más
sencillo es el alfabeto. De las siguientes afirmaciones cuales definen o son verdaderas con respecto a un “alfabeto”
Pueden haber varias opciones válidas
Seleccione al menos una respuesta.
a. Los símbolos pueden ser nombres. Correcto
b. Los alfabetos son finitos. Correcto
c. Por símbolo, no se está haciendo referencia a un solo carácter. Correcto
d. { α , α , …, α } Es un ejemplo de alfabeto.
Lenguaje Formal: Un alfabeto es un conjunto finito de símbolos. De esta definición se debe resaltar lo siguiente. (1) Los
alfabetos son finitos. (2) Por símbolo no se está esta haciendo referencia a un sólo carácter. Los símbolos pueden ser
nombres. Todas las respuestas son verdaderas.
Lenguaje Formal: Un alfabeto es un conjunto finito de símbolos. De esta definición se debe resaltar lo siguiente. (1) Los
alfabetos son finitos. (2) Por símbolo no se está esta haciendo referencia a un sólo carácter. Los símbolos pueden ser
nombres. Todas las respuestas son verdaderas.
Correcto
Puntos para este envío: 1/1.
Question 5
Puntos: 1
1. Se denomina cadena, palabra o frase a una secuencia finita de símbolos de un alfabeto ∑. Estas cadenas son
denotadas como w.
Dado el siguiente autómata finito determinístico (AFD) A = (Q, ∑, f, q0, F) donde:
Q es un conjunto de estados.
∑ es el alfabeto de entrada
f: Q X ∑ → Q es la función (total) de transición.
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:
El conjunto de palabras aceptadas por este autómata son:
Seleccione una respuesta.
a. Todas las palabras que terminan en dos a´s
b. {w a | w ϵ {a,b} potencia 2 }
c. Todas las palabras que terminan en a y que estén
precedidas por una b
d. {w a | w ϵ {a,b}* } Correcto: El conjunto de palabras aceptadas por este autómata son la
palabras que terminan en a.
El conjunto de palabras aceptadas por este autómata son la palabras que terminan en a.
El conjunto de palabras aceptadas por este autómata son la palabras que terminan en a.
Correcto
Puntos para este envío: 1/1.
Question 6
Puntos: 1
Se construyó el siguiente autómata finito M para que cumpliera:
L(M) = {xm
ynz
p | m,n y p son enteros no negativos }
Pero no fue válido por que:
Seleccione una respuesta.
a. No acepta las cadenas {xyz} {yz} {xxxy}
b. No acepta las cadenas {x} {xxxzzz} {z}
c. Acepta solo las cadenas que combinen los
elementos {x,z} del alfabeto
d. Tiene dos estados de aceptación o finales Incorrecto: El hecho que el Autómata tenga dos estados finales no lo clasifica como
no válido. Se está evaluando es la ER que reconoce.
El hecho que el Autómata tenga dos estados finales no lo clasifica como no válido. Se está evaluando es la ER que reconoce.
La configuración de un autómata finito (sin importar el tipo) en cierto instante viene dada por el estado del autómata en ese
instante y por la porción de cadena de entrada que le queda por leer o procesar. La porción de cadena leída hasta llegar al
estado actual no tiene influencia en el comportamiento futuro de la máquina. En este sentido podemos decir que un AF es
una máquina sin memoria externa; son los estados los que resumen de alguna forma la información procesada.
LECCION I
1
Puntos: 1
Los autómatas y su definición se pueden representar mediante :
Seleccione al menos una respuesta.
a. Tabla de transiciones Correcto: Se pueden identificar estados, transiciones y desde allí se puede identificar las
cadenas válidas.
b. Descripción matemática de la función de
transición
c. El conjunto de tablas representativas
d. Diagramas de Moore
Correcto: Los diagramas de Moore son otra forma de representar las funciones de
transición y salida de un autómata.
La palabra autómata 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 transición, Diagramas de Moore, La función de
transición.
Parcialmente correcto
Puntos para este envío: 0.7/1.
Question 2
Puntos: 1
Cuando se define un autómata finito se puede construir o recrear mediante las tablas de transiciones.
Al respecto indique cuál afirmación respecto a la creación de tablas de transición es válida:
Seleccione una respuesta.
a. La fila i representa los estados. Las columnas j representan los símbolos. Cada celda (i,j) los
posibles estados que alcanza el diagrama de transiciones cuando se encuentra en el estado i y
lee el símbolo j.”
Correcto. Esto es lo mismo que
describir el diagrama de transiciones
completo.
b. La fila i representa los símbolos. 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 transición.
c. En una tabla de transición, no se representa el estado inicial ya que este se ubica en la
primera celda (i,j) de la tabla.
d. El estado final en una tabla de transición se identifica mediante el símbolo de interrogación.
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
Puntos para este envío: 1/1.
Question 3
Puntos: 1
Asocie correctamente los elementos de una tupla de un Autómata
Expresión Regular F
Suele describirse al estado final o de aceptación Q
Así se le llama a la cadena vacía lambda
Suele ser el estado inicial q0
Conjunto de estados posibles ER
Un autómata es una quíntupla 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 símbolos de entrada. S es un conjunto finito, y sus elementos se llaman salidas o símbolos de salida. Q es el
conjunto de estados posibles, puede ser finito o infinito.
Parcialmente correcto
Puntos para este envío: 0.4/1.
Question 4
Puntos: 1
Que representa la siguiente figura:
Seleccione una respuesta.
a. No representa un autómata válido por que el mismo estado inicial es el mismo estado
final.
b. Un Autómata que acepta palabras o cadenas que contienen únicamente b´s
c. No representa un autómata válido por que tiene un solo estado.
d. Un Autómata de tipo AFND válido
Correcto: Es una extensión válida de un
AFD.
Es un Autómata Finito No Determinístico (AFND) válido. Es una extensión válida de un AFD. Permite que de cada nodeo del
diagrama de estados salga un número de flechas mayor o menor que |∑|
Es un Autómata Finito No Determinístico (AFND) válido. Es una extensión válida de un AFD. Permite que de cada nodeo del
diagrama de estados salga un número de flechas mayor o menor que |∑|
Correcto
Puntos para este envío: 1/1.
Question 5
Puntos: 1
Teniendo en cuenta la Teoría de los Autómatas y Lengujaes Formales, y los diferentes Modelos de
Computación, identifique los postulados válidos y relevantes cuando se habla de de AUTOMATAS.
Seleccione al menos una respuesta.
a. El propósito inicial de la automatización es hacer precisa la noción intuitiva
de función calculable; esto es, una función cuyos valores pueden ser
calculados de forma automática o efectiva mediante un algoritmo, y construir
modelos teóricos para ello (de computación).
Esta búsqueda de automatización fue uno de los principios
por lo que se desarrollaron muchas teorías de
computación automática.
b. La teoría de la computabilidad puede caracterizarse, desde el punto de
vista de las Ciencias de la Computación es la búsqueda de métodos
automáticos de cálculo. El primer paso de esta búsqueda está en el estudio
de los modelos de computación. Los comienzos de la Teoría. La Tesis de
Church-Turing
Respuesta Correcta: Los modelos abstractos de
computación tienen su origen en los años 30, bastante
antes de que existieran los computadores modernos, en el
trabajo de los lógicos Church, Gödel, Kleene, Post, y
Turing.
c. La Teoría de Conjuntos es de importancia y es un prerrequisito en el
estudio de la Teoría de los Autómatas y Lengujaes Formales
Correcto, la Teoría de Conjuntos es importante en el
estudio de los Autómatas
d. Un aspecto importante en el desarrollo de los computadores, es sin duda,
su aplicación para guardar información.
Incorrecto: Un aspecto importante en el desarrollo de los
computadores, es sin duda, su aplicación para resolver
problemas científicos y empresariales.
Resolver estos problemas mediante una sucesión de pasos claros, concretos y sencillos, es decir algoritmos. El avance de las
matemáticas permite la utilización de nuevas metodologías para la representación y manejo de la información. Las máquinas
abstractas "Autómatas" contribuyen a este avance cientísifco.
El estudio de los Autómatas y su aplicabilidad tiene como intento de los matemáticos y científicos para obtener un
procedimiento general para resolver cualquier problema (matemático) claramente formulado. Es lo que podríamos llamar El
problema de la computación teórica. El avance de la tecnología y de las matemáticas, y más en concreto de la teoría de
conjuntos y de la lógica, permiten plantearse aspectos de la computación en 3 caminos.
Correcto
Puntos para este envío: 1/1.
Question 6
Puntos: 1
El número mínimo de estados de un autómata finito no determinista es:
Seleccione una respuesta.
a. Dos
b. No hay número mínimo
c. Depende del alfabeto sobre el que
está definido.
d. Uno Correcto: Un solo estado es suficiente para repesentar una máquina SFND si así fuese su
diseño. 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
máquina si así se diseñara. (AFND)
Una extensión a los autómatas finitos deterministas es la de permitir que de cada nodo del diagrama de estados salga un
número de flechas mayor o menor que Así, se puede permitir que falte la flecha correspondiente a alguno de los símbolos 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 vacía. A estos autómatas finitos se les llama
no Determinísticos o no deterministas (abreviado AFND), Al retirar algunas de las restricciones que tienen los autómatas
finitos Determinísticos, su diseño para un lenguaje dado puede volverse más simple.
Correcto
Puntos para este envío: 1/1.
Question 7
Puntos: 1
Sea el autómata A = (∑, Q, f, q1, F) donde
∑ ={a,b}, Q = {q1, q2, q3, q4}, F= { q4} y la función f vienen dada por la siguiente tabla:
Determine qué aspectos son válidos para el autómata.
Seleccione al menos una respuesta.
a. Es un Autómata Finito Determinístico con lambda -
transiciones Incorrecto: No solo hay transiciones Lambda
b. Es un Autómata Finito Determinístico (AFD)
Incorrecto:Se debe tener en cuenta la propiedad de "determinístico o no
determinístico"
c. El lenguaje reconocido por el autómata es: a (b* | a* ) ba*
Correcto. Esta ER es válida
d. El lenguaje reconocido por el autómata es: a (b*b | a*b) a*
Correcto. Esta ER es válida
Es un AFND. El lenguaje que reconoce es : a (b*b | a*b) a* o también a (b* | a* ) ba* para efectos de mejor comprensión,
hay que recrear o realizar el autómata mediante un diagrama de Moore
Es un AFND. El lenguaje que reconoce es : a (b*b | a*b) a* o también a (b* | a* ) ba* para efectos de mejor comprensión,
se debe escojer una cadena válida y compararla con la ER.
Correcto
Puntos para este envío: 1/1.
Question 8
Puntos: 1
Se diseña el siguiente Autómata Finito Deterministico (AFD) para el lenguaje de palabras
del alfabeto {a,b} que no tiene varias a´s seguidas. Esta solución es defectuosa porque.
Seleccione al menos una respuesta.
a. Hay palabras como “baa”, que tiene a´s
seguidas y sin embargo son aceptadas por
el AFD.
Correcto: El "problema de diseño" de un AFD es considerar demasiadas posibilidades. El
hecho que tenga dos estados finales o de aceptación no es problema y es válido en el
diseño. La palabra "baba" No es aceptada por el autómata aunque sus elementos o
símbolos si hacen parte del alfabeto que las compone.
b. Tiene dos finales o de aceptación q1 y q2
. Incorrecto: Los dos estados finales no son errores de diseño.
c. Hay palabras como “ba”, que no tienen a´s
seguidas y sin embargo no son aceptadas
por el AFD
Correcto: El "problema de diseño" de un AFD es considerar demasiadas posibilidades. El
hecho que tenga dos estados finales o de aceptación no es problema y es válido en el
diseño. La palabra "baba" No es aceptada por el autómata aunque sus elementos o
símbolos si hacen parte del alfabeto que las compone.
d. Hay palabras como “baba” que no tienen
a´s seguidas y sin embargo son aceptadas
por el AFD pero que no pertenecen al
alfabeto dado.
Incorrecto: esta regularidad no es error de diseño del AF.
El "problema de diseño" de un AFD es considerar demasiadas posibilidades. El hecho que tenga dos estados finales o de
aceptación no es problema y es válido en el diseño. La palabra "baba" No es aceptada por el autómata aunque sus elementos
o símbolos si hacen parte del alfabeto que las compone.
El "problema de diseño" de un AFD es considerar demasiadas posibilidades. El hecho que tenga dos estados finales o de
aceptación no es problema y es válido en el diseño. La palabra "baba" No es aceptada por el autómata aunque sus elementos
o símbolos si hacen parte del alfabeto que las compone.
Correcto
Puntos para este envío: 1/1.
Question 9
Puntos: 1
Acerca de la Equivalencia de AFD Y AFN es válido afirmar.
Seleccione una respuesta.
a. Para covertir u AFD a u AFND, el AFD debe tener menos estados que el AFND
b. Todo Autómata por defecto es No determinístico
c. Los autómatas finitos determinísticos (AFD) son un subconjunto propio de los no determinísticos (AFN) Correcto.
d. Todo Autómata por defecto es Determinístico.
Los autómatas finitos determinísticos (AFD) son un subconjunto propio de los no determinísticos (AFN), lo que quiere decir
que todo AFD es un AFN. Podría entonces pensarse que los AFN son “más poderosos” que los AFD, en el sentido de que
habría algunos lenguajes aceptados por algún AFN para los cuales no habría ningún AFD que los acepte. Sin embargo, en
realidad no sucede así.
Los autómatas finitos determinísticos (AFD) son un subconjunto propio de los no determinísticos (AFN), lo que quiere decir
que todo AFD es un AFN. Podría entonces pensarse que los AFN son “más poderosos” que los AFD, en el sentido de que
habría algunos lenguajes aceptados por algún AFN para los cuales no habría ningún AFD que los acepte. Sin embargo, en
realidad no sucede así.
Correcto
Puntos para este envío: 1/1.
Question 10
Puntos: 1
En un autómata Finito Determinista (AFD), Es válido afirmar que :
Seleccione una respuesta.
a. El nombre “determinista” viene de la forma en que está definida la función de transición: si en un instante t
la máquina está en el estado q y lee el símbolo a entonces, en el instante siguiente t + 1 la máquina cambia
de estado y sabemos con seguridad cual es el estado al que cambia, que es precisamente δ(q, a).
b. Todo autómata finito determinista de n estados, cuyo alfabeto E contiene m símbolos debe tener m x n
transiciones.
c. A diferencia de los AF (Autómatas Finitos), los Autómatas Finitos Determinísticos Por ser AFD, este no
debe ser inicializado con ningún símbolo de entrada
Incorrecto: El AFD es
inicializado con una
palabra de entrada.
d. A diferencia de los AF (Autómatas Finitos), los Autómatas Finitos Determinísticos Por ser AFD, no tienen
ningún ciclo de ejecución. Solo leen un dato de entrada.
Una extensión a los autómatas finitos deterministas es la de permitir que de cada nodo del diagrama de estados salga un
número de flechas mayor o menor que Así, se puede permitir que falte la flecha correspondiente a alguno de los símbolos 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 vacía. A estos autómatas finitos se les llama
no Determinísticos o no deterministas (abreviado AFND),
El nombre “determinista” viene de la forma en que está definida la función de transición: si en un instante t la máquina está
en el estado q y lee el símbolo a entonces, en el instante siguiente t + 1 la máquina 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 cuál es el tipo de autómata más sencillo (menos potente) capaz de reconocer el lenguaje {xnymzn | n>=25,
m>=50}.
Seleccione una respuesta.
a. Un autómata de pila no determinista
b. Una máquina de Turing.
c. Un autómata de pila determinista
d. Un autómata finito Incorrecto
Incorrecto
Puntos para este envío: 0/1.
Question 2
Puntos: 1
Un Autómata Determinístico de estados finitos (DFA), M, es una quíntupla: (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 función de transición de estados.
La condición de ser Determinístico es debido a que:
Seleccione al menos una respuesta.
a. Las transacciones están descritas por
una función total.
Esto corresponde a la definición de Autómatas Determinísiticos (DFA).
Estos autómatas se denominan determinísticos ya que en cada estado
su comportamiento es fijo. Es decir, dado el estado y el símbolo en la
cinta de entrada hay un único estado al cual puede pasar. . Todas los
items son verdaderas.
b. El autómata comienza en el estado
inicial y lee una secuencia de símbolos
(símbolo por símbolo hasta que se acabe
la secuencia).
Esto corresponde a la definición de Autómatas Determinísiticos (DFA).
Estos autómatas se denominan determinísticos ya que en cada estado
su comportamiento es fijo. Es decir, dado el estado y el símbolo en la
cinta de entrada hay un único estado al cual puede pasar. . Todas los
items son verdaderas.
c. En cada instante lee un símbolo δ y
dependiendo del símbolo y del estado s
en el que se encuentra, cambia al estado
dado por la función de transición: δ(s, σ)
Esto corresponde a la definición de Autómatas Determinísiticos (DFA).
Estos autómatas se denominan determinísticos ya que en cada estado
su comportamiento es fijo. Es decir, dado el estado y el símbolo en la
cinta de entrada hay un único estado al cual puede pasar. . Todas los
items son verdaderas.
d. Hay un único estado inicial.
Correcto: Esto corresponde a la definición de Autómatas
Determinísiticos (DFA). Estos autómatas se denominan determinísticos
ya que en cada estado su comportamiento es fijo. Es decir, dado el
estado y el símbolo 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 función de transición: si en un instante t la máquina
está en el estado q y lee el símbolo a entonces, en el instante siguiente t + 1 la máquina cambia de estado y sabemos
con seguridad cual es el estado al que cambia, que es precisamente δ(q, a).
Correcto
Puntos para este envío: 1/1.
Question 3
Puntos: 1
Acorde a al historia y a lo que se dice de los modelos de computación, las Máquinas de Turing (MT), como máquinas
reconocedoras de los lenguajes formales dependientes del contexto o estructurado por frases, surgieron hace:
(seleccione una opcion valida)
Seleccione una respuesta.
a. Hace
5 años
b. Hace
50 años
c. En
1970
d. Hace
20 años
Correcto: Se puede llegar así, de una forma casi natural a considerar las máquinas de Turing, establecidas
casi 20 años antes, como máquinas reconocedoras de los lenguajes formales dependientes del contexto o
estructurados por frases, e incluso a interpretar la Tesis de Turing como que un sistema computacional
nunca podrá efectuar un análisis sintáctico de aquellos lenguajes que están por encima de los lenguajes
estructurados por frases, según la jerarquía de Chomsky".
Consideramos entonces los lenguajes libres (independientes) del contexto, y las gramáticas libres del contexto y los
autómatas 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 más amplias que incluyen como subconjunto
a las anteriores, de acuerdo con la jerarquía establecida por Chomsky en los años 50.
Correcto
Puntos para este envío: 1/1.
Question 4
Puntos: 1
Los ítems que encontrará a continuación constan de una afirmación VERDADERA (tesis) y dos postulados también
VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen
lógicamente de la afirmación y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instrucción:
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 sólo se deduce el postulado II.
Marque D si ninguno de los postulados se deduce de la tesis.
TESIS. Los autómatas finitos determinísticos (AFD) son un subconjunto propio de los no determinísticos (AFN).
POSTULADO I. Todo AFD es un AFN
POSTULADO II. Se puede pensar entonces que los AFN son “más poderosos” que los AFD, en el sentido de que habría
algunos lenguajes aceptados por algún AFN para los cuales no hay ningún AFD que los acepte
Seleccione una respuesta.
a. OPCION B Incorrecto
b. OPCION D
c. OPCION C
d. OPCION A
EQUIVALENCIA DE AUTÓMATAS FINITOS DETERMINISTICOS Y AUTÓMATAS FINITOS NO DETERMINÍSTICOS. Las
equivalencias están en relación a la jerarquía de estos autómatas. Y en ambos postulados son coherentes.
EQUIVALENCIA DE AUTÓMATAS FINITOS DETERMINISTICOS Y AUTÓMATAS FINITOS NO DETERMINÍSTICOS. Las
equivalencias están en relación a la jerarquía de estos autómatas. Y en ambos postulados son coherentes.
Incorrecto
Puntos para este envío: 0/1.
Question 5
Puntos: 1
Un ejemplo de “Lenguaje” es el conjunto de “palíndromos” (cadenas que se leen igual hacia adelante, que hacia atrás).
Para el caso del alfabeto { 0, 1} Es válido afirmar: (Seleccione dos respuestas).
Tenga en cuenta que el símbolo lambda (usado en autómatas), http://es.wikipedia.org/wiki/Lambda
Seleccione al menos una respuesta.
a. Pueden ser cadenas válidas 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
Correcto: Este lenguaje {0,1} tiene cadenas infinitas
(muchisimas se pueden combinar como palindromos que se
lean iagual al derecho y al reves).
c. Este Lenguaje tiene cadenas finitas
Incorrecto: Este lenguaje {0,1} tiene cadenas infinitas
(muchisimas se pueden combinar como palindromos que se
lean iagual al derecho y al reves).
d. Las cadenas válidas para ese alfabeto obedece a
sus seis posibles combinaciones: {0, 1, 01, 10, 00,
11}
Incorrecto: Este lenguaje {0,1} tiene cadenas infinitas
(muchisimas se pueden combinar como palindromos que se
lean iagual al derecho y al reves).
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 número de veces. Aquí la “regularidad”
consiste en que las palabras contienen “ab” algún número de veces.
Correcto
Puntos para este envío: 1/1.
Question 6
Puntos: 1
Sea el vocabulario {1,2,3}, la expresión regular (1|2)* 3 indica el conjunto de todas las cadenas formadas con los
símbolos 1,2 y 3 . Cuáles sentencias o cadenas son válidas :
Seleccione al menos una respuesta.
a. 221113 Correcto: Pueden formarse cadenas con los símbolos 1 y 2, sucedéndose cualquiér número de veces
( y en cualquiér órden) y siempre terminando la cadena en el símbolo 3
b. 132211 Incorrecto: Pueden formarse cadenas con los símbolos 1 y 2, sucedéndose cualquiér número de
veces ( y en cualquiér órden) y siempre terminando la cadena en el símbolo 3
c. 121211223
Correcto: Pueden formarse cadenas con los símbolos 1 y 2, sucedéndose cualquiér número de veces
( y en cualquiér órden) y siempre terminando la cadena en el símbolo 3
d. 2213311
Incorrecto: Pueden formarse cadenas con los símbolos 1 y 2, sucedéndose cualquiér número de
veces ( y en cualquiér órden) y siempre terminando la cadena en el símbolo 3
Un posible alfabeto sería, digamos, {a, b}, y una cadena cualquiera sobre este alfabeto sería, por ejemplo, ababba. Un
lenguaje sobre este alfabeto, que incluyera esta cadena, sería: el conjunto de todas las cadenas que contienen el mismo
número de símbolos a que b.
Correcto
Puntos para este envío: 1/1.
Question 7
Puntos: 1
Los ítems que encontrará a continuación constan de una afirmación VERDADERA (tesis) y dos postulados también
VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen
lógicamente de la afirmación y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instrucción:
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 sólo se deduce el postulado II.
Marque D si ninguno de los postulados se deduce de la tesis.
TESIS: El estado de un autómata es toda la información necesaria en un momento dado, para poder deducir, dado un
símbolo de entrada en ese momento, cuál será el símbolo de salida.
POSTULADO I: Conocer el estado de un autómata, es lo mismo que conocer toda la historia de símbolos de entrada, así
como el estado inicial, estado en que se encontraba el autómata al recibir el primero de los símbolos de entrada
POSTULADO II. La información se codifica en cadenas de símbolos, y un autómata es un dispositivo que manipula
cadenas de símbolos que se le presentan a su entrada, produciendo otras tiras o cadenas de símbolos a su salida.
Seleccione una respuesta.
a. OPCION B
b. OPCION A Incorrecto
c. OPCION D
d. OPCION C
DEFINICON DE ESTADO. Solo se deduce el Postulado I. El Postulado II hace referencia más a la definición de Autómata
que ala de un estado.
DEFINICON DE ESTADO. Solo se deduce el Postulado I. El Postulado II hace referencia más a la definición de Autómata
que ala de un estado.
Incorrecto
Puntos para este envío: 0/1.
Question 8
Puntos: 1
Los Automatas finitos no Deterministicos tienen las caracteristicas de:
Seleccione al menos una respuesta.
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
Puntos para este envío: 1/1.
Question 9
Puntos: 1
Teniendo en cuenta que podemos definir un Autómata como una máquina conceptual o teórica para el reconocimiento
de patrones, entonces los siguientes componentes: Analizados Léxico, Analizador Sintáctico y Generador de Código
corresponderían a una aplicación de un Autómata en el la implementación de:
Seleccione una respuesta.
a. Procesadores de texto Respuesta Incorrecta
b. Lenguajes de Programación
c. Aplicaciones de Computador
d. Compiladores
Incorrecto
Puntos para este envío: 0/1.
Question 10
Puntos: 1
Los autómatas finitos no Determinísticos o no deterministas tienen las características de:
Seleccione al menos una respuesta
Seleccione al menos una respuesta.
a. Permitir que de cada nodo del diagrama de estados salga un número de flechas mayor o menor Correcto
b. Las transiciones no tengan como etiqueta palabras de varias letras o hasta la palabra vacía. Incorrecto
c. Las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacía. Correcto
d. No permitir que de cada nodo del diagrama de estados salga un número de flechas mayor o menor Incorrecto
Los AFND tienen las características de Permitir que de cada nodo del diagrama de estados salga un número de flechas
mayor o menor y las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacía.
Los AFND tienen las características de Permitir que de cada nodo del diagrama de estados salga un número de flechas
mayor o menor y las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacía.
Correcto
Puntos para este envío: 1/1.
Question 11
Puntos: 1
Acorde al siguiente diagrama de Moore. Identifique que expresión representa:
Seleccione una respuesta.
a. Expresión regular (q|q )* Incorrecto: No hay elemntos de entrada con el nombre "q"
b. Expresión regular (ac|b|b)*
c. Expresión regular (bb|ab)*
d. Expresión regular (ac|b)*
La operación de conjuntos de unión posibilita tener lenguajes de varios elementos y si se añade la operación * cerradura
o estrella de Kleene que se deriva naturalmente de la concatenación, tambien es factible producir lenguajes infinitos.
Incorrecto
Puntos para este envío: 0/1.
Question 12
Puntos: 1
Como especificar la sintaxis de un lenguaje?: Se utiliza la jerarquía de Chomsky; la jerarquía de Chomsky es una
clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales. Esta jerarquía fue
descrita por Noam Chomsky en 1956. Acorde a esto, asocie correctamente esta clasificación.
Gramática
s de tipo 3
Gramáticas regulares. Generan los lenguajes regulares
Gramática
s de tipo 1
Gramáticas sensibles al contexto. Generan los lenguajes sensibles al contexto
Gramática
s de tipo 0
Estas gramáticas generan todos los lenguajes capaces de ser reconocidos por una máquina de Turing
Gramática
s de tipo 2
Gramáticas libres del contexto. Generan los lenguajes independientes del contexto
Como especificar la sintaxis de un lenguaje?: Se utiliza la jerarquía de Chomsky; la jerarquía de Chomsky es una
clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales. Esta jerarquía fue
descrita por Noam Chomsky en 1956.
Correcto
Puntos para este envío: 1/1.
Question 13
Puntos: 1
El nombre "finito" en un Autómata, se justifica por una de las siguientes afirmaciones. Seleccione una.
Seleccione una respuesta.
a. Del hecho que el autómata solo tiene un conjunto finito de estados distintos
para recordar lo procesado (no tiene ningún sistema de almacenamiento de
información adicional)
Correcto. Los estados son
definidos desde el inicio y son
finitos.
b. Del hecho que el Autómata almacena información en un solo estado (el final),
que es donde termina su recorrido
c. Que el Autómata contiene un alfabeto símbolos (letras del abecedario) y estas
son finitas.
d. Que el Autómata tiene un solo estado Inicial que se puede representar por un *
o por un círculo doble.
Al describir una máquina de estados finitos en particular, debemos incluir las informaciones que varían de un autómata
a otro; es decir, no tiene sentido incluir descripciones generales aplicables a todo autómata. Estas informaciones son
exactamente las que aparecen en un diagrama de estados y transiciones.
Correcto
Puntos para este envío: 1/1.
Question 14
Puntos: 1
Una de las siguientes afirmaciones NO aplica a los lenguajes que reconocen un autómata. Identifíquela
Seleccione una respuesta.
a. Un automata finito determinista M reconoce un lenguaje L(M) si acepta exclusivamente la coleccion de cadenas
de dicho lenguaje.
b. Dada una gramatica regular G, siempre existe un automata finito M tal que L(G) = L(M) y M tiene un unico
estado de aceptacion.
c. Un automata finito determinista utilizado como reconocedor de lenguajes con al menos una cadena
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
Puntos para este envío: 1/1.
Question 15
Puntos: 1
Los automatas se pueden representar mediante:
Seleccione al menos una respuesta.
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 gramáticas del siguiente ejercicio, tienen dos particularidades que son válidas afirmarlas:
Seleccione al menos una respuesta.
a. Las reglas de las gramáticas difieren por que tienen diferentes
terminales. Incorrecto: Los terminales no le marcan la diferencia.
b. La palabra generable por la gramática G1 y G2 es xyzyzy Correcto: esta cadena la genera tanto G1 como G2
c. La lista de reglas están denotadas de forma comprimida
Correcto. La forma comprimida en que están descritas las
gramáticas es válida.
d. La palabra generable por la gramática G1 y G2 es xxzyzy Incorrecto: La cadena generada no es válida para G1 y G2.
Las terminales son las mismas para ambas gramáticas y son (xyz). Las Variables son diferentes y para la gramática 1 son
S,A,B y para la gramática 2 son S,A. Las reglas o producciones para ambas gramáticas son diferentes. Ambas gramáticas
generan la palabra xyzyzy
Las terminales son las mismas para ambas gramáticas y son (xyz). Las Variables son diferentes y para la gramática 1 son
S,A,B y para la gramática 2 son S,A. Las reglas o producciones para ambas gramáticas son diferentes. Ambas gramáticas
generan la palabra xyzyzy
Correcto
Puntos para este envío: 1/1.
Question 2
Puntos: 1
Una pila es un dispositivo de almacenamiento que sigue el principio de
Seleccione una respuesta.
a. El último en entrar el primero en salir
b. El último en entrar el último en salir
c. El primero en entrar el ultimo e salir Incorrecto
d. El primero en entrar el primero en salir
La pila funciona de manera que el ultimo carácter que se almacena en ella es el primero en salir (“LIFO” por las siglas en
inglés)
La pila funciona de manera que el ultimo carácter que se almacena en ella es el primero en salir (“LIFO” por las siglas en
inglés)
Incorrecto
Puntos para este envío: 0/1.
Question 3
Puntos: 1
Relaciones los elementos de un árbol de derivación con sus características
Rotulado con el símbolo inicial de la Gramática Nodo raíz
Corresponde a un símbolo Terminal o no Terminal Hoja
Corresponde a un símbolo no Terminal Nodo
Para una derivación dada, el símbolo inical “S” etiqueta la raíz del árbol. El nodo raíz tienen unos nodos hijos para cada
símbolo que aparezca en el lado dereho de la producción, usada para reemplazar el símbolo inicial. De igual forma, cada
símbolo no terminal tienen unos nodos hijos etiquetados con símbolos del lado derecho de la producción usada para sustituir
ese no terminal.
Correcto
Puntos para este envío: 1/1.
Question 4
Puntos: 1
Seleccione los componentes de los Arboles de Derivación:
Seleccione una respuesta.
a. Nodo inicial, nodos internos, nodo final
b. Nodo principal, nodos secundarios, nodos finales
c. Nodo inicial, nodos interiores, nodo final
d. Nodo raiz, nodos interiores, Hojas Correcto: Estos son los componentes básicos o definidos para un árbol de
análisis.
Para una derivación dada, el símbolo inical “S” etiqueta la raíz del árbol. El nodo raíz tienen unos nodos hijos para cada
símbolo que aparezca en el lado dereho de la producción, usada para reemplazar el símbolo inicial. De igual forma, cada
símbolo no terminal tienen unos nodos hijos etiquetados con símbolos del lado derecho de la producción usada para sustituir
ese no terminal.
Para una derivación dada, el símbolo inical “S” etiqueta la raíz del árbol. El nodo raíz tienen unos nodos hijos para cada
símbolo que aparezca en el lado dereho de la producción, usada para reemplazar el símbolo inicial. De igual forma, cada
símbolo no terminal tienen unos nodos hijos etiquetados con símbolos del lado derecho de la producción usada para sustituir
ese no terminal.
Correcto
Puntos para este envío: 1/1.
Question 5
Puntos: 1
Qué son los Arboles de Derivación ?
Seleccione una respuesta.
a. Son los que permiten mostrar gráficamente un símbolo para convertirlo
en un lenguaje
b. Son los que permiten mostrar gráficamente un autómata.
c. Son los que permiten mostrar gráficamente cómo se puede derivar
cualquier cadena de un lenguaje a partir del símbolo distinguido de una
Correcto. Estos permiten analizar el comportamiento del
comportamiento del autómata. (cadenas que representay
gramática que genera ese lenguaje que son o no validas).
d. Son los que permiten mostrar gráficamente una gramatica y por
consiguiente un lengaje dado .
Los árboles de derivación permiten analizar el comportamiento del comportamiento del autómata. (cadenas que representay
que son o no validas).
Al derivar una cadena a través de una GIC, el símbolo inicial se sustituye por alguna cadena. Los no terminales se van
sustituyendo uno tras otro por otras cadenas hasta que ya no quedan símbolos no terminales, queda una cadena con sólo
símbolos terminales. A veces es útil realizar un gráfico de la derivación. Tales gráficos tienen forma de árbol y se llaman
“arbol de derivación” o “árbol de análisis”.
Correcto
Puntos para este envío: 1/1.
Question 6
Puntos: 1
Qué es un Lenguaje Libre de Contexto ?
Seleccione una respuesta.
a. Es un lenguaje regular
b. Es un algoritmo que nos dice el lenguaje
de la gramática
c. Es aquel generado por una gramática
libre de contexto.
Correcto: Cualquier lenguaje libre de contexto L puede ser generado por una gramática
libre de contexto en la forma normal de Chomsky.
d. Es el lenguaje generado por un autómata
AFD
Todo lenguaje independiente del contexto L (no vacío) puede ser generado por una gramática libre de contexto que contenga
sólo producciones útiles y no terminales útiles.
Todo lenguaje independiente del contexto L (no vacío) puede ser generado por una gramática libre de contexto que contenga
sólo producciones útiles y no terminales útiles.
LECCION II
1
Puntos: 1
El lenguaje que reconoce un autómata a pila pertenece al grupo (IDENTIFIQUELO EN EL SIGUIENTE
DIBUJO ) en la clasificación de la Jerarquía de Chomsky.
Seleccione una respuesta.
a. G2 Correcto: Corresponde a Lenguaje slibres de contexto.
b. G3
c. G0
d. G1
Puesto que los autómatas finitos no son suficientemente poderosos para aceptar los LLC, entonces se presentan los
Autómatas de Pila (AP).
Puesto que los autómatas finitos no son suficientemente poderosos para aceptar los LLC, entonces se presentan los
Autómatas de Pila (AP).
Correcto
Puntos para este envío: 1/1.
Question 2
Puntos: 1
Para que una palabra de entrada sea aceptada en un AP se deben cumplir las condiciones siguientes:
Seleccione al menos una respuesta.
a. La palabra de entrada se debe
haber agotado (consumido
totalmente).
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.
El AP se debe encontrar en un estado final. 3. La pila debe estar vacía.
b. El AP se debe encontrar en un
estado final.
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.
El AP se debe encontrar en un estado final. 3. La pila debe estar vacía.
c. La pila debe tener lambda
como elemento final Incorrecto: No necesariamente la cadena vacía debe estar presente.
d. El alfabeto d ela pila debe ser
igual al lenguaje que reconoce
Incorrecto: El lenguaje que reconoce la pila especifica ene l diseño cuando se detiene.
e. La pila debe estar vacía. Correcto: la pila debe estar vacía.
f. El inicio de la pila debe tener un
símbolo del alfabeto Incorrecto: la pila debe estar vacía
A la hora de dise˜nar un AP tenemos que repartir lo que requiere ser “recordado” entre los estados y la pila. Distintos
dise˜nos para un mismo problema pueden tomar decisiones diferentes en cuanto a qué recuerda cada cual.
A la hora de dise˜nar un AP tenemos que repartir lo que requiere ser “recordado” entre los estados y la pila. Distintos
dise˜nos para un mismo problema pueden tomar decisiones diferentes en cuanto a qué recuerda cada cual.
Correcto
Puntos para este envío: 1/1.
Question 3
Puntos: 1
Respecto a la relación entre un AF y un AP cuál afirmación es cierta:
Seleccione una respuesta.
a. Los AF y los AP tienen la misma capacidad de memoria
b. Un AP es infifnito por su capacidad de memoria. Un AF es
finito por su número de estados.
c. Estas dos máquinas no permiten regularidades.
d. Todo lenguaje aceptado por un AF es también aceptado por
un AP
Correcto: Este resultado debe quedar intuitivamente claro, puesto que
los AP son una extensión de los AF.
Correcto: Este resultado debe quedar intuitivamente claro, puesto que los AP son una extensión de los AF.
En los AP también es posible aplicar métodos de combinación modular de autómatas, como se hizo con los autómatas finitos.
En particular, es posible obtener AP que acepten la unión y concatenación de los lenguajes aceptados por dos AP dados.
Correcto
Puntos para este envío: 1/1.
Question 4
Puntos: 1
Dado un alfabeto ∑, los símbolos Ø, y los operadores + (unión), ∙ (concatenación) y * (clausura), se
define una EXPRESION REGULAR (ER) sobre el alfabeto ∑ en la que son válidas las siguientes
relaciones:
Nota. ω es una cadena sobre un lenguaje L
Seleccione al menos una respuesta.
a. Si ω = a y a pertenece ∑ entonces L (ω) no
pertenece ∑
Incorrecto, se debe tener en cuenta que estas cadenas también pertenecen al
Lenguaje.
b. Si ω = lambda entonces L (lambda) = { lambda} Correcto: esta es una ER
c. Si ω* es una ER entonces L (ω*) no es una ER
Incorrecto, se debe tener en cuenta que estas cadenas también pertenecen al
Lenguaje.
d. Si ω = Ø entonces L (ω) = Ø Correcto: esta es una ER
Las ER son simplemente fórmulas cuyo propósito es representar cada una de ellas un lenguaje. Así, el significado de una ER
es simplemente el lenguaje que ella representa.
La notación de conjuntos nos permite describir los lenguajes regulares, pero nosotros quisiéramos una notación en que las
representaciones de los lenguajes fueran simplemente texto (cadenas de caracteres). Así las representaciones de los
lenguajes regulares serían simplemente palabras de un lenguaje (el de las representaciones correctamente formadas).
Correcto
Puntos para este envío: 1/1.
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
configuración inicial llega a una configuración final emplenado
movimientos válidos.
Movimiento de un AP
Dado un estado, un símbolo 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 posición
Dado un
La cadena será aceptada si despu¶es de leerse toda la cadena
se llega a un estado con la pila vacía, independientemente del
tipo de estado en el que se encuentre el AP.
Reconocimiento de cadenas de entrada por estado final
Transición entre configuraciones. AP no determinista.
En los AP las transiciones de un estado a otro indican, además de los caracteres que se consumen de la entrada, también lo
que se saca del tope de la pila, asi como también lo que se mete a la pila.
Incorrecto
Puntos para este envío: 0/1.
Question 6
Puntos: 1
Cuando se trabajan Autómatas de Pila (AP) ó (PD) es válido afirmar:
Seleccione al menos una respuesta.
a. La pila tiene un alfabeto propio y debe coincidir
con el alfabeto de la palabra de entrada.
Incorrecto: La pila tendrá un alfabeto propio, que puede o no coincidir con el
alfabeto de la palabra de entrada. Esto se justifica porque puede ser necesario
introducir en la pila caracteres especiales usados como separadores, según las
necesidades de dise˜no del autómata.
b. Los autómatas de pilas no tienen metodología
tan generalmente aplicable, solo se debe tener una
estrategia clara para el manejo de la pila.
Correcto
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, además de los
caracteres que se consumen de la entrada, también lo que se saca del tope de la
pila, asi como también lo que se mete a la pila.
d. Cuando desarrollamos un autómata de pilas
tenemos que repetir lo que quiere ser recordado
entre los estados y las pilas.
Correcto
El problema de dise˜no 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 autómatas 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
inglés), como si empiláramos 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 sólo 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 est´an encima de ellos.
Correcto
Puntos para este envío: 1/1.
Question 7
Puntos: 1
Marque la notación más frecuentemente utilizada para expresar gramáticas libres de contexto.
Seleccione una respuesta.
a. Formas Normales
de Chomsky
b. Formas Normales
de Greibach
c. Arboles de
Derivación
d. Backus-Naur
Correcto: Backus y Naur desarrollaron una notación formal para describir la sintaxis de algunos lenguajes de
programación, que básicamente se sigue utilizando todavía, y que podía considerarse equivalente a las
gramáticas libres del contexto
Backus y Naur desarrollaron una notación formal para describir la sintaxis de algunos lenguajes de programación, que
básicamente se sigue utilizando todavía, y que podía considerarse equivalente a las gramáticas libres del contexto
Backus y Naur desarrollaron una notación formal para describir la sintaxis de algunos lenguajes de programación, que
básicamente se sigue utilizando todavía, y que podía considerarse equivalente a las gramáticas libres del contexto
Correcto
Puntos para este envío: 1/1.
Question 8
Puntos: 1
Respecto a los Autómatas de Pila es válido afirmar:
Seleccione una respuesta.
a. Un autómata de pila no puede hacer las funciones de "contador" ya que sus
recorridos varían en la cinta y lo que le importa a esta automatización es el
estado final y la salida del dato.
b. Un Autómata de Pila al igual que una Máquina de Turing o un Autómata
Finito, su definición básica es de naturaleza no determinista
c. Para poder simular un autómata de Pila se debe tener en cuenta: Las
columnas de una traza de ejecución para un AP son: el estado en que se
encuentra el autómata, lo que ha leido hasta el momento o estado actual al
inicio de la simulación, y el contenido de la memoria al final del recorrido.
Incorrecto: Solo se necesita conocer las columnas de
una traza de ejecución para un AP son: el estado en
que se encuentra el autómata, lo que falta por leer de la
palabra de entrada, y el contenido de la pila.
d. A la hora de diseñar un AP tenemos que repartir lo que requiere ser
“recordado” entre los estados y la pila. Distintos diseños para un mismo
problema pueden tomar decisiones diferentes en cuanto a que recuerda cada
cual
Los AP suelen ser más potentes, pero su dideño se debe más al tipo de cadena que se quiere reconocer.
A la hora de diseñar un AP tenemos que repartir lo que requiere ser “recordado” entre los estados y la pila. Distintos diseños
para un mismo problema pueden tomar decisiones diferentes en cuanto a que recuerda cada cual.
Incorrecto
Puntos para este envío: 0/1.
Question 9
Puntos: 1
Acerca del funcionamiento de un Autómata de Pila, cuál de las siguientes operaciones o comportamientos NO
las hace este autómata.
Seleccione una respuesta.
a. Una d elas condiciones para que una palabra de entrada
sea aceptada en un AP la pila debe estar vacía.
b. Al igual que los AF, los AP tienen estados finales, que
permiten distinguir cuando una palabra de entrada es
aceptada
c. En la Pila una transición de un estado a otro Arroja la
información de lo que sale de la pila (tope), no de lo que
entra ya que el avance es progresivo hacia adelante y no
hacia atrás.
Correcto: Esta afirmación es falsa ya que en los AP las transiciones de un
estado a otro indican, además de los caracteres que se consumen de la
entrada, también lo que se saca del tope de la pila, así como también lo
que se mete a la pila.
Para verificar el funcionamiento del autómata, podemos simular su ejecución, listando las situaciones sucesivas en que se
encuentra, mediante una tabla que llamaremos “traza de ejecución”. Las columnas de una traza de ejecución para un AP
son: el estado en que se encuentra el autómata, lo que falta por leer de la palabra de entrada, y el contenido de la pila
Para verificar el funcionamiento del autómata, podemos simular su ejecución, listando las situaciones sucesivas en que se
encuentra, mediante una tabla que llamaremos “traza de ejecución”. Las columnas de una traza de ejecución para un AP
son: el estado en que se encuentra el autómata, lo que falta por leer de la palabra de entrada, y el contenido de la pila.
Correcto
Puntos para este envío: 1/1.
Question 10
Puntos: 1
Acerca del siguiente AP que afirmaciones son válidas:
Seleccione al menos una respuesta.
a. Según la rama superior toda x que se reciba, se registra en la pila y el
estado siguiente será de aceptación Correcto.
b. Acepta la cadena vacía lambda Correcto: lambda es aceptado
c. Acepta solo la cadena x Incorreecto: Lapila puede aceptar cadenas combinaciones xy
según el símbolo de entrada.
d. No acepta la cadena vacía. Incorrecto. la cadena vacía si es aceptada
En el diseño de AP Una idea que surge inmediatamente es la de utilizar la pila como “contador” para recordar la cantidad de
símbolos de entrada.
En el diseño de AP Una idea que surge inmediatamente es la de utilizar la pila como “contador” para recordar la cantidad de
símbolos de entrada.
QUIZ II 1
Puntos: 1
Una tabla de Transiciones que permite representar un Autómata tiene tantas filas como:
Seleccione una respuesta.
a. Elementos de la Función de Salida
b. Letras del Alfabeto
c. Elementos del conjunto de entradas o vocabulario de Entrada
d. Elementos del Conjunto de Estados Respuesta Correcta
Correcto
Puntos para este envío: 1/1.
Question 2
Puntos: 1
Cual de las siguientes afirmaciones es VERDADERA
Seleccione una respuesta.
a. En los árboles de derivación, no es necesario usar nodo raíz
b. Los lenguajes generados por una Gramática Independiente del Contexto son llamados
Lenguajes Regulares
c. En un árbol de derivación cada nodo solamente puede tener otro hijo nodo
d. En un árbol de derivación, una gramática es ambigua, cuando hay dos o más árboles de
derivación distintos para una misma cadena
Respuesta
Correcta
Correcto
Puntos para este envío: 1/1.
Question 3
Puntos: 1
Qué son los árboles de derivación
Seleccione una respuesta.
a. Son los que permiten mostrar gráficamente un autómata finito.
b. Son los que permiten mostrar gráficamente un autómata
c. Son los que permiten mostrar gráficamente un símbolo para convertirlo en un lenguaje
d. Son los que permiten mostrar gráficamente cómo se puede derivar cualquier cadena de un lenguaje a
partir del símbolo distinguido de una gramática que genera ese lenguaje. Incorrecto
Incorrecto
Puntos para este envío: 0/1.
Question 4
Puntos: 1
Toda gramática de tipo 2 que no acepte la palabra vacía se puede poner en forma normal de Chomsky PORQUE Para ello
lo primero que hay que hacer es suprimir las producciones nulas y unitarias
Seleccione una respuesta.
a. La Afirmación y la Razón son VERDADERAS pero la Razón NO es una explicación CORRECTA de la Afirmación
b. La Afirmación es VERDADERA, pero la Razón es una proposición FALSA
c. La Afirmación y la Razón son VERDADERAS y la Razón es una explicación CORRECTA de la Afirmación
d. La Afirmación es FALSA, pero la Razón es una proposición VERDADERA
Correcto
Puntos para este envío: 1/1.
Question 5
Puntos: 1
Al iniciar la operación de un Autómata de Pila, la pila debe tener un contenido inicial PORQUE Al igual que los Autómatas
Finitos, los Autómatas de Pila tienen estados finales que permiten distinguir cuando una palabra de entrada es aceptada
Seleccione una respuesta.
a. La Afirmación es FALSA, pero la Razón es una proposición VERDADERA
b. La Afirmación y la Razón son VERDADERAS y la Razón es una explicación CORRECTA de la
Afirmación
Respuesta
Incorrecta
c. La Afirmación es VERDADERA, pero la Razón es una proposición FALSA
d. La Afirmación y la Razón son VERDADERAS pero la Razón NO es una explicación CORRECTA
de la Afirmación
Incorrecto
Puntos para este envío: 0/1.
Question 6
Puntos: 1
Una tabla de Transiciones que permite representar un Autómata tiene tantas columnas como:
Seleccione una respuesta.
a. Estados
b. Salidas
c. Entradas Respuesta Correcta
d. Elementos del Lenguaje
Correcto
Puntos para este envío: 1/1.
Question 7
Puntos: 1
De los siguientes elementos, uno no es un componente de un árbol de derivación:
Seleccione una respuesta.
a. Nodos
Interiores
b. Nodo Raíz
c. Hojas
d. Nodo
Final
Respuesta Correcta: Para una derivación dada, el símbolo inical “S” etiqueta la raíz del árbol. El nodo
raíz tienen unos nodos hijos para cada símbolo que aparezca en el lado dereho de la producción,
usada para reemplazar el símbolo inicial. De igual forma, cada símbolo no terminal tienen unos nodos
hijos etiquetados con símbolos del lado derecho de la producción usada para sustituir ese no
terminal.
Al derivar una cadena a través de una GIC, el símbolo inicial se sustituye por alguna cadena. Los no terminales se van
sustituyendo uno tras otro por otras cadenas hasta que ya no quedan símbolos no terminales, queda una cadena con
sólo símbolos terminales. A veces es útil realizar un gráfico de la derivación. Tales gráficos tienen forma de árbol y se
llaman “arbol de derivación” o “árbol de análisis”.
Correcto
Puntos para este envío: 1/1.
Question 8
Puntos: 1
Cual de las siguientes afirmaciones se asocia correctamente al diseño y funcionamiento de los árboles de derivación.
Seleccione una respuesta.
a. En los árboles de derivación, no es necesario usar nodo
raíz
b. En un árbol de derivación, una gramática es ambigua
cuando hay dos o más árboles de derivación distintos para
una misma cadena.
Respuesta Correcta: Una gramática es “ambigüa”
cuando hay dos o más árboles de derivación distintos
para una misma cadena
c. En un árbol de derivación cada nodo solamente puede
tener otro hijo nodo
d. Los lenguajes generados por una Gramática
Independiente del Contexto son llamados Lenguajes
Regulares
Al derivar una cadena a través de una GIC, el símbolo inicial se sustituye por alguna cadena. Los no terminales se van
sustituyendo uno tras otro por otras cadenas hasta que ya no quedan símbolos no terminales, queda una cadena con
sólo símbolos terminales. A veces es útil realizar un gráfico de la derivación. Tales gráficos tienen forma de árbol y se
llaman “arbol de derivación” o “árbol de análisis”. Para una derivación dada, el símbolo inical “S” etiqueta la raíz del
árbol. El nodo raíz tienen unos nodos hijos para cada símbolo que aparezca en el lado dereho de la producción, usada
para reemplazar el símbolo inicial. De igual forma, cada símbolo no terminal tienen unos nodos hijos etiquetados con
símbolos del lado derecho de la producción usada para sustituir ese no terminal.
Correcto
Puntos para este envío: 1/1.
Question 9
Puntos: 1
Dentro de los Algoritmos de decisión existen problemas que no tienen solución o que no existe un algoritmo que los
resuelva, éstos son llamados
Seleccione una respuesta.
a. No existen problemas de éste tipo
b. Problemas decidibles
c. Problemas Infinitos
d. Problemas indecidibles
Correcto
Puntos para este envío: 1/1.
Question 10
Puntos: 1
Cualquier Lenguaje Libre de Contexto L, puede ser generado por una Gramática Libre de Contexto en la forma normal de
Chomsky PORQUE Cualquier Gramática Libre de Contexto puede ser transformada a la forma normal de Chomsky
Seleccione una respuesta.
a. La Afirmación es VERDADERA, pero la Razón es una proposición FALSA
b. La Afirmación y la Razón son VERDADERAS pero la Razón NO es una explicación CORRECTA de la Afirmación
c. La Afirmación y la Razón son VERDADERAS y la Razón es una explicación CORRECTA de la Afirmación
d. La Afirmación es FALSA, pero la Razón es una proposición VERDADERA
Correcto
Puntos para este envío: 1/1.
Question 11
Puntos: 1
Qué son los Arboles de Derivación ?
Seleccione una respuesta.
a. son los que permiten mostrar gráficamente cómo se puede derivar
cualquier cadena de un lenguaje a partir del símbolo distinguido de una
gramática que genera ese lenguaje.
Correcto: Es la cualidad que permite
incluso determinar la ambigüedad d elas
gramáticas.
b. son los que permiten mostrar gráficamente un autómata finito.
c. son los que permiten mostrar gráficamente un autómata
d. son los que permiten mostrar gráficamente un símbolo para convertirlo
en un lenguaje
Al derivar una cadena a través de una GIC, el símbolo inicial se sustituye por alguna cadena. Los no terminales se van
sustituyendo uno tras otro por otras cadenas hasta que ya no quedan símbolos no terminales, queda una cadena con
sólo símbolos terminales. A veces es útil realizar un gráfico de la derivación. Tales gráficos tienen forma de árbol y se
llaman “arbol de derivación” o “árbol de análisis”.
Correcto
Puntos para este envío: 1/1.
Question 12
Puntos: 1
Seleccione los componentes de los árboles de derivación:
Seleccione una respuesta.
a. Nodo raiz, nodos interiores, Hojas Correcto: Los componentes son Nodo raiz, nodos interiores,
Hojas
b. Nodo inicial, nodos interiores, nodo final
c. Nodo inicial, nodos internos, nodo final
d. Nodo principal, nodos secundarios, nodos finales
Para una derivación dada, el símbolo inical “S” etiqueta la raíz del árbol. El nodo raíz tienen unos nodos hijos para cada
símbolo que aparezca en el lado dereho de la producción, usada para reemplazar el símbolo inicial. De igual forma, cada
símbolo no terminal tienen unos nodos hijos etiquetados con símbolos del lado derecho de la producción usada para
sustituir ese no terminal.
Correcto
Puntos para este envío: 1/1.
Question 13
Puntos: 1
De las siguientes proposiciones, seleccione la que es FALSA.
Seleccione una respuesta.
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.
b. Todo conjunto finito de cadenas es un lenguaje regular
c. Los Lenguajes Libres de Contexto son cerrados para las operaciones de: Unión,
Concatenación y Clausura
d. Si L es un lenguaje aceptable por maquinas de Turing, también lo es el lenguaje
complementario de L
Correcto, esta
apreciación es falsa
Si un lenguaje es generado por una gramática libre del contexto, entonces es aceptado por un Autómata con Pila No-
Determinístico.
Correcto
Puntos para este envío: 1/1.
Question 14
Puntos: 1
Al iniciar la operación de un Autómata de Pila, la pila debe tener un contenido inicial PORQUE Al igual que los Autómatas
Finitos, los Autómatas de Pila tienen estados finales que permiten distinguir cuando una palabra de entrada es aceptada
Seleccione una respuesta.
a. La Afirmación y la Razón son VERDADERAS pero la Razón NO es una explicación CORRECTA
de la Afirmación
b. La Afirmación y la Razón son VERDADERAS y la Razón es una explicación CORRECTA de la
Afirmación
Respuesta
Incorrecta
c. La Afirmación es FALSA, pero la Razón es una proposición VERDADERA
d. La Afirmación es VERDADERA, pero la Razón es una proposición FALSA
Incorrecto
Puntos para este envío: 0/1.
Question 15
Puntos: 1
Un autómata de pila por definición tiene las siguientes características:
Debe seleccionar más de una respuesta.
Seleccione al menos una respuesta.
a. no podemos modificar su “tope”, que
es el extremo por donde entran o salen
los caracteres.
b. La pila funciona de manera que el
ultimo carácter que se almacena en ella
es el primero en salir (“LIFO” por las
siglas en inglés)
Correcto: como si apiláramos 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 sólo podemos modificar su “tope”, que es el
extremo por donde entran o salen los caracteres.
c. La pila funciona de manera que el
primer carácter que se almacena en ella
es el primero en salir (“FIFO” por las
siglas en inglés)
d. sólo podemos modificar su “tope”,
que es el extremo por donde entran o
salen los caracteres.
Correcto: Un aspecto crucial de la pila es que sólo podemos modificar su
“tope”, que es el extremo por donde entran o salen los caracteres.
Aunque en el caso de los AP no hay metodologías tan generalmente aplicables como era el caso de los autómatas
finitos, siguen siendo válidas las ideas básicas del diseño sistemático, 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 diseñar un AP tenemos
que repartir lo que requiere ser “recordado” entre los estados y la pila. Distintos diseños para un mismo
RECONOCIMIENTO III
1
Puntos: 1
Con referencia a la funcionalidad y creación de una Máquina Universal de Turing (MUT), es válido afirmar:
Seleccione al menos una respuesta.
a. Una Máquina Universal de Turing es capaz de decidir cualquier lenguaje independiente del
contexto Correcto
b. 4. La MUT se diseñó para realizar cálculos específicos. La MT no se diseño para cálculos
específicos.
c. En el estado de parada de una MUT no puede salir ningún arco Correcto
d. 3. En una MUT el lenguaje aceptado por esta máquina no puede contener una cadena
vacía. No puede contener cadenas vacías.
La m´aquina de Turing es particularmente importante porque es la m´as poderosa de todas las m´aquinas abstractas
conocidas
Todo lenguaje independiente del contexto es decidible mediante una máquina de Turing, que puede ser simulada mediante
una máquina 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 información.
Correcto
Puntos para este envío: 1/1.
Question 2
Puntos: 1
Este tipo de ítems consta de dos proposiciones así: una Afirmación y una Razón, unidas por la palabra PORQUE. Usted debe
examinar la veracidad de cada proposición y la relación teórica que las une.
Para responder este tipo de ítems, debe leerla completamente y señalar en la hoja de respuesta, la elegida de acuerdo con
las siguientes instrucciones:
Marque A si la afirmación y la razón son VERDADERAS y la razón es una explicación CORRECTA de la afirmación.
Marque B si la afirmación y la razón son VERDADERAS, pero la razón NO es una explicación CORRECTA de la afirmación.
Marque C si la afirmación es VERDADERA, pero la razón es una proposición FALSA.
Marque D si la afirmación es FALSA, pero la razón es una proposición VERDADERA.
Solo una acción simultánea puede ejecutar una cinta en la Máquina de Turing (MT)
PORQUE la acción de escribir un símbolo en la cinta o la acción de movimiento del cabezal son excluyentes. Se hace una o la otra pero no ambas a la vez. Seleccione una respuesta.
a. OPCION C
b. OPCION D
c. OPCION A
Correcto: La razón y la afirmación son verdaderas y las razón es una explicación correcta de la afirmación. Las acciones
en la MT son excluyentes (o se lee o se escribe).
d. OPCION B
La razón y la afirmación son verdaderas y las razón es una explicación correcta de la afirmación. Las acciones en la MT son
excluyentes (o se lee o se escribe).
La razón y la afirmación son verdaderas y las razón es una explicación correcta de la afirmación. Las acciones en la MT son
excluyentes (o se lee o se escribe).
Correcto
Puntos para este envío: 1/1.
Question 3
Puntos: 1
Cuál de las siguientes proposiciones es FALSA con respecto a las Máquinas de Turing
Seleccione una respuesta.
a. Una máquina de Turing es un “dispositivo” como lo eran los autómatas finitos o los
autómatas a pila
b. Una Máquina de Turing tiene mayores capacidades que un Autómata Finito o de Pila
c. El desplazamiento de la Máquina en la cinta es siempre hacia la derecha
Correcto, no es cierto ya que se desplaza en
ambos sentidos
d. La máquina de Turing consta de un cabezal lector/escritor y una cinta infinita en la que
el cabezal lee el contenido
Por definición, al iniciar la operación 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 más a la izquierda de la cinta.
La máquina de Turing (abreviado MT) tiene, como los autómatas 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, llenándose 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 ejecución. Además, 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
Puntos para este envío: 1/1.
Question 4
Puntos: 1
Una Máquina de Turing está en capacidad de realizar cualquier cómputo que un computador digital sea capaz
de realizar.
Durante el cómputo o procesamiento de la palabra de entrada, hay dos situaciones especiales que se pueden
presentar y son válidas: Identifíquelas.
Seleccione al menos una respuesta.
a. El cómputo termina por que en determinado momento
no hay transición definida.
Correcto: La MT se llega al “final de un cálculo” cuando se alcanza un estado
especial llamado halt en el control finito, como resultado de una transición
b. Una cadena de entrada w no es aceptada por una
Máquina de Turing (MT) M si la cadena es vacía. Incorrecto: Las cadenas vacías también son aceptadas.
c. La máquina de Turing se detiene si detecta el inicio o
adición de otra cinta.
Incorrecto: Hay MT multicinta y además estas no se adicionan, estas deben
definirse desde el diseño y se expresan en la función de transición.
d. El cómputo no termina; esto es lo que se denomina un
bucle infinito
Correcto: La MT se llega al “final de un cálculo” cuando se alcanza un estado
especial llamado halt en el control finito, como resultado de una transición
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 cálculo” cuando se alcanza un estado especial llamado halt en el control finito,
como resultado de una transición. Representaremos al halt por “h”. Al llegar al halt, se detiene la operación de la MT, y se
acepta la palabra de entrada. Así, en la MT no hay estados finales. En cierto sentido el halt sería entonces el único estado
final, sólo que además detiene la ejecución.
Correcto
Puntos para este envío: 1/1.
Question 5
Puntos: 1
1. Con que configuración de cinta se detendrá la máquina de Turing mostrada a continuación si comienza con la
cinta configurada como xxxΔΔΔ . Asuma el orden con que están numerados los estados para el proceso.
Tenga en cuenta que la operación entre puntos es la que está activa como para este ejemplo:
.x.xxΔΔΔ
Seleccione una respuesta.
a. xxx. Δ .ΔΔ Incorrecto:
b. xxxΔ. Δ .Δ
c. xxxΔΔ .Δ.
d. xxxΔ. ΔΔ.
Incorrecto: Se debe recorrer toda la máquina 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 autómatas, pero iniciando
a partir de la segunda posición 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
Puntos para este envío: 0/1.
Question 6
Puntos: 1
Este tipo de ítems consta de dos proposiciones así: una Afirmación y una Razón, unidas por la palabra PORQUE. Usted debe
examinar la veracidad de cada proposición y la relación teórica que las une.
Para responder este tipo de ítems, debe leerla completamente y señalar en la hoja de respuesta, la elegida de acuerdo con
las siguientes instrucciones:
Marque A si la afirmación y la razón son VERDADERAS y la razón es una explicación CORRECTA de la afirmación.
Marque B si la afirmación y la razón son VERDADERAS, pero la razón NO es una explicación CORRECTA de la afirmación.
Marque C si la afirmación es VERDADERA, pero la razón es una proposición FALSA.
Marque D si la afirmación es FALSA, pero la razón es una proposición VERDADERA.
Al iniciar la operación de un autómata de pila, la pila debe tener un contenido inicial. PORQUE Al igual que los autómatas
finitos los autómatas de pila tienen estados finales que permiten distinguir cuando una palabra de entrada es aceptada.
Seleccione una respuesta.
a. OPCION A
b. OPCION D Correcto: La Afirmación es FALSA porque la pila debe estar vacía, pero la razón es verdadera, opción correcta es D
c. OPCION C
d. OPCION B
La Afirmación es FALSA porque la pila debe estar vacía, pero la razón es verdadera.
La Afirmación es FALSA porque la pila debe estar vacía, pero la razón es verdadera, opción correcta es D
LECCION III
1
Puntos: 1
Máquina de Turing (MT) de dos direcciones: Una Máquina de Turing con una cinta infinita en un sentido puede simular una Máquina de Turing con la cinta infinita en los
dos sentidos. Sea M una Máquina de Turing con una cinta infinita en los dos sentidos, entonces:
Para que se logre o se dé esta máquina se debe cumplir:
Seleccione al menos una respuesta.
a. La cinta superior contiene información correspondiente a la parte derecha de la cinta M a partir de un punto de
referencia dado.
Parcialmente
correcto
b. La Máquina 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 simultáneamente en ambos sentidos. Luego y dependiendo de los estado
repetitivos, se detiene una pista y continúa 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 máquinas de Turing que son equivalentes. Algunos de esos modelos alternativos son mucho
más complicados aunque todos tienen la misma potencia computacional (o de cálculo). Muchas de ellas dotan de mayor
flexibilidad al diseño de una máquina de Turing que resuelva un problema en particular.
Una máquina de Turing con una cinta infinita en un sentido puede simular una máquina de Turing con la cinta infinita en los
dos sentidos pero con dos pistas. Sea una Máquina de Turing en Dos Direcciones: M una máquina de Turing con una cinta
infinita en los dos sentidos. La máquina 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 información 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).
Parcialmente correcto
Puntos para este envío: 0.7/1.
Question 2
Puntos: 1
Acerca de los PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES, cuáles afirmaciones o razonamientos son válidos. Seleccione al menos una respuesta.
a. Un problema es soluble si existe una MT que no puede parar por su capacidad
de cómputo .
Incorrecto: Soluble si existe un algoritmo total para
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
LENGUAJES, se presentan los “Problemas de decisión” (PD). Un PD es aquél
formulado por una pregunta (referida a alguna propiedad) que requiere una
respuesta de tipo “si/no”. Hay problemas de decisión de tipo “soluble”, “parcialmente
soluble” e “insoluble”
Correcto: Se está definiendo y caracterizando un
"problema de decisión que hace referencia a esta
característica de "solución o no" de problemas que
aborda la Teoría d ela computación.
c. Un problema es Insoluble si si existe una MT que se acerque a su solución.
Incorrecto: Insoluble si no existe un procedimiento
efectivo para determinar si la propiedad es
verdadera (no existe una MT).
d. Mientras que los lenguajes computables son una infinidad numerable, los
lenguajes no computables son una infinidad no numerable
Correcto: Se está definiendo y caracterizando un
"problema de decisión que hace referencia a esta
característica de "solución o no" de problemas que
aborda la Teoría d ela computación.
Correcto: Se está definiendo y caracterizando un "problema de decisión que hace referencia a esta característica de "solución
o no" de problemas que aborda la Teoría de la computación.
Un problema de decisión (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta
de tipo “si/no”.
Correcto
Puntos para este envío: 1/1.
Question 3
Puntos: 1
Si iniciamos la máquina de Turing siguiente con la cadena yyxyxx
Seleccione una respuesta.
a. la máquina tiene dos cintas
b. la máquina acepta la cadena. Incorrecto: la máquina no se detien.
c. hay una terminación anormal.
d. la máquina entra en un bucle y no termina nunca.
La máquina entra en un bucle
Decimos que en la MT se llega al “final de un cálculo” cuando se alcanza un estado especial llamado halt en el control finito,
como resultado de una transición. Representaremos al halt por “h”. Al llegar al halt, se detiene la operación de la MT, y se
acepta la palabra de entrada. Así, en la MT no hay estados finales. En cierto sentido el halt sería entonces el único estado
final, sólo que además detiene la ejecución.
Incorrecto
Puntos para este envío: 0/1.
Question 4
Puntos: 1
Cuál de las siguientes apreciaciones no aplica para el funcionamiento de la Máquina de Turing (MT).
Seleccione una respuesta.
a. Las informaciones necesarias para resumir la situación de una MT en medio de
un cálculo son: Estado en que se encuentra la MT, Contenido de la Cinta y
Posición d ela cabeza.
b. El desplazamiento de la cabeza de una Máquina de Turing, se realiza en un
solo sentido, y no hacia ambos lados.
Esta es la respuesta correcta: Esta apreciación es
falsa por cuanto el desplazamiento lo puede hacer en
ambos sentidos.
c. La palabra de entrada en la MT está escrita inicialmente en la cinta.
d. Por definición, al iniciar la operación 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 más a la izquierda de la cinta.
Una máquina 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
Puntos para este envío: 1/1.
Question 5
Puntos: 1
Una de las siguientes afirmaciones corresponde correctamente al concepto de Alan Turing.
Seleccione una respuesta.
a. Dada una máquina de Turing, existe una gramática estructurada por frases
que genera el mismo lenguaje que acepta el autómata si y sólo si la máquina es
determinista.
b. La tesis de Turing implica que para todo lenguaje existe una máquina de
Turing que lo acepta, ya sea el alfabeto finito o infinito.
c. Turing describía en su artículo que a través de su máquina había conseguido
caracterizar de un modo matemático el número de funciones calculables, usando
para ello una máquina abstracta
d. La tesis de Turing no implica que los lenguajes más generales que existan
sean los lenguajes estructurados por frases.
Corrceto. Existen lenguajes no computables, que no
son estructurados por frases y que ninguna máquina
de Turing acepta.
La Teoría 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 máquina, una máquina teórica.
Correcto
Puntos para este envío: 1/1.
Question 6
Puntos: 1
Suponga que se desea construir una máquina de Turing que enumere en orden sobre su cinta
todos los números enteros. Indique cuál de las siguientes afirmaciones es verdadera:
Seleccione una respuesta.
a. Se debe definir una cinta con 9 celdas (por la condicion decimal)
b. No existe ninguna máquina de Turing, ya que el problema
planteado no es computable
c. La máquina podría devolver el resultado en notación decimal
Comentario 2: Es fácil construir una máquina de Turing que
enumere en orden sobre su cinta todos los números enteros, y nada
impide que se escriban números en notación decimal en su cinta.
Correcto: Esta máquina Universal no debe ser diseñada para
realizar un cálculo específico, sino para procesar cualquier
información (realizar cualquier cálculo específico -MT particular-
sobre cualquier configuración inicial de entrada correcta para esa
MT particular).
d. La máquina necesariamente habría de proporcionar el resultado
en notación binaria . Tenga en cuenta es una máquina abstracta.
Esta máquina Universal no debe ser diseñada para realizar un cálculo específico, sino para procesar cualquier información
(realizar cualquier cálculo específico -MT particular- sobre cualquier configuración 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 cálculos que realizaría
cualquier otra MT, o sea, capaz de simular (tener el mismo comportamiento) cualquier MT particular.
Correcto
Puntos para este envío: 1/1.
Question 7
Puntos: 1
Asocie correctamente las características de las Variantes o diferentes Máquinas de Turing.
Máquina de Turing que usa una cinta que se extiende
infinitamente en una única dirección. Máquinas de Turing de cinta infinita en una dirección.
Una máquina de Turing con una cinta infinita en un sentido
puede simular una máquina de Turing con la cinta infinita en los
dos sentidos pero con dos pistas
Máquinas de Turing en dos direcciones
No debe ser diseñada para realizar un cálculo específico, sino
para procesar cualquier información (realizar cualquier cálculo
específico -MT particular- sobre cualquier configuración inicial
de entrada correcta.
Máquinas de Turing Multipista
MT que para un estado actual y el símbolo actual de la cinta,
puede haber un número finito de movimientos a elegir Máquinas de Turing no Determinista
La cinta está dividida en un numero finito de k pistas Máquinas Universal de Turing
hay n cintas diferentes y n cabezas de L/E (Lectura / Escritura) Máquinas de Turing Multicinta
Hay otras definiciones de las máquinas de Turing que son equivalentes. Algunos de esos modelos alternativos son mucho
más complicados aunque todos tienen la misma potencia computacional (o de cálculo). Muchas de ellas dotan de mayor
flexibilidad al diseño de una máquina de Turing que resuelva un problema en particular.
Parcialmente correcto
Puntos para este envío: 0.7/1.
Question 8
Puntos: 1
Acerca del tipo de cadenas que puede aceptar una Máquina de Turing, determine cuál afirmación es válida.
Seleccione una respuesta.
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.
b. Es posible que un lenguaje sea estructurado por frases pero no
exista ninguna máquina de Turing que se detenga exclusivamente
cuando las cadenas escritas en su cinta pertenezcan al lenguaje
c. Una máquina de Turing cuyo estado inicial coincida con el
estado de parada acepta toda cadena
Correcto: Decimos que en la MT se llega al “final de un cálculo”
cuando se alcanza un estado especial llamado halt en el control
finito, como resultado de una transici´on. Representaremos al halt
por “h”
d. Cualquier lenguaje puede ser reconocido por una máquina de
Turing
La MT es un modelo de máquina abstracta, como una extensión de los autómatas finitos, que resultó ser de una gran
simplicidad y poderío a la vez. La máquina de Turing es particularmente importante porque es la m´as poderosa de todas las
máquinas abstractas conocidas
Al dise˜nar una MT que acepte un cierto lenguaje, en realidad dise˜namos el autómata finito que controla la cabeza y la
cinta, el cual es un autómata con salida.
Correcto
Puntos para este envío: 1/1.
Question 9
Puntos: 1
Los PROBLEMAS DE HALTING hacen referencia a: (Seleccione varias opciones).
Seleccione al menos una respuesta.
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) Correcto
b. El problema de “Halting” es el primer problema indecidible mediante maquinas de Turing Correcto
c. El problema de la parada o problema de la detención es de hecho soluble y la Teoría d ela Computación lo definió como tal
Incorrecto
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
máquina abstracta. Incorrecto
Básicamente, Turing definió las bases de las computadoras modernas y planteo un problema sobre ellas, llegando a la
conclusión de que no hay ningún algoritmo que lo resuelva. Es el problema de la detención (Halting problem); el problema de
saber si un problema se cuelga cuando corre en la computadora. Turing demostró que el problema de la detención es
indicidible, es decir, demostró que había problemas que una maquina no podía 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
Puntos para este envío: 1/1.
Question 10
Puntos: 1
Una Máquina 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 símbolo del extremo izquierdo de la
cadena w y ponemos en marcha la máquina a partir de su estado inicial. Para que w sea aceptada se
requiere:
Seleccione una respuesta.
a. Que el estado final contenga la cadena vacía o nula
b. Que se complete un clico así: Inmediatamente después del primer ciclo de lectura del cabezal a
la cinta.
Incorrecto. Pueden haber varios
ciclos.
c. Que la cinta no haya sido inicializada.
d. Si después de una secuencia de movimientos, la Máquina de Turing (mt) llega a un estado final y
para
Por definición, al iniciar la operación 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 más a la izquierda de la cinta.
La palabra de entrada en la MT está escrita inicialmente en la cinta, como es habitual en nuestros autómatas, pero iniciando
a partir de la segunda posición 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 afirmación: “Una máquina de Turing universal es capaz de decidir cualquier lenguaje independiente del contexto.”
Seleccione una respuesta.
a. Sólo es verdadera para lenguajes independientes
del contexto reconocibles mediante autómatas de
pila deterministas
b. Es verdadera solo si la MT tiene un estado
c. Es falsa
d. Es verdadera
Todo lenguaje independiente del contexto es decidible
mediante una máquina de Turing, que puede ser simulada
mediante una máquina de Turing universal.
Esta máquina Universal no debe ser diseñada para realizar un cálculo específico, sino para procesar cualquier
información (realizar cualquier cálculo específico -MT particular- sobre cualquier configuración inicial de entrada
correcta para esa MT particular).
Correcto
Puntos para este envío: 1/1.
Question 2
Puntos: 1
Un problema de decisión (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una
respuesta de tipo “si/no”. Para la Teoría de Lenguajes, un problema de decisión es “insoluble” cuando: (seleccione dos
opciones)
Seleccione al menos una respuesta.
a. Si no se representa con un
diagrama de Moore el problema.
Incorrecto: Los diagramas de Moore y de Transición o la foma como se
represneten los problemas, no tienen nada que ver con la determinaciòn si es
insoluble o no.
b. Si no existe un algoritmo total
para determinar si la propiedad y
objetivo del problema es verdadera.
Correcto:Un problema de decisión 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).
c. Si no existe un procedimiento
efectivo para determinar si la
propiedad es verdadera (no existe
una Máquina de Turing MT).
Correcto: Un problema de decisión 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).
d. Si no se representa con una Tabla
de transiciones el problema.
Incorrecto:Los diagramas de Moore y de Transición o la foma como se
represneten los problemas, no tienen nada que ver con la determinaciòn si es
insoluble o no.
Un problema de decisión (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una
respuesta de tipo “si/no”.
Correcto
Puntos para este envío: 1/1.
Question 3
Puntos: 1
Los ítems que encontrará a continuación constan de una afirmación VERDADERA (tesis) y dos postulados también
VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen
lógicamente de la afirmación y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instrucción:
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 sólo se deduce el postulado II.
Marque D si ninguno de los postulados se deduce de la tesis.
TESIS. Se dice que en la MT se llega al “final de un cálculo” cuando se alcanza un estado especial llamado halt en el
control finito, como resultado de una transición..
POSTULADO I. Al llegar al halt, se detiene la operación de la MT, y se acepta la palabra de entrada..
POSTULADO II. Por ello es que en la MT no hay estados finales.
Seleccione una respuesta.
a. OPCION A Correcto: Deficinicón de MT. Son postulados verdaderos que se deducen de la Tesis
b. OPCION D
c. OPCION B
d. OPCION C
Deficinicón de MT. Son postulados verdaderos que se deducen de la Tesis
Deficinicón de MT. Son postulados verdaderos que se deducen de la Tesis
Correcto
Puntos para este envío: 1/1.
Question 4
Puntos: 1
Este tipo de ítems consta de dos proposiciones así: una Afirmación y una Razón, unidas por la palabra PORQUE. Usted
debe examinar la veracidad de cada proposición y la relación teórica que las une.
Para responder este tipo de ítems, debe leerla completamente y señalar en la hoja de respuesta, la elegida de acuerdo
con las siguientes instrucciones:
Marque A si la afirmación y la razón son VERDADERAS y la razón es una explicación CORRECTA de la afirmación.
Marque B si la afirmación y la razón son VERDADERAS, pero la razón NO es una explicación CORRECTA de la afirmación.
Marque C si la afirmación es VERDADERA, pero la razón es una proposición FALSA.
Marque D si la afirmación es FALSA, pero la razón es una proposición VERDADERA.
La máquina de Alan Turing propuesta en los años 30 se puede considerar como un Autómata PORQUE El modelo de ésta
máquina abstracta es una extensión de los Autómatas Finitos.
Seleccione una respuesta.
a. OPCION C
b. OPCION B
c. OPCION D
d. OPCION A
Correcto: tanto la razón y la afirmación son verdaderas y las razón es una explicación correcta de la
afirmación. Corresponde a la aplicación de las MT
tanto la razón y la afirmación son verdaderas y las razón es una explicación correcta de la afirmación. Corresponde a la
aplicación de las MT
Tanto la razón y la afirmación son verdaderas y las razón es una explicación correcta de la afirmación. Corresponde a la
aplicación de las MT
Correcto
Puntos para este envío: 1/1.
Question 5
Puntos: 1
Los ítems que encontrará a continuación constan de una afirmación VERDADERA (tesis) y dos postulados también
VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen
lógicamente de la afirmación y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instrucción:
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 sólo se deduce el postulado II.
Marque D si ninguno de los postulados se deduce de la tesis.
TESIS: La reducibilidad ha permitido llegar a determinar la indecibilidad en algunos problemas computacionales.
POSTULADO I. Una manera más simple de determinar la indecibilidad es utilizando el método de reducción, el cual está
implícito 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.
Seleccione una respuesta.
a. OPCION A
Correcto: Hace referencia a la reducibilidad de Turing. Los dos postulados se derivan de la Tesis.
Además todos son verdaderos.
b. OPCION D
c. OPCION C
d. OPCION B
Hace referencia a la reducibilidad de Turing. Los dos postulados se derivan de la Tesis. Además todos son verdaderos.
Hace referencia a la reducibilidad de Turing. Los dos postulados se derivan de la Tesis. Además todos son verdaderos.
Correcto
Puntos para este envío: 1/1.
Question 6
Puntos: 1
No hay diferencia alguna entre una Máquina de Turing y una Máquina Universal de Turing PORQUE Las dos hacen
referencia a la misma máquina
Seleccione una respuesta.
a. La Afirmación y la Razón son VERDADERAS pero la Razón NO es una
explicación CORRECTA de la Afirmación
b. La Afirmación y la Razón son VERDADERAS y la Razón es una explicación
CORRECTA de la Afirmación
Incorrecto: Se está hablando de dos
máquinas diferentes.
c. La Afirmación es FALSA, pero la Razón es una proposición VERDADERA
d. La Afirmación es VERDADERA, pero la Razón es una proposición FALSA
La Máquina Universal de Turing no debe ser diseñada para realizar un cálculo específico, sino para procesar cualquier
información (realizar cualquier cálculo específico -MT particular- sobre cualquier configuración inicial de entrada
correcta para esa MT particular).
Incorrecto
Puntos para este envío: 0/1.
Question 7
Puntos: 1
La forma correcta de operar una Máquina de Turing (MT) es:
Seleccione una respuesta.
a. Inicialización de la Máquina / 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
b. Inicialización de la Máquina / Introducir la cadena de entrada en
la cinta / La cinta está en blanco para iniciar / Se posiciona la
cabeza sobre la primera letra de la cadena introducida / Se pone la
unidad de control en el estado inicial
Incorrecto: La operación de la MT consta de los
siguientes pasos: 1. Lee un caracter en la cinta
2. Efectúua una transición de estado 3. Realiza
una acción en la cinta
c. Inicialización de la Máquina / 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
d. Inicialización de la Máquina / 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 máquina de Turing (abreviado MT) tiene, como los autómatas 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, llenándose 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 ejecución. Además, 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
Puntos para este envío: 0/1.
Question 8
Puntos: 1
Los ítems que encontrará a continuación constan de una afirmación VERDADERA (tesis) y dos postulados también
VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen
lógicamente de la afirmación y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instrucción:
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 sólo se deduce el postulado II.
Marque D si ninguno de los postulados se deduce de la tesis.
TESIS: La máquina de Turing es una máquina abstracta que se comporta como una extensión de los autómatas finitos,
que resultó ser de una gran simplicidad y poderío a la vez.
POSTULADO I. La máquina 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 máquina de Turing es particularmente importante porque es la más poderosa de todas las máquinas
abstractas conocidas.
Seleccione una respuesta.
a. OPCION C
b. OPCION D
c. OPCION A Incorrecto
d. OPCION B
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
Puntos para este envío: 0/1.
Question 9
Puntos: 1
Asocie correctamente las teorías o trabajos en automatización que estos autores trabajaron y fueron relevantes para
determinar y apoyar el estudio de AUTOMATA SY LENGUAJES FORMALES.
Inición con mostrar la existencia de problemas indecidibles HALTING
Procuró conseguir un modelo matemático formal, completo y consistente, en el que a través de un
algoritmo, se pudiese determinar la veracidad o falsedad de cualquier proposición formal HILBERT
Definió las bases de las computadoras modernas y planteo un problema sobre ellas, llegando a la
conclusión de que no hay ningún algoritmo que lo resuelva. TURING
Primer problema indecidible mediante maquinas de Turing CHURCH
El origen de los modelos abstractos de computación se encuadra en los años '30 (antes de que existieran los
ordenadores modernos), para el trabajo de los lógicos Alonzo Church, Kurt Gödel, Stephen Kleene, Emil Leon Post, y
Alan Turing. Estos trabajos iniciales han tenido una profunda influencia, tanto en el desarrollo teórico como en
abundantes aspectos de la práctica de la computación; previendo incluso la existencia de ordenadores de propósito
general, la posibilidad de interpretar programas, la dualidad entre software y hardware, y la representación de lenguajes
por estructuras formales basados en reglas de producción.
Parcialmente correcto
Puntos para este envío: 0.5/1.
Question 10
Puntos: 1
Una de las siguientes afirmaciones es verdadera selecciónela:
Seleccione una respuesta.
a. Dada una máquina de Turing, existe una gramática estructurada
por frases que genera el mismo lenguaje que acepta el autómata si
y sólo si la máquina es determinista.
b. La tesis de Turing implica que para todo lenguaje existe una
máquina de Turing que lo acepta, ya sea el alfabeto finito o infinito.
c. La tesis de Turing no implica que los lenguajes más generales que
existan sean los lenguajes estructurados por frases.
Existen lenguajes no computables, que no son
estructurados por frases y que ninguna
máquina de Turing acepta.
Correcto
Puntos para este envío: 1/1.
Question 11
Puntos: 1
Indique cuál de las siguientes afirmaciones es verdadera o aplica al diseño y construcción de las Máquinas de Turing
(MT).
Seleccione una respuesta.
a. Es posible diseñar una máquina de Turing de
tres cintas que reconozca tres lenguajes.
En realidad, con una única máquina de Turing, ya sea de una o
varias cintas, determinista o no determinista, es posible reconocer
un número indefinido de lenguajes (imagine, p.e., una máquina
formada componiendo varias máquinas de Turing M i que
reconocen respectivos lenguajes L i mediante mensajes de
aceptación que identifican al lenguaje). Las cadenas que llevan a la
máquina a un bucle de ejecución infinita no pueden ser
reconocidas, ya que es imposible determinar si la ejecución va a
terminar o no en algún momento (es el problema de los lenguajes
no decidibles).
b. Con una única máquina de Turing, ya sea de
una o varias cintas, determinista o no
determinista, sólo es posible reconocer un
lenguaje
c. Con una única máquina 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 máquina a un bucle de ejecución
infinita.
Al diseñar una MT que acepte un cierto lenguaje, en realidad diseñamos el autómata finito que controla la cabeza y la
cinta, el cual es un autómata con salida Así, podemos usar la notación gráfica utilizada para aquellos autómatas para
indicar su funcionamiento
Correcto
Puntos para este envío: 1/1.
Question 12
Puntos: 1
En una Máquina de Turing la cabeza lectora es de Escritura y Lectura debido a que:
Seleccione una respuesta.
a. Se lee un Carácter en la
Cinta.
b. La cabeza se mueve
Unidireccionalmente.
c. La cinta puede ser
modificada en curso de
ejecución.
Respuesta Correcta. La palabra de entrada en la MT está escrita inicialmente en la
cinta, como es habitual en nuestros autómatas, pero iniciando a partir de la segunda
posición 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.
Al diseñar una MT que acepte un cierto lenguaje, en realidad diseñamos el autómata finito que controla la cabeza y la
cinta, el cual es un autómata con salida Así, podemos usar la notación gráfica utilizada para aquellos autómatas para
indicar su funcionamiento
Correcto
Puntos para este envío: 1/1.
Question 13
Puntos: 1
Seleccione cuál de las siguientes situaciones no es posible cuando una máquina de Turing determinista examina una
cadena:
Seleccione una respuesta.
a. La máquina abandona los cálculos por no encontrar
ninguna transición aplicable
Puesto que la máquina es determinista,
necesariamente encuentra siempre una transición
aplicable.
b. Se produce una terminación anormal (es decir, la cabeza
lectora se desplaza a la izquierda de la primera celda de la
cinta)
c. La máquina no se detiene nunca.
Ya que cualquier máquina de Turing determinista es también no determinista, es lógico que una máquina de Turing
determinista se pueda simular mediante una no determinista. También una máquina de Turing determinista puede
simular una no determinista. Por tanto, no se gana ninguna potencia adicional a causa del no determinismo.
Correcto
Puntos para este envío: 1/1.
Question 14
Puntos: 1
La maquina de Turíng opera cíclicamente dado que:
Seleccione una respuesta.
a. Al comienzo de un ciclo se parte de una
determinada configuración.
Respuesta Correcta. Se debe definir la configuración inicial
para iniciar el ciclo de trabajo
b. Una instrucción viene representada por un
quíntupla.
c. La cabeza puede leer y escribir en un mismo
carácter.
d. Comienza por una palabra de entrada.
Esta máquina Universal no debe ser diseñada para realizar un cálculo específico, sino para procesar cualquier
información (realizar cualquier cálculo específico -MT particular- sobre cualquier configuración inicial de entrada
correcta para esa MT particular).
Correcto
Puntos para este envío: 1/1.
Question 15
Puntos: 1
Dependiendo de los diferentes tipos de Máquinas de Turing (MT), estas se comportan de manera diferenete en la
solución de problemas. para una MT MULTIPISTA, indique una propiedad válida de esta.
Seleccione una respuesta.
a. En esta MT no se inicializan las cintas por que
tienen muchas pistas.
b. La cinta esta dividida en un número finito de k
pistas
c. La cinta está en un número infinito de k pistas.
Por eso es MULTIPISTA
Incorrecto:En el modelo multipista, la cinta está dividida en
un número FINITO de k pistas.
d. Al haber varias pistas, requiere de más estados de
transición
Hay ciertos modelos de computación relacionados con las máquinas de Turing, que poseen el mismo potencial como
reconocedores de lenguajes que el modelo básico. Dentro de esas modificaciones, una muy particular es la MULTIPISTA
que resulta muy efectiva para solución d eproblemas extensos.