CUESTIONARIOS CORREGIDOS AUTOMATAS

PRESABER

1

Puntos: 1

De un Lenguaje Libre de Contexto podemos afirmar que es:

Seleccione una respuesta.

a. Es lo mismo que decir un 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:


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


Question 3

Puntos: 1

Cuál de las siguientes cadenas corresponde con un Lenguaje Regular:


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


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:


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


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


Question 6

Puntos: 1

Los bloques constructores de lenguajes son:


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).


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


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.


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


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


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


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:


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


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:


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 :


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.



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:


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


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.



Question 4

Puntos: 1

Que representa la siguiente figura:


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


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.


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


Question 6

Puntos: 1

El número mínimo de estados de un autómata finito no determinista es:


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


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.


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


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.


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


Question 9

Puntos: 1

Acerca de la Equivalencia de AFD Y AFN es válido afirmar.


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


Question 10

Puntos: 1

En un autómata Finito Determinista (AFD), Es válido afirmar que :


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}.


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


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:


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).






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, σ)






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


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)


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


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


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


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


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



c. Este Lenguaje tiene cadenas finitas

Incorrecto: Este lenguaje {0,1} tiene cadenas infinitas



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



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


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 :


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


Question 7

Puntos: 1








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.


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


Question 8

Puntos: 1

Los Automatas finitos no Deterministicos tienen las caracteristicas de:


a. Las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacia.

b. Las transiciones no tengan como etiqueta palabras de varias letras o hasta la palabra vacia.

c. Permitir que de cada nodo del diagrama de estados salga un numero de flechas mayor o menor.

d. No permitir que cada nodo del diagrama de estados salga un numero de flechas mayor o menor.

Correcto


Question 9

Puntos: 1

Teniendo en cuenta que podemos definir un 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:


a. Procesadores de texto Respuesta Incorrecta

b. Lenguajes de Programación

c. Aplicaciones de Computador

d. Compiladores

Incorrecto


Question 10

Puntos: 1

Los autómatas finitos no Determinísticos o no deterministas tienen las características de:

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


Question 11

Puntos: 1

Acorde al siguiente diagrama de Moore. Identifique que expresión representa:


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


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


Question 13

Puntos: 1

El nombre "finito" en un Autómata, se justifica por una de las siguientes afirmaciones. Seleccione una.


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


Question 14

Puntos: 1

Una de las siguientes afirmaciones NO aplica a los lenguajes que reconocen un autómata. Identifíquela


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


Question 15

Puntos: 1

Los automatas se pueden representar mediante:


a. El conjunto de entradas de una maquina de turing

b. El conjunto de tablas representativas

c. Tablas de transiciones

d. Diagrama de moore

RECONOCIMIENTO II

1

Puntos: 1

Las gramáticas del siguiente ejercicio, tienen dos particularidades que son válidas afirmarlas:


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


Question 2

Puntos: 1

Una pila es un dispositivo de almacenamiento que sigue el principio de


a. El último en entrar el primero en salir

b. El último en entrar el último en salir

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


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


Question 4

Puntos: 1

Seleccione los componentes de los Arboles de Derivación:


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.




ese no terminal.




ese no terminal.

Correcto


Question 5

Puntos: 1

Qué son los Arboles de Derivación ?


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


Question 6

Puntos: 1

Qué es un Lenguaje Libre de Contexto ?


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.


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


Question 2

Puntos: 1

Para que una palabra de entrada sea aceptada en un AP se deben cumplir las condiciones siguientes:


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ñ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 qué recuerda cada cual.

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 qué recuerda cada cual.

Correcto


Question 3

Puntos: 1

Respecto a la relación entre un AF y un AP cuál afirmación es cierta:


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


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


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


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


Question 6

Puntos: 1

Cuando se trabajan Autómatas de Pila (AP) ó (PD) es válido afirmar:


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ño 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ño 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án encima de ellos.

Correcto


Question 7

Puntos: 1

