CUESTIONARIOS CORREGIDOS AUTOMATAS

November 30, 2017 | Author: Natalia-Manuel Solorzano Chavarro | Category: Computability Theory, Programming Language, Algorithms, Theory, Theoretical Computer Science
Share Embed Donate


Short Description

Download CUESTIONARIOS CORREGIDOS AUTOMATAS...

Description

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 Correcto: (gramáticas libres del contexto) generan los lenguajes independientes del contexto.

de contexto d. Es un lenguaje regular

(gramáticas libres del contexto) generan los lenguajes independientes del contexto. Consideramos entonces los lenguajes libres (independientes) del contexto, y las gramáticas libres del contexto y los autómatas con pila, como forma de caracterizarlos y manejarlos. Los distintos lenguajes formales que se pueden construir sobre un alfabeto concreto pueden clasificarse en clases cada vez más amplias que incluyen como subconjunto a las anteriores, de acuerdo con la jerarquía establecida por Chomsky en los años 50. Correcto Puntos para este envío: 1/1. Question 2 Puntos: 1 La evolución de las máquinas (computadoras9 obedece principalmente a: Seleccione una respuesta. a. Su aplicación para resolver problemas de contexto en lenguajes d eprogramación

Incorrecto

b. Su aplicación para resol ver problemas de Turing c. Su aplicación para resolver problemas infinitos y complejos d. Su aplicación para resolver problemas científicos. Un aspecto importante en el desarrollo de los computadores, es sin duda, su aplicación para resolver problemas científicos y empresariales Incorrecto Puntos para este envío: 0/1. Question 3 Puntos: 1 Cuál de las siguientes cadenas corresponde con un Lenguaje Regular: Seleccione una respuesta. a. {abababab} b. {aaababaa} c. {abca}

Incorrecto: Los lenguajes regulares se llaman así porque sus palabras contienen regularidades o repeticiones.

d. {abaabbb} Los lenguajes regulares se llaman así porque sus palabras contienen regularidades o repeticiones. Los lenguajes regulares se llaman así porque sus palabras contienen regularidades o repeticiones. Incorrecto Puntos para este envío: 0/1.

Question 4 Puntos: 1 Si L es un Lenguaje sobre el Alfabeto A entonces En el lenguaje generado por la expresión L+ se aceptan cadenas: Seleccione una respuesta. a. Toda la combinación de cadenas posibles menos la vacía. b. Ninguna combinación posible diferente a las de longitud mayor o igual a uno. c. Todas las combinaciones posibles menos la de longitud 1 d. Todas las combinacione sposibles incluyendo la vacía.

Incorrecto: La operación + excluye la cadena vacía únicamente.

Es una expresión que denota todas las posibles combinaciones de símbolos para formar cadenas o palabras excluyendo la cadena vacía. Es una expresión que denota todas las posibles combinaciones de símbolos para formar cadenas o palabras excluyendo la cadena vacía. Incorrecto Puntos para este envío: 0/1. Question 5 Puntos: 1 Cuáles de los siguientes elementos son necesarios para conocer el estado de un Autómata en un momento dado. Seleccione al menos una respuesta. a. Lenguaje que reconoce el autómata.

Incorrecto: El lenguaje que reconoce el autómata es independiente del número de estados.

b. Alfabeto

Incorrecto: El alfabeto es indiferente a determinar el estado de un autómata.

c. Estado Finito

Incorrecto. El estado de un autómata es toda la información necesaria en un momento dado

d. Símbolo de Entrada e. Cadena aceptada f. Lenguaje

g. Símbolo de salida h. Cadena rechazada

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 Incorrecto: Las cadenas o palabras no determinan el estado actual del autómata. El lenguaje es una característica propia del Autómata. No tiene nada que ver con identificar el estado actual del autómata. 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 Incorrecto: Las cadenas rechazadas no pueden determinar el estado actual de un Autómata.

Se define configuración de un autómata a su situación en un instante. Se define movimiento de un autómata como el transito entre dos configuraciones. Si un autómata se encuentra en un estado determinado, recibe un símbolo también determinado, producirá un símbolo de salida y efectuará un cambio o transición a otro estado (también puede quedarse en el mismo estado). Conocer el estado de un autómata, es lo mismo que conocer toda la historia de símbolos de entrada, así como el estado inicial, estado en que se encontraba el autómata al recibir el primero de los símbolos de entrada. El autómata tendrá un determinado número de estados (pudiendo ser infinitos), y se encontrará en uno u otro según sea la historia de símbolos que le han llegado. Correcto Puntos para este envío: 1/1. Question 6 Puntos: 1 Los bloques constructores de lenguajes son:

Seleccione una respuesta.

a. Gramática

Una gramática es aplicable a un Lenguaje. El bloque más sencillo de construcción de Lenguajes es el Alfabeto.

b. Cadenas o Palabras c. Jerarquía de Chomsky

d. Símbolo e. Alfabeto El bloque más sencillo de construcción de Lenguajes es el Alfabeto. El bloque más sencillo de construcción de Lenguajes es el Alfabeto.

RECONOCIMIENTO I 1 Puntos: 1 Los lenguajes aceptados por los autómatas finitos son fácilmente descritos por expresiones simples llamadas expresiones regulares quienes les dan el nombre de conjuntos regulares a dichos lenguajes. Estas características son definidas también por el tipo de gramática. Un concepto claro y ordenado de estos conceptos es: (seleccione solo una opción). Seleccione una respuesta. a. Los autómatas no pueden describir el comportamiento de otras máquinas o sistemas. ya que son únicos para cada algoritmo, es decir desarrollan su propio problema.

b. Los autómatas pueden usarse para reconocer lenguajes. Es decir, para leer cadenas (secuencias de símbolos) sin importar si pertenecen o no a un lenguaje. Son máquinas poderosas que automatizan procesos y combinan lenguajes. c. Los autómatas finitos son capaces de reconocer diferentes tipos de lenguajes, que pueden ser caracterizados también, mediante diferentes tipos de gramáticas para un solo lenguaje. d. Una forma adicional de caracterizar los lenguajes

Correcto: Estas caracterizaciones de los lenguajes regulares se utilizan en

regulares, es mediante las llamadas expresiones regulares, la práctica, según que la situación concreta esté favorecida por la forma de que son las frases del lenguaje, construidas mediante

describir el lenguaje de cada una de ellas. Los autómatas finitos se utilizan

operadores sobre el alfabeto del mismo y otras

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

expresiones regulares, incluyendo el lenguaje vacío

un analizador en la traducción de algoritmos al computador.

Estas caracterizaciones de los lenguajes regulares se utilizan en la práctica, según que la situación concreta esté favorecida por la forma de describir el lenguaje de cada una de ellas. Los autómatas finitos se utilizan generalmente para verificar que las cadenas pertenecen al lenguaje, y como un analizador en la traducción de algorítmos al computador. Estas caracterizaciones de los lenguajes regulares se utilizan en la práctica, según que la situación concreta esté favorecida por la forma de describir el lenguaje de cada una de ellas. Los autómatas finitos se utilizan generalmente para verificar que las cadenas pertenecen al lenguaje, y como un analizador en la traducción de algorítmos al computador. Correcto Puntos para este envío: 1/1.

Question 2 Puntos: 1

Un diagrama de Moore o de Transición de Estados representa una abstracción de un modelo matemático de un Autómata, siendo análogo a ____________, que representa la abstracción de una Máquina usada en procesos automatizados. Seleccione una respuesta.

a. El plano del diseño de la máquina

Correcto: Los diagramas de Moore son otra forma de representar las funciones de transición y salida de un autómata.

b. Las características técnicas de la Máquina c. La instrucciones de operación de la Máquina d. Las características de color de la máquina El diagrama de Moore es un grafo orientado en el que cada nodo corresponde a un estado Los diagramas de Moore son otra forma de representar las funciones de transición y salida de un autómata. Correcto Puntos para este envío: 1/1. Question 3 Puntos: 1

Los lenguajes se pueden clasificar según el tipo de dispositivos de aceptación y generación que existen para ellos. Con respecto a esto, asocie correctamente los siguientes textos: Alfabeto

Conjunto de palabras o sentencias formadas sobre un alfabeto.

Los mecanismos de aceptación de los lenguajes regulares y de los lenguajes

el diseño de los analizadores léxicos y sintácticos de los compiladores.

libres de contexto forman la base para Los dispositivos de generación de los lenguajes regulares y de los lenguajes

la sintaxis de los lenguajes de programación.

libres de contexto, son ampliamente usados como modelos para expresar la Lenguaje

Conjunto finito no vacío de elementos.

Informalmente, el término lenguaje formal se utiliza en muchos contextos (en las ciencias, en derecho, etc.) para referirse a un modo de expresión más cuidadoso y preciso que el habla cotidiana. Hasta finales de la década de 1990, el consenso general era que un lenguaje formal, era en cierto modo la versión «límite» de este uso antes mencionado: un lenguaje tan formalizado que podía ser usado en forma escrita para describir métodos computacionales. Sin embargo, hoy en día, el punto de vista de que la naturaleza esencial de los lenguajes naturales (sin importar su grado de «formalidad» en el sentido informal antes descrito) difiere de manera importante de aquella de los verdaderos lenguajes formales, gana cada vez más adeptos. Parcialmente correcto Puntos para este envío: 0.5/1. Question 4 Puntos: 1

La “Teoría de Lenguajes”, define bloques constructores de lenguaje. El bloque más sencillo es el alfabeto. De las siguientes afirmaciones cuales definen o son verdaderas con respecto a un “alfabeto” Pueden haber varias opciones válidas Seleccione al menos una respuesta. a. Los símbolos pueden ser nombres.

Correcto

b. Los alfabetos son finitos.

Correcto

c. Por símbolo, no se está haciendo referencia a un solo carácter.

Correcto

d. { α , α , …, α } Es un ejemplo de alfabeto. Lenguaje Formal: Un alfabeto es un conjunto finito de símbolos. De esta definición se debe resaltar lo siguiente. (1) Los alfabetos son finitos. (2) Por símbolo no se está esta haciendo referencia a un sólo carácter. Los símbolos pueden ser nombres. Todas las respuestas son verdaderas. Lenguaje Formal: Un alfabeto es un conjunto finito de símbolos. De esta definición se debe resaltar lo siguiente. (1) Los alfabetos son finitos. (2) Por símbolo no se está esta haciendo referencia a un sólo carácter. Los símbolos pueden ser nombres. Todas las respuestas son verdaderas. Correcto Puntos para este envío: 1/1. Question 5 Puntos: 1

1. Se denomina cadena, palabra o frase a una secuencia finita de símbolos de un alfabeto ∑. Estas cadenas son denotadas como w. Dado el siguiente autómata finito determinístico (AFD) A = (Q, ∑, f, q0, F) donde: Q es un conjunto de estados. ∑ es el alfabeto de entrada f: Q X ∑ → Q es la función (total) de transición. q0 pertenece Q es el estado inicial. F incluye Q es el conjunto de estados finales.

Y que para el ejercicio ∑ = {a,b} Q ={ q0, q1} F = {q1} se representa mediante el siguiente diagrama de Moore:

El conjunto de palabras aceptadas por este autómata son:

Seleccione una respuesta. a. Todas las palabras que terminan en dos a´s b. {w a | w ϵ {a,b} potencia 2 } c. Todas las palabras que terminan en a y que estén precedidas por una b d. {w a | w ϵ {a,b}* }

Correcto: El conjunto de palabras aceptadas por este autómata son la palabras que terminan en a.

El conjunto de palabras aceptadas por este autómata son la palabras que terminan en a. El conjunto de palabras aceptadas por este autómata son la palabras que terminan en a. Correcto Puntos para este envío: 1/1. Question 6 Puntos: 1

Se construyó el siguiente autómata finito M para que cumpliera:

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

Pero no fue válido por que:

Seleccione una respuesta. a. No acepta las cadenas {xyz} {yz} {xxxy} b. No acepta las cadenas {x} {xxxzzz} {z} c. Acepta solo las cadenas que combinen los elementos {x,z} del alfabeto d. Tiene dos estados de aceptación o finales

Incorrecto: El hecho que el Autómata tenga dos estados finales no lo clasifica como no válido. Se está evaluando es la ER que reconoce.

El hecho que el Autómata tenga dos estados finales no lo clasifica como no válido. Se está evaluando es la ER que reconoce. La configuración de un autómata finito (sin importar el tipo) en cierto instante viene dada por el estado del autómata en ese instante y por la porción de cadena de entrada que le queda por leer o procesar. La porción de cadena leída hasta llegar al estado actual no tiene influencia en el comportamiento futuro de la máquina. En este sentido podemos decir que un AF es una máquina sin memoria externa; son los estados los que resumen de alguna forma la información procesada.

LECCION I 1 Puntos: 1

Los autómatas y su definición se pueden representar mediante : Seleccione al menos una respuesta.

a. Tabla de transiciones

Correcto: Se pueden identificar estados, transiciones y desde allí se puede identificar las cadenas válidas.

b. Descripción matemática de la función de transición c. El conjunto de tablas representativas d. Diagramas de Moore

Correcto: Los diagramas de Moore son otra forma de representar las funciones de transición y salida de un autómata.

La palabra autómata evoca algo que pretende imitar las funciones propias de los seres vivos, especialmente relacionadas con el movimiento. Se pueden represnerar o definir mediante las tablas de transición, Diagramas de Moore, La función de transición. Parcialmente correcto Puntos para este envío: 0.7/1. Question 2 Puntos: 1 Cuando se define un autómata finito se puede construir o recrear mediante las tablas de transiciones. Al respecto indique cuál afirmación respecto a la creación de tablas de transición es válida: Seleccione una respuesta. a. La fila i representa los estados. Las columnas j representan los símbolos. Cada celda (i,j) los Correcto. Esto es lo mismo que posibles estados que alcanza el diagrama de transiciones cuando se encuentra en el estado i y describir el diagrama de transiciones lee el símbolo j.” 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

completo.

primera celda (i,j) de la tabla. d. El estado final en una tabla de transición se identifica mediante el símbolo de interrogación. este puede ubicarse en cualquier celada (i,j) Tabla de transiciones. Las funciones f y g pueden representarse mediante una tabla, con tantas filas como estados y tantas columnas como entradas Tabla de transiciones. Las funciones f y g pueden representarse mediante una tabla, con tantas filas como estados y tantas columnas como entradas Correcto Puntos para este envío: 1/1. Question 3 Puntos: 1 Asocie correctamente los elementos de una tupla de un Autómata Expresión Regular

F

Suele describirse al estado final o de aceptación

Q

Así se le llama a la cadena vacía

lambda

Suele ser el estado inicial

q0

Conjunto de estados posibles

ER

Un autómata es una quíntupla A = (E, S, Q, f, g ) donde : E = {conjunto de entradas o vocabulario de entrada} S = {conjunto de salidas o vocabulario de salida} Q = {conjunto de estados} E es un conjunto finito, y sus elementos se llaman entradas o símbolos de entrada. S es un conjunto finito, y sus elementos se llaman salidas o símbolos de salida. Q es el conjunto de estados posibles, puede ser finito o infinito. Parcialmente correcto Puntos para este envío: 0.4/1. Question 4 Puntos: 1

Que representa la siguiente figura:

Seleccione una respuesta. a. No representa un autómata válido por que el mismo estado inicial es el mismo estado final. b. Un Autómata que acepta palabras o cadenas que contienen únicamente b´s c. No representa un autómata válido por que tiene un solo estado. d. Un Autómata de tipo AFND válido

Correcto: Es una extensión válida de un AFD.

Es un Autómata Finito No Determinístico (AFND) válido. Es una extensión válida de un AFD. Permite que de cada nodeo del diagrama de estados salga un número de flechas mayor o menor que |∑| Es un Autómata Finito No Determinístico (AFND) válido. Es una extensión válida de un AFD. Permite que de cada nodeo del diagrama de estados salga un número de flechas mayor o menor que |∑| Correcto Puntos para este envío: 1/1. Question 5 Puntos: 1

Teniendo en cuenta la Teoría de los Autómatas y Lengujaes Formales, y los diferentes Modelos de Computación, identifique los postulados válidos y relevantes cuando se habla de de AUTOMATAS. Seleccione al menos una respuesta. a. El propósito inicial de la automatización es hacer precisa la noción intuitiva de función calculable; esto es, una función cuyos valores pueden ser calculados de forma automática o efectiva mediante un algoritmo, y construir modelos teóricos para ello (de computación).

Esta búsqueda de automatización fue uno de los principios por lo que se desarrollaron muchas teorías de computación automática.

b. La teoría de la computabilidad puede caracterizarse, desde el punto de

Respuesta Correcta: Los modelos abstractos de

vista de las Ciencias de la Computación es la búsqueda de métodos

computación tienen su origen en los años 30, bastante

automáticos de cálculo. El primer paso de esta búsqueda está en el estudio

antes de que existieran los computadores modernos, en el

de los modelos de computación. Los comienzos de la Teoría. La Tesis de

trabajo de los lógicos Church, Gödel, Kleene, Post, y

Church-Turing

Turing.

c. La Teoría de Conjuntos es de importancia y es un prerrequisito en el

Correcto, la Teoría de Conjuntos es importante en el

estudio de la Teoría de los Autómatas y Lengujaes Formales

estudio de los Autómatas

d. Un aspecto importante en el desarrollo de los computadores, es sin duda, su aplicación para guardar información.

Incorrecto: Un aspecto importante en el desarrollo de los computadores, es sin duda, su aplicación para resolver problemas científicos y empresariales.

Resolver estos problemas mediante una sucesión de pasos claros, concretos y sencillos, es decir algoritmos. El avance de las matemáticas permite la utilización de nuevas metodologías para la representación y manejo de la información. Las máquinas abstractas "Autómatas" contribuyen a este avance cientísifco. El estudio de los Autómatas y su aplicabilidad tiene como intento de los matemáticos y científicos para obtener un procedimiento general para resolver cualquier problema (matemático) claramente formulado. Es lo que podríamos llamar El problema de la computación teórica. El avance de la tecnología y de las matemáticas, y más en concreto de la teoría de conjuntos y de la lógica, permiten plantearse aspectos de la computación en 3 caminos. Correcto Puntos para este envío: 1/1. Question 6 Puntos: 1 El número mínimo de estados de un autómata finito no determinista es: Seleccione una respuesta. a. Dos b. No hay número mínimo c. Depende del alfabeto sobre el que está definido. d. Uno

Correcto: Un solo estado es suficiente para repesentar una máquina SFND si así fuese su diseño. En este caso el mismo estado inicial es el final.

Hacemos notar en este punto que, dado que los AFN tienen menos restricciones que los AFD, resulta que los AFD son un caso particular de los AFND, por lo que todo AFD es de hecho un AFND. Un solo estado es suficiente para representar esta máquina si así se diseñara. (AFND) Una extensión a los autómatas finitos deterministas es la de permitir que de cada nodo del diagrama de estados salga un número de flechas mayor o menor que Así, se puede permitir que falte la flecha correspondiente a alguno de los símbolos del alfabeto, o bien que haya varias flechas que salgan de un solo nodo con la misma etiqueta. Inclusive se permite que las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacía. A estos autómatas finitos se les llama no Determinísticos o no deterministas (abreviado AFND), Al retirar algunas de las restricciones que tienen los autómatas finitos Determinísticos, su diseño para un lenguaje dado puede volverse más simple. Correcto Puntos para este envío: 1/1. Question 7 Puntos: 1 Sea el autómata A = (∑, Q, f, q1, F) donde

∑ ={a,b}, Q = {q1, q2, q3, q4}, F= { q4} y la función f vienen dada por la siguiente tabla:

Determine qué aspectos son válidos para el autómata. Seleccione al menos una respuesta. a. Es un Autómata Finito Determinístico con lambda transiciones b. Es un Autómata Finito Determinístico (AFD) c. El lenguaje reconocido por el autómata es: a (b* | a* ) ba*

d. El lenguaje reconocido por el autómata es: a (b*b | a*b) a*

Incorrecto: No solo hay transiciones Lambda Incorrecto:Se debe tener en cuenta la propiedad de "determinístico o no determinístico" Correcto. Esta ER es válida

Correcto. Esta ER es válida

Es un AFND. El lenguaje que reconoce es : a (b*b | a*b) a* o también a (b* | a* ) ba* para efectos de mejor comprensión, hay que recrear o realizar el autómata mediante un diagrama de Moore Es un AFND. El lenguaje que reconoce es : a (b*b | a*b) a* o también a (b* | a* ) ba* para efectos de mejor comprensión, se debe escojer una cadena válida y compararla con la ER. Correcto Puntos para este envío: 1/1. Question 8 Puntos: 1

Se diseña el siguiente Autómata Finito Deterministico (AFD) para el lenguaje de palabras del alfabeto {a,b} que no tiene varias a´s seguidas. Esta solución es defectuosa porque.

Seleccione al menos una respuesta.

a. Hay palabras como “baa”, que tiene a´s seguidas y sin embargo son aceptadas por el AFD. b. Tiene dos finales o de aceptación q1 y q2 . 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. Incorrecto: Los dos estados finales no son errores de diseño. 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

Incorrecto: esta regularidad no es error de diseño del AF.

alfabeto dado. El "problema de diseño" de un AFD es considerar demasiadas posibilidades. El hecho que tenga dos estados finales o de aceptación no es problema y es válido en el diseño. La palabra "baba" No es aceptada por el autómata aunque sus elementos o símbolos si hacen parte del alfabeto que las compone. El "problema de diseño" de un AFD es considerar demasiadas posibilidades. El hecho que tenga dos estados finales o de aceptación no es problema y es válido en el diseño. La palabra "baba" No es aceptada por el autómata aunque sus elementos o símbolos si hacen parte del alfabeto que las compone. Correcto Puntos para este envío: 1/1. Question 9 Puntos: 1 Acerca de la Equivalencia de AFD Y AFN es válido afirmar. Seleccione una respuesta. a. Para covertir u AFD a u AFND, el AFD debe tener menos estados que el AFND b. Todo Autómata por defecto es No determinístico c. Los autómatas finitos determinísticos (AFD) son un subconjunto propio de los no determinísticos (AFN)

Correcto.

d. Todo Autómata por defecto es Determinístico. Los autómatas finitos determinísticos (AFD) son un subconjunto propio de los no determinísticos (AFN), lo que quiere decir que todo AFD es un AFN. Podría entonces pensarse que los AFN son “más poderosos” que los AFD, en el sentido de que habría algunos lenguajes aceptados por algún AFN para los cuales no habría ningún AFD que los acepte. Sin embargo, en realidad no sucede así. Los autómatas finitos determinísticos (AFD) son un subconjunto propio de los no determinísticos (AFN), lo que quiere decir que todo AFD es un AFN. Podría entonces pensarse que los AFN son “más poderosos” que los AFD, en el sentido de que habría algunos lenguajes aceptados por algún AFN para los cuales no habría ningún AFD que los acepte. Sin embargo, en realidad no sucede así. Correcto Puntos para este envío: 1/1. Question 10 Puntos: 1

En un autómata Finito Determinista (AFD), Es válido afirmar que : Seleccione una respuesta. a. El nombre “determinista” viene de la forma en que está definida la función de transición: si en un instante t la máquina está en el estado q y lee el símbolo a entonces, en el instante siguiente t + 1 la máquina cambia de estado y sabemos con seguridad cual es el estado al que cambia, que es precisamente δ(q, a). b. Todo autómata finito determinista de n estados, cuyo alfabeto E contiene m símbolos debe tener m x n transiciones. c. A diferencia de los AF (Autómatas Finitos), los Autómatas Finitos Determinísticos Por ser AFD, este no debe ser inicializado con ningún símbolo de entrada

Incorrecto: El AFD es inicializado con una palabra de entrada.

d. A diferencia de los AF (Autómatas Finitos), los Autómatas Finitos Determinísticos Por ser AFD, no tienen ningún ciclo de ejecución. Solo leen un dato de entrada. Una extensión a los autómatas finitos deterministas es la de permitir que de cada nodo del diagrama de estados salga un número de flechas mayor o menor que Así, se puede permitir que falte la flecha correspondiente a alguno de los símbolos del alfabeto, o bien que haya varias flechas que salgan de un solo nodo con la misma etiqueta. Inclusive se permite que las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacía. A estos autómatas finitos se les llama no Determinísticos o no deterministas (abreviado AFND), El nombre “determinista” viene de la forma en que está definida la función de transición: si en un instante t la máquina está en el estado q y lee el símbolo a entonces, en el instante siguiente t + 1 la máquina cambia de estado y sabemos con seguridad cual es el estado al que cambia, que es precisamente δ(q, a).

QUIZ I 1 Puntos: 1 Indicar cuál es el tipo de autómata más sencillo (menos potente) capaz de reconocer el lenguaje {xnymzn | n>=25, m>=50}. Seleccione una respuesta. a. Un autómata de pila no determinista b. Una máquina de Turing.

c. Un autómata de pila determinista d. Un autómata finito

Incorrecto

Incorrecto Puntos para este envío: 0/1. Question 2 Puntos: 1 Un Autómata Determinístico de estados finitos (DFA), M, es una quíntupla: (Q, Σ, qi , F, δ), donde: • Q es un conjunto finito de estados. • Σ es un alfabeto finito. • qi ∈ Q es el estado inicial. • F Q son los estados finales. • δ : (Q × Σ) → Q es la función de transición de estados. La condición de ser Determinístico es debido a que: Seleccione al menos una respuesta.

a. Las transacciones están descritas por una función total.

Esto corresponde a la definición de Autómatas Determinísiticos (DFA). Estos autómatas se denominan determinísticos ya que en cada estado su comportamiento es fijo. Es decir, dado el estado y el símbolo en la cinta de entrada hay un único estado al cual puede pasar. . Todas los items son verdaderas.

Esto corresponde a la definición de Autómatas Determinísiticos (DFA). b. El autómata comienza en el estado Estos autómatas se denominan determinísticos ya que en cada estado inicial y lee una secuencia de símbolos su comportamiento es fijo. Es decir, dado el estado y el símbolo en la (símbolo por símbolo hasta que se acabe cinta de entrada hay un único estado al cual puede pasar. . Todas los la secuencia). items son verdaderas. c. En cada instante lee un símbolo δ y dependiendo del símbolo y del estado s en el que se encuentra, cambia al estado dado por la función de transición: δ(s, σ)

d. Hay un único estado inicial.

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. Correcto: Esto corresponde a la definición de Autómatas Determinísiticos (DFA). Estos autómatas se denominan determinísticos ya que en cada estado su comportamiento es fijo. Es decir, dado el estado y el símbolo en la cinta de entrada hay un único estado al cual puede pasar. . Todas los items son verdaderas.

El nombre “determinista” viene de la forma en que está definida la función de transición: si en un instante t la máquina está en el estado q y lee el símbolo a entonces, en el instante siguiente t + 1 la máquina cambia de estado y sabemos con seguridad cual es el estado al que cambia, que es precisamente δ(q, a). Correcto Puntos para este envío: 1/1. Question 3 Puntos: 1 Acorde a al historia y a lo que se dice de los modelos de computación, las Máquinas de Turing (MT), como máquinas reconocedoras de los lenguajes formales dependientes del contexto o estructurado por frases, surgieron hace: (seleccione una opcion valida) Seleccione una respuesta. a. Hace 5 años

b. Hace 50 años

c. En 1970 Correcto: Se puede llegar así, de una forma casi natural a considerar las máquinas de Turing, establecidas d. Hace casi 20 años antes, como máquinas reconocedoras de los lenguajes formales dependientes del contexto o 20 años estructurados por frases, e incluso a interpretar la Tesis de Turing como que un sistema computacional nunca podrá efectuar un análisis sintáctico de aquellos lenguajes que están por encima de los lenguajes estructurados por frases, según la jerarquía de Chomsky". Consideramos entonces los lenguajes libres (independientes) del contexto, y las gramáticas libres del contexto y los autómatas con pila, como forma de caracterizarlos y manejarlos. Los distintos lenguajes formales que se pueden construir sobre un alfabeto concreto pueden clasificarse en clases cada vez más amplias que incluyen como subconjunto a las anteriores, de acuerdo con la jerarquía establecida por Chomsky en los años 50. Correcto Puntos para este envío: 1/1. Question 4 Puntos: 1 Los ítems que encontrará a continuación constan de una afirmación VERDADERA (tesis) y dos postulados también VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen lógicamente de la afirmación y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instrucción:

Marque A si de la tesis se deducen los postulados I y II. Marque B si de la tesis se deduce el postulado I. Marque C si de la tesis sólo se deduce el postulado II. Marque D si ninguno de los postulados se deduce de la tesis. TESIS. Los autómatas finitos determinísticos (AFD) son un subconjunto propio de los no determinísticos (AFN). POSTULADO I. Todo AFD es un AFN POSTULADO II. Se puede pensar entonces que los AFN son “más poderosos” que los AFD, en el sentido de que habría algunos lenguajes aceptados por algún AFN para los cuales no hay ningún AFD que los acepte Seleccione una respuesta. a. OPCION B

Incorrecto

b. OPCION D c. OPCION C d. OPCION A EQUIVALENCIA DE AUTÓMATAS FINITOS DETERMINISTICOS Y AUTÓMATAS FINITOS NO DETERMINÍSTICOS. Las equivalencias están en relación a la jerarquía de estos autómatas. Y en ambos postulados son coherentes. EQUIVALENCIA DE AUTÓMATAS FINITOS DETERMINISTICOS Y AUTÓMATAS FINITOS NO DETERMINÍSTICOS. Las equivalencias están en relación a la jerarquía de estos autómatas. Y en ambos postulados son coherentes. Incorrecto Puntos para este envío: 0/1. Question 5 Puntos: 1 Un ejemplo de “Lenguaje” es el conjunto de “palíndromos” (cadenas que se leen igual hacia adelante, que hacia atrás). Para el caso del alfabeto { 0, 1} Es válido afirmar: (Seleccione dos respuestas). Tenga en cuenta que el símbolo lambda (usado en autómatas), http://es.wikipedia.org/wiki/Lambda Seleccione al menos una respuesta. a. Pueden ser cadenas válidas como: {lambda, 0, 1. 00, 11, 010, 0110, 000000, 101101, 10001}

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

b. Este Lenguaje tiene cadenas infinitas

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

c. Este Lenguaje tiene cadenas finitas

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

d. Las cadenas válidas para ese alfabeto obedece a Incorrecto: Este lenguaje {0,1} tiene cadenas infinitas sus seis posibles combinaciones: {0, 1, 01, 10, 00, (muchisimas se pueden combinar como palindromos que se lean iagual al derecho y al reves). 11} Los lenguajes regulares se llaman así porque sus palabras contienen “regularidades” o repeticiones de los mismos componentes, como por ejemplo en el lenguaje L1 siguiente: L1 = {ab, abab, ababab, abababab, . . .} En este ejemplo se aprecia que las palabras de L1 son simplemente repeticiones de “ab” cualquier número de veces. Aquí la “regularidad” consiste en que las palabras contienen “ab” algún número de veces. Correcto Puntos para este envío: 1/1. Question 6 Puntos: 1 Sea el vocabulario {1,2,3}, la expresión regular (1|2)* 3 indica el conjunto de todas las cadenas formadas con los símbolos 1,2 y 3 . Cuáles sentencias o cadenas son válidas : Seleccione al menos una respuesta. a. 221113

Correcto: Pueden formarse cadenas con los símbolos 1 y 2, sucedéndose cualquiér número de veces ( y en cualquiér órden) y siempre terminando la cadena en el símbolo 3

b. 132211

Incorrecto: Pueden formarse cadenas con los símbolos 1 y 2, sucedéndose cualquiér número de veces ( y en cualquiér órden) y siempre terminando la cadena en el símbolo 3

c. 121211223 Correcto: Pueden formarse cadenas con los símbolos 1 y 2, sucedéndose cualquiér número de veces ( y en cualquiér órden) y siempre terminando la cadena en el símbolo 3 d. 2213311

Incorrecto: Pueden formarse cadenas con los símbolos 1 y 2, sucedéndose cualquiér número de veces ( y en cualquiér órden) y siempre terminando la cadena en el símbolo 3

Un posible alfabeto sería, digamos, {a, b}, y una cadena cualquiera sobre este alfabeto sería, por ejemplo, ababba. Un lenguaje sobre este alfabeto, que incluyera esta cadena, sería: el conjunto de todas las cadenas que contienen el mismo número de símbolos a que b. Correcto Puntos para este envío: 1/1. Question 7

Puntos: 1 Los ítems que encontrará a continuación constan de una afirmación VERDADERA (tesis) y dos postulados también VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen lógicamente de la afirmación y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instrucción: Marque A si de la tesis se deducen los postulados I y II. Marque B si de la tesis se deduce el postulado I. Marque C si de la tesis sólo se deduce el postulado II. Marque D si ninguno de los postulados se deduce de la tesis.

TESIS: El estado de un autómata es toda la información necesaria en un momento dado, para poder deducir, dado un símbolo de entrada en ese momento, cuál será el símbolo de salida. POSTULADO I: Conocer el estado de un autómata, es lo mismo que conocer toda la historia de símbolos de entrada, así como el estado inicial, estado en que se encontraba el autómata al recibir el primero de los símbolos de entrada POSTULADO II. La información se codifica en cadenas de símbolos, y un autómata es un dispositivo que manipula cadenas de símbolos que se le presentan a su entrada, produciendo otras tiras o cadenas de símbolos a su salida. Seleccione una respuesta. a. OPCION B b. OPCION A

Incorrecto

c. OPCION D d. OPCION C DEFINICON DE ESTADO. Solo se deduce el Postulado I. El Postulado II hace referencia más a la definición de Autómata que ala de un estado. DEFINICON DE ESTADO. Solo se deduce el Postulado I. El Postulado II hace referencia más a la definición de Autómata que ala de un estado. Incorrecto Puntos para este envío: 0/1. Question 8 Puntos: 1 Los Automatas finitos no Deterministicos tienen las caracteristicas de: Seleccione al menos una respuesta.

a. Las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacia. b. Las transiciones no tengan como etiqueta palabras de varias letras o hasta la palabra vacia. c. Permitir que de cada nodo del diagrama de estados salga un numero de flechas mayor o menor. d. No permitir que cada nodo del diagrama de estados salga un numero de flechas mayor o menor. Correcto Puntos para este envío: 1/1. Question 9 Puntos: 1 Teniendo en cuenta que podemos definir un Autómata como una máquina conceptual o teórica para el reconocimiento de patrones, entonces los siguientes componentes: Analizados Léxico, Analizador Sintáctico y Generador de Código corresponderían a una aplicación de un Autómata en el la implementación de: Seleccione una respuesta. a. Procesadores de texto

Respuesta Incorrecta

b. Lenguajes de Programación c. Aplicaciones de Computador d. Compiladores Incorrecto Puntos para este envío: 0/1. Question 10 Puntos: 1 Los autómatas finitos no Determinísticos o no deterministas tienen las características de: Seleccione al menos una respuesta

Seleccione al menos una respuesta. a. Permitir que de cada nodo del diagrama de estados salga un número de flechas mayor o menor

Correcto

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

Incorrecto

c. Las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacía.

Correcto

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

Incorrecto

Los AFND tienen las características de Permitir que de cada nodo del diagrama de estados salga un número de flechas mayor o menor y las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacía. Los AFND tienen las características de Permitir que de cada nodo del diagrama de estados salga un número de flechas mayor o menor y las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacía. Correcto Puntos para este envío: 1/1. Question 11 Puntos: 1 Acorde al siguiente diagrama de Moore. Identifique que expresión representa:

Seleccione una respuesta. a. Expresión regular (q|q )*

Incorrecto: No hay elemntos de entrada con el nombre "q"

b. Expresión regular (ac|b|b)* c. Expresión regular (bb|ab)* d. Expresión regular (ac|b)* La operación de conjuntos de unión posibilita tener lenguajes de varios elementos y si se añade la operación * cerradura o estrella de Kleene que se deriva naturalmente de la concatenación, tambien es factible producir lenguajes infinitos.

Incorrecto Puntos para este envío: 0/1. Question 12 Puntos: 1 Como especificar la sintaxis de un lenguaje?: Se utiliza la jerarquía de Chomsky; la jerarquía de Chomsky es una clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales. Esta jerarquía fue descrita por Noam Chomsky en 1956. Acorde a esto, asocie correctamente esta clasificación. Gramática s de tipo 3

Gramáticas regulares. Generan los lenguajes regulares

Gramática s de tipo 1

Gramáticas sensibles al contexto. Generan los lenguajes sensibles al contexto

Gramática s de tipo 0

Estas gramáticas generan todos los lenguajes capaces de ser reconocidos por una máquina de Turing

Gramática s de tipo 2

Gramáticas libres del contexto. Generan los lenguajes independientes del contexto

Como especificar la sintaxis de un lenguaje?: Se utiliza la jerarquía de Chomsky; la jerarquía de Chomsky es una clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales. Esta jerarquía fue descrita por Noam Chomsky en 1956. Correcto Puntos para este envío: 1/1. Question 13 Puntos: 1 El nombre "finito" en un Autómata, se justifica por una de las siguientes afirmaciones. Seleccione una. Seleccione una respuesta. a. Del hecho que el autómata solo tiene un conjunto finito de estados distintos para recordar lo procesado (no tiene ningún sistema de almacenamiento de información adicional) 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.

Correcto. Los estados son definidos desde el inicio y son finitos.

d. Que el Autómata tiene un solo estado Inicial que se puede representar por un * o por un círculo doble. Al describir una máquina de estados finitos en particular, debemos incluir las informaciones que varían de un autómata a otro; es decir, no tiene sentido incluir descripciones generales aplicables a todo autómata. Estas informaciones son exactamente las que aparecen en un diagrama de estados y transiciones. Correcto Puntos para este envío: 1/1. Question 14 Puntos: 1 Una de las siguientes afirmaciones NO aplica a los lenguajes que reconocen un autómata. Identifíquela Seleccione una respuesta. a. Un automata finito determinista M reconoce un lenguaje L(M) si acepta exclusivamente la coleccion de cadenas de dicho lenguaje. b. Dada una gramatica regular G, siempre existe un automata finito M tal que L(G) = L(M) y M tiene un unico estado de aceptacion. c. Un automata finito determinista utilizado como reconocedor de lenguajes con al menos una cadena necesariamente tiene que tener al menos un estado de aceptacion. d. Un automata reconoce una cadena cuando alcanza un estado de aceptacion durante su lectura Correcto Puntos para este envío: 1/1. Question 15 Puntos: 1 Los automatas se pueden representar mediante: Seleccione al menos una respuesta. a. El conjunto de entradas de una maquina de turing b. El conjunto de tablas representativas c. Tablas de transiciones d. Diagrama de moore

RECONOCIMIENTO II 1 Puntos: 1

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

Seleccione al menos una respuesta. a. Las reglas de las gramáticas difieren por que tienen diferentes terminales. b. La palabra generable por la gramática G1 y G2 es xyzyzy c. La lista de reglas están denotadas de forma comprimida d. La palabra generable por la gramática G1 y G2 es xxzyzy

Incorrecto: Los terminales no le marcan la diferencia. Correcto: esta cadena la genera tanto G1 como G2 Correcto. La forma comprimida en que están descritas las gramáticas es válida. Incorrecto: La cadena generada no es válida para G1 y G2.

Las terminales son las mismas para ambas gramáticas y son (xyz). Las Variables son diferentes y para la gramática 1 son S,A,B y para la gramática 2 son S,A. Las reglas o producciones para ambas gramáticas son diferentes. Ambas gramáticas generan la palabra xyzyzy Las terminales son las mismas para ambas gramáticas y son (xyz). Las Variables son diferentes y para la gramática 1 son S,A,B y para la gramática 2 son S,A. Las reglas o producciones para ambas gramáticas son diferentes. Ambas gramáticas generan la palabra xyzyzy Correcto Puntos para este envío: 1/1. Question 2 Puntos: 1

Una pila es un dispositivo de almacenamiento que sigue el principio de Seleccione una respuesta. a. El último en entrar el primero en salir b. El último en entrar el último en salir c. El primero en entrar el ultimo e salir

Incorrecto

d. El primero en entrar el primero en salir La pila funciona de manera que el ultimo carácter que se almacena en ella es el primero en salir (“LIFO” por las siglas en inglés) La pila funciona de manera que el ultimo carácter que se almacena en ella es el primero en salir (“LIFO” por las siglas en inglés)

Incorrecto Puntos para este envío: 0/1. Question 3 Puntos: 1

Relaciones los elementos de un árbol de derivación con sus características Rotulado con el símbolo inicial de la Gramática

Nodo raíz

Corresponde a un símbolo Terminal o no Terminal

Hoja

Corresponde a un símbolo no Terminal

Nodo

Para una derivación dada, el símbolo inical “S” etiqueta la raíz del árbol. El nodo raíz tienen unos nodos hijos para cada símbolo que aparezca en el lado dereho de la producción, usada para reemplazar el símbolo inicial. De igual forma, cada símbolo no terminal tienen unos nodos hijos etiquetados con símbolos del lado derecho de la producción usada para sustituir ese no terminal. Correcto Puntos para este envío: 1/1. Question 4 Puntos: 1 Seleccione los componentes de los Arboles de Derivación: Seleccione una respuesta. a. Nodo inicial, nodos internos, nodo final b. Nodo principal, nodos secundarios, nodos finales

c. Nodo inicial, nodos interiores, nodo final d. Nodo raiz, nodos interiores, Hojas

Correcto: Estos son los componentes básicos o definidos para un árbol de análisis.

Para una derivación dada, el símbolo inical “S” etiqueta la raíz del árbol. El nodo raíz tienen unos nodos hijos para cada símbolo que aparezca en el lado dereho de la producción, usada para reemplazar el símbolo inicial. De igual forma, cada símbolo no terminal tienen unos nodos hijos etiquetados con símbolos del lado derecho de la producción usada para sustituir ese no terminal. Para una derivación dada, el símbolo inical “S” etiqueta la raíz del árbol. El nodo raíz tienen unos nodos hijos para cada símbolo que aparezca en el lado dereho de la producción, usada para reemplazar el símbolo inicial. De igual forma, cada símbolo no terminal tienen unos nodos hijos etiquetados con símbolos del lado derecho de la producción usada para sustituir ese no terminal. Correcto Puntos para este envío: 1/1. Question 5 Puntos: 1 Qué son los Arboles de Derivación ? Seleccione una respuesta. a. Son los que permiten mostrar gráficamente un símbolo para convertirlo en un lenguaje b. Son los que permiten mostrar gráficamente un autómata. c. Son los que permiten mostrar gráficamente cómo se puede derivar

Correcto. Estos permiten analizar el comportamiento del

cualquier cadena de un lenguaje a partir del símbolo distinguido de una

comportamiento del autómata. (cadenas que representay

que son o no validas).

gramática que genera ese lenguaje d. Son los que permiten mostrar gráficamente una gramatica y por consiguiente un lengaje dado .

Los árboles de derivación permiten analizar el comportamiento del comportamiento del autómata. (cadenas que representay que son o no validas). Al derivar una cadena a través de una GIC, el símbolo inicial se sustituye por alguna cadena. Los no terminales se van sustituyendo uno tras otro por otras cadenas hasta que ya no quedan símbolos no terminales, queda una cadena con sólo símbolos terminales. A veces es útil realizar un gráfico de la derivación. Tales gráficos tienen forma de árbol y se llaman “arbol de derivación” o “árbol de análisis”. Correcto Puntos para este envío: 1/1. Question 6 Puntos: 1

Qué es un Lenguaje Libre de Contexto ? Seleccione una respuesta. a. Es un lenguaje regular b. Es un algoritmo que nos dice el lenguaje de la gramática c. Es aquel generado por una gramática

Correcto: Cualquier lenguaje libre de contexto L puede ser generado por una gramática

libre de contexto.

libre de contexto en la forma normal de Chomsky.

d. Es el lenguaje generado por un autómata AFD Todo lenguaje independiente del contexto L (no vacío) puede ser generado por una gramática libre de contexto que contenga sólo producciones útiles y no terminales útiles. Todo lenguaje independiente del contexto L (no vacío) puede ser generado por una gramática libre de contexto que contenga sólo producciones útiles y no terminales útiles.

LECCION II 1 Puntos: 1

El lenguaje que reconoce un autómata a pila pertenece al grupo (IDENTIFIQUELO EN EL SIGUIENTE DIBUJO ) en la clasificación de la Jerarquía de Chomsky.

Seleccione una respuesta. a. G2

Correcto: Corresponde a Lenguaje slibres de contexto.

b. G3 c. G0 d. G1 Puesto que los autómatas finitos no son suficientemente poderosos para aceptar los LLC, entonces se presentan los Autómatas de Pila (AP). Puesto que los autómatas finitos no son suficientemente poderosos para aceptar los LLC, entonces se presentan los Autómatas de Pila (AP). Correcto Puntos para este envío: 1/1. Question 2 Puntos: 1 Para que una palabra de entrada sea aceptada en un AP se deben cumplir las condiciones siguientes: Seleccione al menos una respuesta. a. La palabra de entrada se debe Correcto; para que una palabra de entrada sea aceptada en un AP se deben cumplir todas las haber agotado (consumido

condiciones siguientes: 1. La palabra de entrada se debe haber agotado (consumido totalmente). 2.

totalmente).

El AP se debe encontrar en un estado final. 3. La pila debe estar vacía.

b. El AP se debe encontrar en un estado final. c. La pila debe tener lambda como elemento final

Correcto: para que una palabra de entrada sea aceptada en un AP se deben cumplir todas las 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. Incorrecto: No necesariamente la cadena vacía debe estar presente.

d. El alfabeto d ela pila debe ser igual al lenguaje que reconoce

Incorrecto: El lenguaje que reconoce la pila especifica ene l diseño cuando se detiene.

e. La pila debe estar vacía.

Correcto: la pila debe estar vacía.

f. El inicio de la pila debe tener un símbolo del alfabeto

Incorrecto: la pila debe estar vacía

A la hora de dise˜nar un AP tenemos que repartir lo que requiere ser “recordado” entre los estados y la pila. Distintos dise˜nos para un mismo problema pueden tomar decisiones diferentes en cuanto a qué recuerda cada cual. A la hora de dise˜nar un AP tenemos que repartir lo que requiere ser “recordado” entre los estados y la pila. Distintos dise˜nos para un mismo problema pueden tomar decisiones diferentes en cuanto a qué recuerda cada cual. Correcto Puntos para este envío: 1/1. Question 3 Puntos: 1 Respecto a la relación entre un AF y un AP cuál afirmación es cierta: Seleccione una respuesta. a. Los AF y los AP tienen la misma capacidad de memoria b. Un AP es infifnito por su capacidad de memoria. Un AF es finito por su número de estados.

c. Estas dos máquinas no permiten regularidades. d. Todo lenguaje aceptado por un AF es también aceptado por

Correcto: Este resultado debe quedar intuitivamente claro, puesto que

un AP

los AP son una extensión de los AF.

Correcto: Este resultado debe quedar intuitivamente claro, puesto que los AP son una extensión de los AF. En los AP también es posible aplicar métodos de combinación modular de autómatas, como se hizo con los autómatas finitos. En particular, es posible obtener AP que acepten la unión y concatenación de los lenguajes aceptados por dos AP dados. Correcto Puntos para este envío: 1/1. Question 4 Puntos: 1

Dado un alfabeto ∑, los símbolos Ø, y los operadores + (unión), ∙ (concatenación) y * (clausura), se define una EXPRESION REGULAR (ER) sobre el alfabeto ∑ en la que son válidas las siguientes relaciones: Nota. ω es una cadena sobre un lenguaje L Seleccione al menos una respuesta. a. Si ω = a y a pertenece ∑ entonces L (ω) no

Incorrecto, se debe tener en cuenta que estas cadenas también pertenecen al

pertenece ∑

Lenguaje.

b. Si ω = lambda entonces L (lambda) = { lambda}

Correcto: esta es una ER

c. Si ω* es una ER entonces L (ω*) no es una ER d. Si ω = Ø entonces L (ω) = Ø

Incorrecto, se debe tener en cuenta que estas cadenas también pertenecen al Lenguaje. Correcto: esta es una ER

Las ER son simplemente fórmulas cuyo propósito es representar cada una de ellas un lenguaje. Así, el significado de una ER es simplemente el lenguaje que ella representa. La notación de conjuntos nos permite describir los lenguajes regulares, pero nosotros quisiéramos una notación en que las representaciones de los lenguajes fueran simplemente texto (cadenas de caracteres). Así las representaciones de los lenguajes regulares serían simplemente palabras de un lenguaje (el de las representaciones correctamente formadas). Correcto Puntos para este envío: 1/1. Question 5 Puntos: 1 Respecto a como un (PD) o un (AP) acepta las cadenas, asocie correctamente: Reconoce una cadena de entrada si partiendo de su configuración inicial llega a una configuración final emplenado

Movimiento de un AP

movimientos válidos. Dado un estado, un símbolo del alfabeto de entrada y otro del alfabeto de la pila, puede pasar a distintos estados y reemplazar

Dado un

el tope de la pila por distintas cadenas, avanzando o no la cabeza lectora una posición La cadena será aceptada si despu¶es de leerse toda la cadena se llega a un estado con la pila vacía, independientemente del

Reconocimiento de cadenas de entrada por estado final

tipo de estado en el que se encuentre el AP. Transición entre configuraciones.

AP no determinista.

En los AP las transiciones de un estado a otro indican, además de los caracteres que se consumen de la entrada, también lo que se saca del tope de la pila, asi como también lo que se mete a la pila. Incorrecto Puntos para este envío: 0/1. Question 6 Puntos: 1 Cuando se trabajan Autómatas de Pila (AP) ó (PD) es válido afirmar: Seleccione al menos una respuesta. Incorrecto: La pila tendrá un alfabeto propio, que puede o no coincidir con el a. La pila tiene un alfabeto propio y debe coincidir

alfabeto de la palabra de entrada. Esto se justifica porque puede ser necesario

con el alfabeto de la palabra de entrada.

introducir en la pila caracteres especiales usados como separadores, según las necesidades de dise˜no del autómata.

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

Incorrecto: En los AP las transiciones de un estado a otro indican, 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

Correcto

entre los estados y las pilas. El problema de dise˜no de los AP consiste en obtener un AP M que acepte exactamente un lenguaje L dado. Por exactamente queremos decir, como en el caso de los autómatas finitos, que, por una parte, todas las palabras que acepta efectivamente pertenecen a L, y por otra parte, que M es capaz de aceptar todas las palabras de L. La pila funciona de manera que el último caracter que se almacena en ella es el primero en salir (“LIFO” por las siglas en inglés), como si empiláramos platos uno encima de otro, y naturalmente el primero que quitaremos es el último que hemos colocado. Un aspecto crucial de la pila es que sólo podemos modificar su “tope”, que es el extremo por donde entran o salen los caracteres. Los caracteres a la mitad de la pila no son accesibles sin quitar antes los que est´an encima de ellos. Correcto Puntos para este envío: 1/1. Question 7 Puntos: 1

Marque la notación más frecuentemente utilizada para expresar gramáticas libres de contexto. Seleccione una respuesta. a. Formas Normales de Chomsky b. Formas Normales de Greibach c. Arboles de Derivación Correcto: Backus y Naur desarrollaron una notación formal para describir la sintaxis de algunos lenguajes de d. Backus-Naur

programación, que básicamente se sigue utilizando todavía, y que podía considerarse equivalente a las gramáticas libres del contexto

Backus y Naur desarrollaron una notación formal para describir la sintaxis de algunos lenguajes de programación, que básicamente se sigue utilizando todavía, y que podía considerarse equivalente a las gramáticas libres del contexto

Backus y Naur desarrollaron una notación formal para describir la sintaxis de algunos lenguajes de programación, que básicamente se sigue utilizando todavía, y que podía considerarse equivalente a las gramáticas libres del contexto Correcto Puntos para este envío: 1/1. Question 8 Puntos: 1

Respecto a los Autómatas de Pila es válido afirmar: Seleccione una respuesta. a. Un autómata de pila no puede hacer las funciones de "contador" ya que sus recorridos varían en la cinta y lo que le importa a esta automatización es el estado final y la salida del dato. b. Un Autómata de Pila al igual que una Máquina de Turing o un Autómata Finito, su definición básica es de naturaleza no determinista c. Para poder simular un autómata de Pila se debe tener en cuenta: Las

Incorrecto: Solo se necesita conocer las columnas de

columnas de una traza de ejecución para un AP son: el estado en que se

una traza de ejecución para un AP son: el estado en

encuentra el autómata, lo que ha leido hasta el momento o estado actual al

que se encuentra el autómata, lo que falta por leer de la

inicio de la simulación, y el contenido de la memoria al final del recorrido.

palabra de entrada, y el contenido de la pila.

d. A la hora de diseñar un AP tenemos que repartir lo que requiere ser “recordado” entre los estados y la pila. Distintos diseños para un mismo problema pueden tomar decisiones diferentes en cuanto a que recuerda cada cual Los AP suelen ser más potentes, pero su dideño se debe más al tipo de cadena que se quiere reconocer. A la hora de diseñar un AP tenemos que repartir lo que requiere ser “recordado” entre los estados y la pila. Distintos diseños para un mismo problema pueden tomar decisiones diferentes en cuanto a que recuerda cada cual. Incorrecto Puntos para este envío: 0/1. Question 9 Puntos: 1

Acerca del funcionamiento de un Autómata de Pila, cuál de las siguientes operaciones o comportamientos NO las hace este autómata. Seleccione una respuesta. a. Una d elas condiciones para que una palabra de entrada sea aceptada en un AP la pila debe estar vacía. b. Al igual que los AF, los AP tienen estados finales, que permiten distinguir cuando una palabra de entrada es aceptada c. En la Pila una transición de un estado a otro Arroja la

Correcto: Esta afirmación es falsa ya que en los AP las transiciones de un

información de lo que sale de la pila (tope), no de lo que

estado a otro indican, además de los caracteres que se consumen de la

entra ya que el avance es progresivo hacia adelante y no

entrada, también lo que se saca del tope de la pila, así como también lo

hacia atrás.

que se mete a la pila.

Para verificar el funcionamiento del autómata, podemos simular su ejecución, listando las situaciones sucesivas en que se encuentra, mediante una tabla que llamaremos “traza de ejecución”. Las columnas de una traza de ejecución para un AP son: el estado en que se encuentra el autómata, lo que falta por leer de la palabra de entrada, y el contenido de la pila Para verificar el funcionamiento del autómata, podemos simular su ejecución, listando las situaciones sucesivas en que se encuentra, mediante una tabla que llamaremos “traza de ejecución”. Las columnas de una traza de ejecución para un AP son: el estado en que se encuentra el autómata, lo que falta por leer de la palabra de entrada, y el contenido de la pila.

Correcto Puntos para este envío: 1/1. Question 10 Puntos: 1 Acerca del siguiente AP que afirmaciones son válidas:

Seleccione al menos una respuesta. a. Según la rama superior toda x que se reciba, se registra en la pila y el estado siguiente será de aceptación b. Acepta la cadena vacía lambda c. Acepta solo la cadena x d. No acepta la cadena vacía.

Correcto. Correcto: lambda es aceptado Incorreecto: Lapila puede aceptar cadenas combinaciones xy según el símbolo de entrada. Incorrecto. la cadena vacía si es aceptada

En el diseño de AP Una idea que surge inmediatamente es la de utilizar la pila como “contador” para recordar la cantidad de símbolos de entrada. En el diseño de AP Una idea que surge inmediatamente es la de utilizar la pila como “contador” para recordar la cantidad de símbolos de entrada.

QUIZ II 1 Puntos: 1 Una tabla de Transiciones que permite representar un Autómata tiene tantas filas como: Seleccione una respuesta. a. Elementos de la Función de Salida b. Letras del Alfabeto c. Elementos del conjunto de entradas o vocabulario de Entrada d. Elementos del Conjunto de Estados Correcto Puntos para este envío: 1/1. Question 2 Puntos: 1

Respuesta Correcta

Cual de las siguientes afirmaciones es VERDADERA Seleccione una respuesta. a. En los árboles de derivación, no es necesario usar nodo raíz b. Los lenguajes generados por una Gramática Independiente del Contexto son llamados Lenguajes Regulares c. En un árbol de derivación cada nodo solamente puede tener otro hijo nodo d. En un árbol de derivación, una gramática es ambigua, cuando hay dos o más árboles de derivación distintos para una misma cadena

Respuesta Correcta

Correcto Puntos para este envío: 1/1. Question 3 Puntos: 1 Qué son los árboles de derivación Seleccione una respuesta. a. Son los que permiten mostrar gráficamente un autómata finito. b. Son los que permiten mostrar gráficamente un autómata c. Son los que permiten mostrar gráficamente un símbolo para convertirlo en un lenguaje d. Son los que permiten mostrar gráficamente cómo se puede derivar cualquier cadena de un lenguaje a partir del símbolo distinguido de una gramática que genera ese lenguaje.

Incorrecto

Incorrecto Puntos para este envío: 0/1. Question 4 Puntos: 1 Toda gramática de tipo 2 que no acepte la palabra vacía se puede poner en forma normal de Chomsky PORQUE Para ello lo primero que hay que hacer es suprimir las producciones nulas y unitarias Seleccione una respuesta. a. La Afirmación y la Razón son VERDADERAS pero la Razón NO es una explicación CORRECTA de la Afirmación

b. La Afirmación es VERDADERA, pero la Razón es una proposición FALSA c. La Afirmación y la Razón son VERDADERAS y la Razón es una explicación CORRECTA de la Afirmación d. La Afirmación es FALSA, pero la Razón es una proposición VERDADERA Correcto Puntos para este envío: 1/1. Question 5 Puntos: 1 Al iniciar la operación de un Autómata de Pila, la pila debe tener un contenido inicial PORQUE Al igual que los Autómatas Finitos, los Autómatas de Pila tienen estados finales que permiten distinguir cuando una palabra de entrada es aceptada Seleccione una respuesta. a. La Afirmación es FALSA, pero la Razón es una proposición VERDADERA b. La Afirmación y la Razón son VERDADERAS y la Razón es una explicación CORRECTA de la Afirmación c. La Afirmación es VERDADERA, pero la Razón es una proposición FALSA d. La Afirmación y la Razón son VERDADERAS pero la Razón NO es una explicación CORRECTA de la Afirmación Incorrecto Puntos para este envío: 0/1. Question 6 Puntos: 1 Una tabla de Transiciones que permite representar un Autómata tiene tantas columnas como: Seleccione una respuesta. a. Estados b. Salidas c. Entradas d. Elementos del Lenguaje

Respuesta Correcta

Respuesta Incorrecta

Correcto Puntos para este envío: 1/1. Question 7 Puntos: 1 De los siguientes elementos, uno no es un componente de un árbol de derivación: Seleccione una respuesta. a. Nodos Interiores b. Nodo Raíz

c. Hojas

d. Nodo Final

Respuesta Correcta: Para una derivación dada, el símbolo inical “S” etiqueta la raíz del árbol. El nodo raíz tienen unos nodos hijos para cada símbolo que aparezca en el lado dereho de la producción, usada para reemplazar el símbolo inicial. De igual forma, cada símbolo no terminal tienen unos nodos hijos etiquetados con símbolos del lado derecho de la producción usada para sustituir ese no terminal.

Al derivar una cadena a través de una GIC, el símbolo inicial se sustituye por alguna cadena. Los no terminales se van sustituyendo uno tras otro por otras cadenas hasta que ya no quedan símbolos no terminales, queda una cadena con sólo símbolos terminales. A veces es útil realizar un gráfico de la derivación. Tales gráficos tienen forma de árbol y se llaman “arbol de derivación” o “árbol de análisis”. Correcto Puntos para este envío: 1/1. Question 8 Puntos: 1 Cual de las siguientes afirmaciones se asocia correctamente al diseño y funcionamiento de los árboles de derivación. Seleccione una respuesta. a. En los árboles de derivación, no es necesario usar nodo raíz b. En un árbol de derivación, una gramática es ambigua cuando hay dos o más árboles de derivación distintos para una misma cadena.

Respuesta Correcta: Una gramática es “ambigüa” cuando hay dos o más árboles de derivación distintos para una misma cadena

c. En un árbol de derivación cada nodo solamente puede tener otro hijo nodo d. Los lenguajes generados por una Gramática Independiente del Contexto son llamados Lenguajes Regulares Al derivar una cadena a través de una GIC, el símbolo inicial se sustituye por alguna cadena. Los no terminales se van sustituyendo uno tras otro por otras cadenas hasta que ya no quedan símbolos no terminales, queda una cadena con sólo símbolos terminales. A veces es útil realizar un gráfico de la derivación. Tales gráficos tienen forma de árbol y se llaman “arbol de derivación” o “árbol de análisis”. Para una derivación dada, el símbolo inical “S” etiqueta la raíz del árbol. El nodo raíz tienen unos nodos hijos para cada símbolo que aparezca en el lado dereho de la producción, usada para reemplazar el símbolo inicial. De igual forma, cada símbolo no terminal tienen unos nodos hijos etiquetados con símbolos del lado derecho de la producción usada para sustituir ese no terminal. Correcto Puntos para este envío: 1/1. Question 9 Puntos: 1 Dentro de los Algoritmos de decisión existen problemas que no tienen solución o que no existe un algoritmo que los resuelva, éstos son llamados Seleccione una respuesta. a. No existen problemas de éste tipo b. Problemas decidibles c. Problemas Infinitos d. Problemas indecidibles Correcto Puntos para este envío: 1/1. Question 10 Puntos: 1 Cualquier Lenguaje Libre de Contexto L, puede ser generado por una Gramática Libre de Contexto en la forma normal de Chomsky PORQUE Cualquier Gramática Libre de Contexto puede ser transformada a la forma normal de Chomsky Seleccione una respuesta.

a. La Afirmación es VERDADERA, pero la Razón es una proposición FALSA b. La Afirmación y la Razón son VERDADERAS pero la Razón NO es una explicación CORRECTA de la Afirmación c. La Afirmación y la Razón son VERDADERAS y la Razón es una explicación CORRECTA de la Afirmación d. La Afirmación es FALSA, pero la Razón es una proposición VERDADERA Correcto Puntos para este envío: 1/1. Question 11 Puntos: 1 Qué son los Arboles de Derivación ? Seleccione una respuesta. a. son los que permiten mostrar gráficamente cómo se puede derivar cualquier cadena de un lenguaje a partir del símbolo distinguido de una gramática que genera ese lenguaje.

Correcto: Es la cualidad que permite incluso determinar la ambigüedad d elas gramáticas.

b. son los que permiten mostrar gráficamente un autómata finito. c. son los que permiten mostrar gráficamente un autómata d. son los que permiten mostrar gráficamente un símbolo para convertirlo en un lenguaje Al derivar una cadena a través de una GIC, el símbolo inicial se sustituye por alguna cadena. Los no terminales se van sustituyendo uno tras otro por otras cadenas hasta que ya no quedan símbolos no terminales, queda una cadena con sólo símbolos terminales. A veces es útil realizar un gráfico de la derivación. Tales gráficos tienen forma de árbol y se llaman “arbol de derivación” o “árbol de análisis”. Correcto Puntos para este envío: 1/1. Question 12 Puntos: 1 Seleccione los componentes de los árboles de derivación: Seleccione una respuesta. a. Nodo raiz, nodos interiores, Hojas

Correcto: Los componentes son Nodo raiz, nodos interiores,

Hojas b. Nodo inicial, nodos interiores, nodo final c. Nodo inicial, nodos internos, nodo final d. Nodo principal, nodos secundarios, nodos finales

Para una derivación dada, el símbolo inical “S” etiqueta la raíz del árbol. El nodo raíz tienen unos nodos hijos para cada símbolo que aparezca en el lado dereho de la producción, usada para reemplazar el símbolo inicial. De igual forma, cada símbolo no terminal tienen unos nodos hijos etiquetados con símbolos del lado derecho de la producción usada para sustituir ese no terminal. Correcto Puntos para este envío: 1/1. Question 13 Puntos: 1 De las siguientes proposiciones, seleccione la que es FALSA. Seleccione una respuesta. a. Mediante automatas de pila de 2 pilas podria reconocerse un mayor numero de lenguajes que mediante los usuales automatas de una sola pila. En cada transicion, el automata podria almacenar y leer datos de dos pilas distintas. b. Todo conjunto finito de cadenas es un lenguaje regular c. Los Lenguajes Libres de Contexto son cerrados para las operaciones de: Unión, Concatenación y Clausura d. Si L es un lenguaje aceptable por maquinas de Turing, también lo es el lenguaje complementario de L

Correcto, esta apreciación es falsa

Si un lenguaje es generado por una gramática libre del contexto, entonces es aceptado por un Autómata con Pila NoDeterminístico. Correcto Puntos para este envío: 1/1. Question 14 Puntos: 1

Al iniciar la operación de un Autómata de Pila, la pila debe tener un contenido inicial PORQUE Al igual que los Autómatas Finitos, los Autómatas de Pila tienen estados finales que permiten distinguir cuando una palabra de entrada es aceptada Seleccione una respuesta. a. La Afirmación y la Razón son VERDADERAS pero la Razón NO es una explicación CORRECTA de la Afirmación b. La Afirmación y la Razón son VERDADERAS y la Razón es una explicación CORRECTA de la Afirmación

Respuesta Incorrecta

c. La Afirmación es FALSA, pero la Razón es una proposición VERDADERA d. La Afirmación es VERDADERA, pero la Razón es una proposición FALSA Incorrecto Puntos para este envío: 0/1. Question 15 Puntos: 1 Un autómata de pila por definición tiene las siguientes características: Debe seleccionar más de una respuesta. Seleccione al menos una respuesta. a. no podemos modificar su “tope”, que es el extremo por donde entran o salen los caracteres. b. La pila funciona de manera que el Correcto: como si apiláramos platos uno encima de otro, y naturalmente ultimo carácter que se almacena en ella el primero que quitaremos es el último que hemos colocado. Un aspecto es el primero en salir (“LIFO” por las crucial de la pila es que sólo podemos modificar su “tope”, que es el extremo por donde entran o salen los caracteres. siglas en inglés) c. La pila funciona de manera que el primer carácter que se almacena en ella es el primero en salir (“FIFO” por las siglas en inglés) d. sólo podemos modificar su “tope”, que es el extremo por donde entran o salen los caracteres.

Correcto: Un aspecto crucial de la pila es que sólo podemos modificar su “tope”, que es el extremo por donde entran o salen los caracteres.

Aunque en el caso de los AP no hay metodologías tan generalmente aplicables como era el caso de los autómatas finitos, siguen siendo válidas las ideas básicas del diseño sistemático, en particular establecer claramente qué es lo que

“recuerda” cada estado del AP antes de ponerse a trazar transiciones a diestra y siniestra. Para los AP, adicionalmente tenemos que establecer una estrategia clara para el manejo de la pila. En resumen, a la hora de diseñar un AP tenemos que repartir lo que requiere ser “recordado” entre los estados y la pila. Distintos diseños para un mismo RECONOCIMIENTO III 1 Puntos: 1

Con referencia a la funcionalidad y creación de una Máquina Universal de Turing (MUT), es válido afirmar: Seleccione al menos una respuesta. a. Una Máquina Universal de Turing es capaz de decidir cualquier lenguaje independiente del contexto b. 4. La MUT se diseñó para realizar cálculos específicos. c. En el estado de parada de una MUT no puede salir ningún arco d. 3. En una MUT el lenguaje aceptado por esta máquina no puede contener una cadena vacía.

Correcto La MT no se diseño para cálculos específicos. Correcto No puede contener cadenas vacías.

La m´aquina de Turing es particularmente importante porque es la m´as poderosa de todas las m´aquinas abstractas conocidas Todo lenguaje independiente del contexto es decidible mediante una máquina de Turing, que puede ser simulada mediante una máquina de Turing universal. Una MUT no puede quedarse en un ciclo repetitivo, sdebe tener un estado final de parada. La MUT se diseñó para procesar cualquier información. Correcto Puntos para este envío: 1/1. Question 2 Puntos: 1 Este tipo de ítems consta de dos proposiciones así: una Afirmación y una Razón, unidas por la palabra PORQUE. Usted debe examinar la veracidad de cada proposición y la relación teórica que las une. Para responder este tipo de ítems, debe leerla completamente y señalar en la hoja de respuesta, la elegida de acuerdo con las siguientes instrucciones: Marque A si la afirmación y la razón son VERDADERAS y la razón es una explicación CORRECTA de la afirmación. Marque B si la afirmación y la razón son VERDADERAS, pero la razón NO es una explicación CORRECTA de la afirmación. Marque C si la afirmación es VERDADERA, pero la razón es una proposición FALSA. Marque D si la afirmación es FALSA, pero la razón es una proposición VERDADERA.

Solo una acción simultánea puede ejecutar una cinta en la Máquina de Turing (MT) PORQUE la acción de escribir un símbolo en la cinta o la acción de movimiento del cabezal son excluyentes. Se hace una o la otra pero no ambas a la vez. Seleccione una respuesta. a. OPCION C

b. OPCION D

c. OPCION A Correcto: La razón y la afirmación son verdaderas y las razón es una explicación correcta de la afirmación. Las acciones en la MT son excluyentes (o se lee o se escribe).

d. OPCION B La razón y la afirmación son verdaderas y las razón es una explicación correcta de la afirmación. Las acciones en la MT son excluyentes (o se lee o se escribe). La razón y la afirmación son verdaderas y las razón es una explicación correcta de la afirmación. Las acciones en la MT son excluyentes (o se lee o se escribe). Correcto Puntos para este envío: 1/1. Question 3 Puntos: 1

Cuál de las siguientes proposiciones es FALSA con respecto a las Máquinas de Turing Seleccione una respuesta. a. Una máquina de Turing es un “dispositivo” como lo eran los autómatas finitos o los autómatas a pila b. Una Máquina de Turing tiene mayores capacidades que un Autómata Finito o de Pila

c. El desplazamiento de la Máquina en la cinta es siempre hacia la derecha

Correcto, no es cierto ya que se desplaza en ambos sentidos

d. La máquina de Turing consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal lee el contenido Por definición, al iniciar la operación de la MT, la cabeza lectora está posicionada en el caracter blanco a la izquierda de la palabra de entrada, el cual es el cuadro más a la izquierda de la cinta. La máquina de Turing (abreviado MT) tiene, como los autómatas que hemos visto antes, un control finito, una cabeza lectora y una cinta donde puede haber caracteres, y donde eventualmente viene la palabra de entrada. La cinta es de longitud infinita hacia la derecha, hacia donde se extiende indefinidamente, llenándose los espacios con el caracter blanco (que representaremos con “t”). La cinta no es infinita hacia la izquierda, por lo que hay un cuadro de la cinta que es el extremo izquierdo, como en la figura En la MT la cabeza lectora es de lectura y escritura, por lo que la cinta puede ser modificada en curso de ejecución. Además, en la MT la cabeza se mueve bidireccionalmente (izquierda y derecha), por lo que puede pasar repetidas veces sobre un mismo segmento de la cinta. Correcto Puntos para este envío: 1/1. Question 4 Puntos: 1

Una Máquina de Turing está en capacidad de realizar cualquier cómputo que un computador digital sea capaz de realizar. Durante el cómputo o procesamiento de la palabra de entrada, hay dos situaciones especiales que se pueden presentar y son válidas: Identifíquelas. Seleccione al menos una respuesta. a. El cómputo termina por que en determinado momento Correcto: La MT se llega al “final de un cálculo” cuando se alcanza un estado no hay transición definida. b. Una cadena de entrada w no es aceptada por una Máquina de Turing (MT) M si la cadena es vacía.

especial llamado halt en el control finito, como resultado de una transición Incorrecto: Las cadenas vacías también son aceptadas.

c. La máquina de Turing se detiene si detecta el inicio o

Incorrecto: Hay MT multicinta y además estas no se adicionan, estas deben

adición de otra cinta.

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

bucle infinito

Cuando queremos que una palabra no sea aceptada, desde luego debemos evitar que la MT llegue al halt. Podemos asegurarnos de ello haciendo que la MT caiga en un ciclo infinito El lenguaje aceptado por una MT es simplemente el conjunto de palabras aceptadas por ella. Decimos que en la MT se llega al “final de un cálculo” cuando se alcanza un estado especial llamado halt en el control finito, como resultado de una transición. Representaremos al halt por “h”. Al llegar al halt, se detiene la operación de la MT, y se acepta la palabra de entrada. Así, en la MT no hay estados finales. En cierto sentido el halt sería entonces el único estado final, sólo que además detiene la ejecución. Correcto Puntos para este envío: 1/1. Question 5 Puntos: 1

1. Con que configuración de cinta se detendrá la máquina de Turing mostrada a continuación si comienza con la cinta configurada como xxxΔΔΔ . Asuma el orden con que están numerados los estados para el proceso. Tenga en cuenta que la operación entre puntos es la que está activa como para este ejemplo:

.x.xxΔΔΔ

Seleccione una respuesta. a. xxx. Δ .ΔΔ b. xxxΔ. Δ .Δ c. xxxΔΔ .Δ. d. xxxΔ. ΔΔ.

Incorrecto:

Incorrecto: Se debe recorrer toda la máquina hasta el estado final o de parada. La palabra de entrada en la MT está escrita inicialmente en la cinta, como es habitual en nuestros autómatas, pero iniciando a partir de la segunda posición de la cinta, siendo el primer cuadro un caracter blanco. Como la cinta es infinita, inicialmente toda la parte de la cinta a la derecha de la palabra de entrada está llena del caracter blanco (t). Incorrecto Puntos para este envío: 0/1. Question 6 Puntos: 1 Este tipo de ítems consta de dos proposiciones así: una Afirmación y una Razón, unidas por la palabra PORQUE. Usted debe examinar la veracidad de cada proposición y la relación teórica que las une. Para responder este tipo de ítems, debe leerla completamente y señalar en la hoja de respuesta, la elegida de acuerdo con las siguientes instrucciones: Marque A si la afirmación y la razón son VERDADERAS y la razón es una explicación CORRECTA de la afirmación. Marque B si la afirmación y la razón son VERDADERAS, pero la razón NO es una explicación CORRECTA de la afirmación. Marque C si la afirmación es VERDADERA, pero la razón es una proposición FALSA. Marque D si la afirmación es FALSA, pero la razón es una proposición VERDADERA. Al iniciar la operación de un autómata de pila, la pila debe tener un contenido inicial. PORQUE Al igual que los autómatas finitos los autómatas de pila tienen estados finales que permiten distinguir cuando una palabra de entrada es aceptada. Seleccione una respuesta. a. OPCION A b. OPCION D

Correcto: La Afirmación es FALSA porque la pila debe estar vacía, pero la razón es verdadera, opción correcta es D

c. OPCION C d. OPCION B La Afirmación es FALSA porque la pila debe estar vacía, pero la razón es verdadera. La Afirmación es FALSA porque la pila debe estar vacía, pero la razón es verdadera, opción correcta es D

LECCION III 1 Puntos: 1

Máquina de Turing (MT) de dos direcciones: Una Máquina de Turing con una cinta infinita en un sentido puede simular una Máquina de Turing con la cinta infinita en los dos sentidos. Sea M una Máquina de Turing con una cinta infinita en los dos sentidos, entonces:

Para que se logre o se dé esta máquina se debe cumplir:

Seleccione al menos una respuesta. a. La cinta superior contiene información correspondiente a la parte derecha de la cinta M a partir de un punto de

Parcialmente

referencia dado.

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

Parcialmente

d. La pista inferior contiene la parte izquierda de la cinta M (en orden inverso).

correcto

Hay otras definiciones de las máquinas de Turing que son equivalentes. Algunos de esos modelos alternativos son mucho más complicados aunque todos tienen la misma potencia computacional (o de cálculo). Muchas de ellas dotan de mayor flexibilidad al diseño de una máquina de Turing que resuelva un problema en particular. Una máquina de Turing con una cinta infinita en un sentido puede simular una máquina de Turing con la cinta infinita en los dos sentidos pero con dos pistas. Sea una Máquina de Turing en Dos Direcciones: M una máquina de Turing con una cinta infinita en los dos sentidos. La máquina de Turing M’, que tiene una cinta infinita en un sentido, puede simular a M si tiene una cinta con dos pistas. La cinta superior contiene la información correspondiente a la parte derecha de la cinta M, a partir de un punto de referencia dado. La pista inferior contiene la parte izquierda de la cinta M (en orden inverso). Parcialmente correcto Puntos para este envío: 0.7/1. Question 2 Puntos: 1

Acerca de los PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES, cuáles afirmaciones o razonamientos son válidos. Seleccione al menos una respuesta.

a. Un problema es soluble si existe una MT que no puede parar por su capacidad de cómputo . 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”

Incorrecto: Soluble si existe un algoritmo total para determinar si la propiedad es verdadera (Existe una MT que siempre para al resolver el problema). 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. Incorrecto: Insoluble si no existe un procedimiento

c. Un problema es Insoluble si si existe una MT que se acerque a su solución.

efectivo para determinar si la propiedad es verdadera (no existe una MT). Correcto: Se está definiendo y caracterizando un

d. Mientras que los lenguajes computables son una infinidad numerable, los

"problema de decisión que hace referencia a esta

lenguajes no computables son una infinidad no numerable

característica de "solución o no" de problemas que aborda la Teoría d ela computación.

Correcto: Se está definiendo y caracterizando un "problema de decisión que hace referencia a esta característica de "solución o no" de problemas que aborda la Teoría de la computación. Un problema de decisión (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta de tipo “si/no”. Correcto Puntos para este envío: 1/1. Question 3 Puntos: 1

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

Seleccione una respuesta. a. la máquina tiene dos cintas b. la máquina acepta la cadena.

Incorrecto: la máquina no se detien.

c. hay una terminación anormal. d. la máquina entra en un bucle y no termina nunca. La máquina entra en un bucle Decimos que en la MT se llega al “final de un cálculo” cuando se alcanza un estado especial llamado halt en el control finito, como resultado de una transición. Representaremos al halt por “h”. Al llegar al halt, se detiene la operación de la MT, y se acepta la palabra de entrada. Así, en la MT no hay estados finales. En cierto sentido el halt sería entonces el único estado final, sólo que además detiene la ejecución. Incorrecto Puntos para este envío: 0/1. Question 4 Puntos: 1

Cuál de las siguientes apreciaciones no aplica para el funcionamiento de la Máquina de Turing (MT). Seleccione una respuesta. a. Las informaciones necesarias para resumir la situación de una MT en medio de un cálculo son: Estado en que se encuentra la MT, Contenido de la Cinta y Posición d ela cabeza. b. El desplazamiento de la cabeza de una Máquina de Turing, se realiza en un solo sentido, y no hacia ambos lados. 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á

Esta es la respuesta correcta: Esta apreciación es falsa por cuanto el desplazamiento lo puede hacer en ambos sentidos.

posicionada en el caracter blanco a la izquierda de la palabra de entrada, el cual es el cuadro más a la izquierda de la cinta. Una máquina de Turing tiene una cabeza de lectura/escritura que avanza bidireccionalmente por una cinta infinita por la derecha. • Entrada: contenido inicial de la cinta. • Salida: contenido final de la cinta. Correcto Puntos para este envío: 1/1. Question 5 Puntos: 1

Una de las siguientes afirmaciones corresponde correctamente al concepto de Alan Turing. Seleccione una respuesta. a. Dada una máquina de Turing, existe una gramática estructurada por frases que genera el mismo lenguaje que acepta el autómata si y sólo si la máquina es determinista. b. La tesis de Turing implica que para todo lenguaje existe una máquina de Turing que lo acepta, ya sea el alfabeto finito o infinito. c. Turing describía en su artículo que a través de su máquina había conseguido caracterizar de un modo matemático el número de funciones calculables, usando para ello una máquina abstracta d. La tesis de Turing no implica que los lenguajes más generales que existan sean los lenguajes estructurados por frases.

Corrceto. Existen lenguajes no computables, que no son estructurados por frases y que ninguna máquina de Turing acepta.

La Teoría de la Computabilidad se ocupa de dividir el universo de todos los lenguajes sobre , en aquellos lenguajes que pueden ser reconocidos por algoritmos efectivos y los que no. Ello conduce a las funciones no computables, es decir, a los problemas no resolubles. El objetivo de Turing era el de enfrentarse al problema planteado por Hilbert (el Entscheidumgsproblem) utilizando para ello el concepto abstracto de una máquina, una máquina teórica. Correcto Puntos para este envío: 1/1. Question 6 Puntos: 1

Suponga que se desea construir una máquina de Turing que enumere en orden sobre su cinta todos los números enteros. Indique cuál de las siguientes afirmaciones es verdadera: Seleccione una respuesta. a. Se debe definir una cinta con 9 celdas (por la condicion decimal)

b. No existe ninguna máquina de Turing, ya que el problema planteado no es computable c. La máquina podría devolver el resultado en notación decimal

Correcto: Esta máquina Universal no debe ser diseñada para

Comentario 2: Es fácil construir una máquina de Turing que

realizar un cálculo específico, sino para procesar cualquier

enumere en orden sobre su cinta todos los números enteros, y nada información (realizar cualquier cálculo específico -MT particularimpide que se escriban números en notación decimal en su cinta.

sobre cualquier configuración inicial de entrada correcta para esa MT particular).

d. La máquina necesariamente habría de proporcionar el resultado

en notación binaria . Tenga en cuenta es una máquina abstracta. Esta máquina Universal no debe ser diseñada para realizar un cálculo específico, sino para procesar cualquier información (realizar cualquier cálculo específico -MT particular- sobre cualquier configuración inicial de entrada correcta para esa MT particular). Es posible concebir una M T capaz de ejecutar cualquier algoritmo; es decir capaz de realizar los cálculos que realizaría cualquier otra MT, o sea, capaz de simular (tener el mismo comportamiento) cualquier MT particular. Correcto Puntos para este envío: 1/1. Question 7 Puntos: 1 Asocie correctamente las características de las Variantes o diferentes Máquinas de Turing. Máquina de Turing que usa una cinta que se extiende

Máquinas de Turing de cinta infinita en una dirección.

infinitamente en una única 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

Máquinas de Turing en dos direcciones

dos sentidos pero con dos pistas No debe ser diseñada para realizar un cálculo específico, sino para procesar cualquier información (realizar cualquier cálculo

Máquinas de Turing Multipista

específico -MT particular- sobre cualquier configuración inicial de entrada correcta. MT que para un estado actual y el símbolo actual de la cinta,

Máquinas de Turing no Determinista

puede haber un número finito de movimientos a elegir La cinta está dividida en un numero finito de k pistas

Máquinas Universal de Turing

hay n cintas diferentes y n cabezas de L/E (Lectura / Escritura)

Máquinas de Turing Multicinta

Hay otras definiciones de las máquinas de Turing que son equivalentes. Algunos de esos modelos alternativos son mucho más complicados aunque todos tienen la misma potencia computacional (o de cálculo). Muchas de ellas dotan de mayor flexibilidad al diseño de una máquina de Turing que resuelva un problema en particular. Parcialmente correcto Puntos para este envío: 0.7/1. Question 8 Puntos: 1 Acerca del tipo de cadenas que puede aceptar una Máquina de Turing, determine cuál afirmación es válida. Seleccione una respuesta. a. Cuando se desea que una MT no acepte una palabra, simplemente se debe configurar para que llegue a un estado halt de parada o stop. b. Es posible que un lenguaje sea estructurado por frases pero no exista ninguna máquina de Turing que se detenga exclusivamente cuando las cadenas escritas en su cinta pertenezcan al lenguaje Correcto: Decimos que en la MT se llega al “final de un cálculo” c. Una máquina de Turing cuyo estado inicial coincida con el

cuando se alcanza un estado especial llamado halt en el control

estado de parada acepta toda cadena

finito, como resultado de una transici´on. Representaremos al halt por “h”

d. Cualquier lenguaje puede ser reconocido por una máquina de

Turing La MT es un modelo de máquina abstracta, como una extensión de los autómatas finitos, que resultó ser de una gran simplicidad y poderío a la vez. La máquina de Turing es particularmente importante porque es la m´as poderosa de todas las máquinas abstractas conocidas Al dise˜nar una MT que acepte un cierto lenguaje, en realidad dise˜namos el autómata finito que controla la cabeza y la cinta, el cual es un autómata con salida. Correcto Puntos para este envío: 1/1. Question 9 Puntos: 1 Los PROBLEMAS DE HALTING hacen referencia a: (Seleccione varias opciones). Seleccione al menos una respuesta. a. Equivale a construir un programa que te diga si un problema de ordenador finaliza alguna vez o no (entrando a un bucle infinito, por ejemplo) b. El problema de “Halting” es el primer problema indecidible mediante maquinas de Turing

Correcto 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

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

Incorrecto

Básicamente, Turing definió las bases de las computadoras modernas y planteo un problema sobre ellas, llegando a la conclusión de que no hay ningún algoritmo que lo resuelva. Es el problema de la detención (Halting problem); el problema de saber si un problema se cuelga cuando corre en la computadora. Turing demostró que el problema de la detención es indicidible, es decir, demostró que había problemas que una maquina no podía resolver El problema de “Halting” es el primer problema indecidible mediante maquinas de Turing. Equivale a construir un programa que te diga si un problema de ordenador finaliza alguna vez o no (entrando a un bucle infinito, por ejemplo) Correcto Puntos para este envío: 1/1. Question 10 Puntos: 1

Una Máquina de Turing (MT) se puede comportar como un aceptador de un lenguaje. Si colocamos una cadena w en la cinta, situamos la cabeza de lectura/escritura sobre el símbolo del extremo izquierdo de la cadena w y ponemos en marcha la máquina a partir de su estado inicial. Para que w sea aceptada se requiere: Seleccione una respuesta. a. Que el estado final contenga la cadena vacía o nula b. Que se complete un clico así: Inmediatamente después del primer ciclo de lectura del cabezal a

Incorrecto. Pueden haber varios

la cinta.

ciclos.

c. Que la cinta no haya sido inicializada. d. Si después de una secuencia de movimientos, la Máquina de Turing (mt) llega a un estado final y para Por definición, al iniciar la operación de la MT, la cabeza lectora está posicionada en el caracter blanco a la izquierda de la palabra de entrada, el cual es el cuadro más a la izquierda de la cinta.

La palabra de entrada en la MT está escrita inicialmente en la cinta, como es habitual en nuestros autómatas, pero iniciando a partir de la segunda posición de la cinta, siendo el primer cuadro un caracter blanco. Como la cinta es infinita, inicialmente toda la parte de la cinta a la derecha de la palabra de entrada está llena del caracter blanco (t).

QUIZ III 1 Puntos: 1 La afirmación: “Una máquina de Turing universal es capaz de decidir cualquier lenguaje independiente del contexto.” Seleccione una respuesta. a. Sólo es verdadera para lenguajes independientes del contexto reconocibles mediante autómatas de pila deterministas b. Es verdadera solo si la MT tiene un estado c. Es falsa

d. Es verdadera

Todo lenguaje independiente del contexto es decidible mediante una máquina de Turing, que puede ser simulada mediante una máquina de Turing universal.

Esta máquina Universal no debe ser diseñada para realizar un cálculo específico, sino para procesar cualquier información (realizar cualquier cálculo específico -MT particular- sobre cualquier configuración inicial de entrada correcta para esa MT particular). Correcto Puntos para este envío: 1/1. Question 2 Puntos: 1 Un problema de decisión (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta de tipo “si/no”. Para la Teoría de Lenguajes, un problema de decisión es “insoluble” cuando: (seleccione dos opciones) Seleccione al menos una respuesta. a. Si no se representa con un diagrama de Moore el problema.

Incorrecto: Los diagramas de Moore y de Transición o la foma como se represneten los problemas, no tienen nada que ver con la determinaciòn si es insoluble o no.

b. Si no existe un algoritmo total Correcto:Un problema de decisión es: • Soluble si existe un algoritmo total para determinar si la propiedad y para determinar si la propiedad es verdadera (Existe una MT que siempre para objetivo del problema es verdadera. al resolver el problema). • Parcialmente soluble si existe un algoritmo parcial

para determinar si la propiedad es verdadera (existe una MT que resuelve el problema, pero puede no parar). • Insoluble si no existe un procedimiento efectivo para determinar si la propiedad es verdadera (no existe una MT).

c. Si no existe un procedimiento efectivo para determinar si la propiedad es verdadera (no existe una Máquina de Turing MT).

d. Si no se representa con una Tabla de transiciones el problema.

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). Incorrecto:Los diagramas de Moore y de Transición o la foma como se represneten los problemas, no tienen nada que ver con la determinaciòn si es insoluble o no.

Un problema de decisión (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta de tipo “si/no”. Correcto Puntos para este envío: 1/1. Question 3 Puntos: 1 Los ítems que encontrará a continuación constan de una afirmación VERDADERA (tesis) y dos postulados también VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen lógicamente de la afirmación y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instrucción: Marque A si de la tesis se deducen los postulados I y II. Marque B si de la tesis se deduce el postulado I. Marque C si de la tesis sólo se deduce el postulado II. Marque D si ninguno de los postulados se deduce de la tesis. TESIS. Se dice que en la MT se llega al “final de un cálculo” cuando se alcanza un estado especial llamado halt en el control finito, como resultado de una transición.. POSTULADO I. Al llegar al halt, se detiene la operación de la MT, y se acepta la palabra de entrada.. POSTULADO II. Por ello es que en la MT no hay estados finales. Seleccione una respuesta. a. OPCION A b. OPCION D c. OPCION B

Correcto: Deficinicón de MT. Son postulados verdaderos que se deducen de la Tesis

d. OPCION C Deficinicón de MT. Son postulados verdaderos que se deducen de la Tesis Deficinicón de MT. Son postulados verdaderos que se deducen de la Tesis Correcto Puntos para este envío: 1/1. Question 4 Puntos: 1 Este tipo de ítems consta de dos proposiciones así: una Afirmación y una Razón, unidas por la palabra PORQUE. Usted debe examinar la veracidad de cada proposición y la relación teórica que las une. Para responder este tipo de ítems, debe leerla completamente y señalar en la hoja de respuesta, la elegida de acuerdo con las siguientes instrucciones: Marque A si la afirmación y la razón son VERDADERAS y la razón es una explicación CORRECTA de la afirmación. Marque B si la afirmación y la razón son VERDADERAS, pero la razón NO es una explicación CORRECTA de la afirmación. Marque C si la afirmación es VERDADERA, pero la razón es una proposición FALSA. Marque D si la afirmación es FALSA, pero la razón es una proposición VERDADERA. La máquina de Alan Turing propuesta en los años 30 se puede considerar como un Autómata PORQUE El modelo de ésta máquina abstracta es una extensión de los Autómatas Finitos.

Seleccione una respuesta. a. OPCION C

b. OPCION B

c. OPCION D

d. OPCION A Correcto: tanto la razón y la afirmación son verdaderas y las razón es una explicación correcta de la afirmación. Corresponde a la aplicación de las MT tanto la razón y la afirmación son verdaderas y las razón es una explicación correcta de la afirmación. Corresponde a la aplicación de las MT Tanto la razón y la afirmación son verdaderas y las razón es una explicación correcta de la afirmación. Corresponde a la aplicación de las MT Correcto

Puntos para este envío: 1/1. Question 5 Puntos: 1 Los ítems que encontrará a continuación constan de una afirmación VERDADERA (tesis) y dos postulados también VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen lógicamente de la afirmación y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instrucción: Marque A si de la tesis se deducen los postulados I y II. Marque B si de la tesis se deduce el postulado I. Marque C si de la tesis sólo se deduce el postulado II. Marque D si ninguno de los postulados se deduce de la tesis. TESIS: La reducibilidad ha permitido llegar a determinar la indecibilidad en algunos problemas computacionales. POSTULADO I. Una manera más simple de determinar la indecibilidad es utilizando el método de reducción, el cual está implícito en nuestra manera de pensar a la hora de solucionar ciertos problemas. POSTULADO II. dado un problema P1, este se reduce a solucionar P2. Es decir, si solucionamos P2, tenemos solucionado P1. De esta manera hemos convertido un problema en otro.

Seleccione una respuesta. a. OPCION A Correcto: Hace referencia a la reducibilidad de Turing. Los dos postulados se derivan de la Tesis. Además todos son verdaderos. b. OPCION D

c. OPCION C

d. OPCION B

Hace referencia a la reducibilidad de Turing. Los dos postulados se derivan de la Tesis. Además todos son verdaderos. Hace referencia a la reducibilidad de Turing. Los dos postulados se derivan de la Tesis. Además todos son verdaderos. Correcto Puntos para este envío: 1/1. Question 6 Puntos: 1

No hay diferencia alguna entre una Máquina de Turing y una Máquina Universal de Turing PORQUE Las dos hacen referencia a la misma máquina Seleccione una respuesta. a. La Afirmación y la Razón son VERDADERAS pero la Razón NO es una explicación CORRECTA de la Afirmación b. La Afirmación y la Razón son VERDADERAS y la Razón es una explicación Incorrecto: Se está hablando de dos máquinas diferentes. CORRECTA de la Afirmación c. La Afirmación es FALSA, pero la Razón es una proposición VERDADERA

d. La Afirmación es VERDADERA, pero la Razón es una proposición FALSA

La Máquina Universal de Turing no debe ser diseñada para realizar un cálculo específico, sino para procesar cualquier información (realizar cualquier cálculo específico -MT particular- sobre cualquier configuración inicial de entrada correcta para esa MT particular). Incorrecto Puntos para este envío: 0/1. Question 7 Puntos: 1 La forma correcta de operar una Máquina de Turing (MT) es: Seleccione una respuesta. a. Inicialización de la Máquina / Se pone la unidad de control en el estado inicial / La cinta está en blanco / Introducir la cadena de entrada en la cinta / Se posiciona la cabeza sobre la primera letra de la cadena introducida b. Inicialización de la Máquina / Introducir la cadena de entrada en Incorrecto: La operación de la MT consta de los la cinta / La cinta está en blanco para iniciar / Se posiciona la siguientes pasos: 1. Lee un caracter en la cinta cabeza sobre la primera letra de la cadena introducida / Se pone la 2. Efectúua una transición de estado 3. Realiza una acción en la cinta unidad de control en el estado inicial c. Inicialización de la Máquina / Introducir la cadena de entrada en la cinta / La cinta está en blanco para iniciar / Se pone la unidad de control en el estado inicial / Se posiciona la cabeza sobre la primera letra de la cadena introducida d. Inicialización de la Máquina / La cinta está en blanco / Introducir la cadena de entrada en la cinta / Se pone la unidad de control en

el estado inicial / Se posiciona la cabeza sobre la primera letra de la cadena introducida La máquina de Turing (abreviado MT) tiene, como los autómatas que hemos visto antes, un control finito, una cabeza lectora y una cinta donde puede haber caracteres, y donde eventualmente viene la palabra de entrada. La cinta es de longitud infinita hacia la derecha, hacia donde se extiende indefinidamente, llenándose los espacios con el caracter blanco (que representaremos con “t”). La cinta no es infinita hacia la izquierda, por lo que hay un cuadro de la cinta que es el extremo izquierdo, como en la figura En la MT la cabeza lectora es de lectura y escritura, por lo que la cinta puede ser modificada en curso de ejecución. Además, en la MT la cabeza se mueve bidireccionalmente (izquierda y derecha), por lo que puede pasar repetidas veces sobre un mismo segmento de la cinta. Incorrecto Puntos para este envío: 0/1. Question 8 Puntos: 1 Los ítems que encontrará a continuación constan de una afirmación VERDADERA (tesis) y dos postulados también VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen lógicamente de la afirmación y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instrucción: Marque A si de la tesis se deducen los postulados I y II. Marque B si de la tesis se deduce el postulado I. Marque C si de la tesis sólo se deduce el postulado II. Marque D si ninguno de los postulados se deduce de la tesis. TESIS: La máquina de Turing es una máquina abstracta que se comporta como una extensión de los autómatas finitos, que resultó ser de una gran simplicidad y poderío a la vez. POSTULADO I. La máquina de Turing (abreviado MT) tiene, un control finito, una cabeza lectora y una cinta donde puede haber caracteres, y donde eventualmente viene la palabra de entrada. POSTULADO II. La máquina de Turing es particularmente importante porque es la más poderosa de todas las máquinas abstractas conocidas.

Seleccione una respuesta. a. OPCION C b. OPCION D c. OPCION A d. OPCION B

Incorrecto

Solo se deduce el Postulado II. Se trata de identificar el objetivo para el cual se creo la MT: la robustez y simplicidad Solo se deduce el Postulado II. Se trata de identificar el objetivo para el cual se creo la MT: la robustez y simplicidad Incorrecto Puntos para este envío: 0/1. Question 9 Puntos: 1 Asocie correctamente las teorías o trabajos en automatización que estos autores trabajaron y fueron relevantes para determinar y apoyar el estudio de AUTOMATA SY LENGUAJES FORMALES. Inición con mostrar la existencia de problemas indecidibles

HALTING

Procuró conseguir un modelo matemático formal, completo y consistente, en el que a través de un algoritmo, se pudiese determinar la veracidad o falsedad de cualquier proposición formal

HILBERT

Definió las bases de las computadoras modernas y planteo un problema sobre ellas, llegando a la conclusión de que no hay ningún algoritmo que lo resuelva.

TURING

Primer problema indecidible mediante maquinas de Turing

CHURCH

El origen de los modelos abstractos de computación se encuadra en los años '30 (antes de que existieran los ordenadores modernos), para el trabajo de los lógicos Alonzo Church, Kurt Gödel, Stephen Kleene, Emil Leon Post, y Alan Turing. Estos trabajos iniciales han tenido una profunda influencia, tanto en el desarrollo teórico como en abundantes aspectos de la práctica de la computación; previendo incluso la existencia de ordenadores de propósito general, la posibilidad de interpretar programas, la dualidad entre software y hardware, y la representación de lenguajes por estructuras formales basados en reglas de producción. Parcialmente correcto Puntos para este envío: 0.5/1. Question 10 Puntos: 1 Una de las siguientes afirmaciones es verdadera selecciónela: Seleccione una respuesta. a. Dada una máquina de Turing, existe una gramática estructurada por frases que genera el mismo lenguaje que acepta el autómata si y sólo si la máquina es determinista. b. La tesis de Turing implica que para todo lenguaje existe una máquina de Turing que lo acepta, ya sea el alfabeto finito o infinito.

c. La tesis de Turing no implica que los lenguajes más generales que existan sean los lenguajes estructurados por frases.

Existen lenguajes no computables, que no son estructurados por frases y que ninguna máquina de Turing acepta.

Correcto Puntos para este envío: 1/1. Question 11 Puntos: 1 Indique cuál de las siguientes afirmaciones es verdadera o aplica al diseño y construcción de las Máquinas de Turing (MT). Seleccione una respuesta. 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 a. Es posible diseñar una máquina de Turing de reconocen respectivos lenguajes L i mediante mensajes de aceptación que identifican al lenguaje). Las cadenas que llevan a la tres cintas que reconozca tres lenguajes. máquina a un bucle de ejecución infinita no pueden ser reconocidas, ya que es imposible determinar si la ejecución va a terminar o no en algún momento (es el problema de los lenguajes no decidibles). b. Con una única máquina de Turing, ya sea de una o varias cintas, determinista o no determinista, sólo es posible reconocer un lenguaje c. Con una única máquina de Turing pueden reconocerse tres lenguajes: el lenguaje de las cadenas que acepta, el lenguaje de las cadenas que rechaza y el lenguaje de las cadenas que llevan a la máquina a un bucle de ejecución infinita. Al diseñar una MT que acepte un cierto lenguaje, en realidad diseñamos el autómata finito que controla la cabeza y la cinta, el cual es un autómata con salida Así, podemos usar la notación gráfica utilizada para aquellos autómatas para indicar su funcionamiento Correcto Puntos para este envío: 1/1.

Question 12 Puntos: 1 En una Máquina de Turing la cabeza lectora es de Escritura y Lectura debido a que: Seleccione una respuesta. a. Se lee un Carácter en la Cinta. b. La cabeza se mueve Unidireccionalmente.

c. La cinta puede ser modificada en curso de ejecución.

Respuesta Correcta. La palabra de entrada en la MT está escrita inicialmente en la cinta, como es habitual en nuestros autómatas, pero iniciando a partir de la segunda posición de la cinta, siendo el primer cuadro un caracter blanco. Como la cinta es infinita, inicialmente toda la parte de la cinta a la derecha de la palabra de entrada está llena del caracter blanco (t).

d. No pasa repetidas veces sobre un mismo segmento.

Al diseñar una MT que acepte un cierto lenguaje, en realidad diseñamos el autómata finito que controla la cabeza y la cinta, el cual es un autómata con salida Así, podemos usar la notación gráfica utilizada para aquellos autómatas para indicar su funcionamiento Correcto Puntos para este envío: 1/1. Question 13 Puntos: 1 Seleccione cuál de las siguientes situaciones no es posible cuando una máquina de Turing determinista examina una cadena: Seleccione una respuesta. a. La máquina abandona los cálculos por no encontrar ninguna transición aplicable b. Se produce una terminación anormal (es decir, la cabeza lectora se desplaza a la izquierda de la primera celda de la cinta)

Puesto que la máquina es determinista, necesariamente encuentra siempre una transición aplicable.

c. La máquina no se detiene nunca. Ya que cualquier máquina de Turing determinista es también no determinista, es lógico que una máquina de Turing determinista se pueda simular mediante una no determinista. También una máquina de Turing determinista puede simular una no determinista. Por tanto, no se gana ninguna potencia adicional a causa del no determinismo. Correcto Puntos para este envío: 1/1. Question 14 Puntos: 1 La maquina de Turíng opera cíclicamente dado que: Seleccione una respuesta. a. Al comienzo de un ciclo se parte de una determinada configuración.

Respuesta Correcta. Se debe definir la configuración inicial para iniciar el ciclo de trabajo

b. Una instrucción viene representada por un quíntupla. c. La cabeza puede leer y escribir en un mismo carácter. d. Comienza por una palabra de entrada. Esta máquina Universal no debe ser diseñada para realizar un cálculo específico, sino para procesar cualquier información (realizar cualquier cálculo específico -MT particular- sobre cualquier configuración inicial de entrada correcta para esa MT particular). Correcto Puntos para este envío: 1/1. Question 15 Puntos: 1 Dependiendo de los diferentes tipos de Máquinas de Turing (MT), estas se comportan de manera diferenete en la solución de problemas. para una MT MULTIPISTA, indique una propiedad válida de esta. Seleccione una respuesta. a. En esta MT no se inicializan las cintas por que tienen muchas pistas. b. La cinta esta dividida en un número finito de k

pistas c. La cinta está en un número infinito de k pistas. Por eso es MULTIPISTA

Incorrecto:En el modelo multipista, la cinta está dividida en un número FINITO de k pistas.

d. Al haber varias pistas, requiere de más estados de transición Hay ciertos modelos de computación relacionados con las máquinas de Turing, que poseen el mismo potencial como reconocedores de lenguajes que el modelo básico. Dentro de esas modificaciones, una muy particular es la MULTIPISTA que resulta muy efectiva para solución d eproblemas extensos.

View more...

Comments

Copyright ©2017 KUPDF Inc.
SUPPORT KUPDF