Marque la notación más frecuentemente utilizada para expresar gramáticas libres de contexto.


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


Question 8

Puntos: 1

Respecto a los Autómatas de Pila es válido afirmar:


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


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.


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


Question 10

Puntos: 1

Acerca del siguiente AP que afirmaciones son válidas:


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:


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


Question 2

Puntos: 1

Cual de las siguientes afirmaciones es VERDADERA


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


Question 3

Puntos: 1

Qué son los árboles de derivación


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


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


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


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


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


Question 6

Puntos: 1

Una tabla de Transiciones que permite representar un Autómata tiene tantas columnas como:


a. Estados

b. Salidas

c. Entradas Respuesta Correcta

d. Elementos del Lenguaje

Correcto


Question 7

Puntos: 1

De los siguientes elementos, uno no es un componente de un árbol de derivación:


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.


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


Question 8

Puntos: 1

Cual de las siguientes afirmaciones se asocia correctamente al diseño y funcionamiento de los árboles de derivación.


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




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


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


a. No existen problemas de éste tipo

b. Problemas decidibles

c. Problemas Infinitos

d. Problemas indecidibles

Correcto


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


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


Question 11

Puntos: 1

Qué son los Arboles de Derivación ?


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




llaman “arbol de derivación” o “árbol de análisis”.

Correcto


Question 12

Puntos: 1

Seleccione los componentes de los árboles de derivación:


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



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


Question 13

Puntos: 1

De las siguientes proposiciones, seleccione la que es FALSA.


a. Mediante automatas de pila de 2 pilas podria reconocerse un mayor numero de lenguajes

que mediante los usuales automatas de una sola pila. En cada transicion, el automata podria

almacenar y leer datos de dos pilas distintas.

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


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


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


Question 15

Puntos: 1

Un autómata de pila por definición tiene las siguientes características:

Debe seleccionar más de 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:


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áquina de Turing es particularmente importante porque es la más poderosa de todas las máquinas 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


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


Question 3

Puntos: 1

Cuál de las siguientes proposiciones es FALSA con respecto a las Máquinas de Turing


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


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.


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


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ΔΔΔ


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


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:





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.


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:


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).



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


Question 3

Puntos: 1

Si iniciamos la máquina de Turing siguiente con la cadena yyxyxx


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


Question 4

Puntos: 1

Cuál de las siguientes apreciaciones no aplica para el funcionamiento de la Máquina de Turing (MT).


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


Question 5

Puntos: 1

Una de las siguientes afirmaciones corresponde correctamente al concepto de Alan Turing.


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


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:


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


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.



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.


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ás poderosa de todas las

máquinas abstractas conocidas

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.

Correcto


Question 9

Puntos: 1

Los PROBLEMAS DE HALTING hacen referencia a: (Seleccione varias opciones).


a. Equivale a construir un programa que te diga si un problema de ordenador finaliza alguna vez o no (entrando a un bucle

infinito, por ejemplo) 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


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:


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.”


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


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)


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


Question 3

Puntos: 1








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.


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


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:





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.


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


Question 5

Puntos: 1








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.


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


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


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



Incorrecto


Question 7

Puntos: 1

La forma correcta de operar una Máquina de Turing (MT) es:


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


Question 8

Puntos: 1








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.


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


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.



Question 10

Puntos: 1

Una de las siguientes afirmaciones es verdadera selecciónela:


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


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).


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


Question 12

Puntos: 1

En una Máquina de Turing la cabeza lectora es de Escritura y Lectura debido a que:


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


Question 13

Puntos: 1

Seleccione cuál de las siguientes situaciones no es posible cuando una máquina de Turing determinista examina una

cadena:


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


Question 14

Puntos: 1

La maquina de Turíng opera cíclicamente dado que:


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



Correcto


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.


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.

CUESTIONARIOS CORREGIDOS AUTOMATAS

Documents

Transcript of CUESTIONARIOS CORREGIDOS AUTOMATAS