PRESABER

1 Puntos: 1 De un Lenguaje Libre de Contexto podemos afirmar que es: Seleccione una respuesta. a. Es lo mismo que decir un Autmata Libre de Contexto b. Es el Algoritmo que nos indica el lenguaje de la gramtica

c. Es un Lenguaje que es generado por una gramtica libre Correcto: (gramticas libres del contexto) generan los lenguajes de contexto d. Es un lenguaje regular (gramticas libres del contexto) generan los lenguajes independientes del contexto. Consideramos entonces los lenguajes libres (independientes) del contexto, y las gramticas libres del contexto y los autmatas con pila, como forma de caracterizarlos y manejarlos. Los distintos lenguajes formales que se pueden construir sobre un alfabeto concreto pueden clasificarse en clases cada vez ms amplias que incluyen como subconjunto a las anteriores, de acuerdo con la jerarqua establecida por Chomsky en los aos 50. Correcto Puntos para este envo: 1/1. Question 2 Puntos: 1 La evolucin de las mquinas (computadoras9 obedece principalmente a: Seleccione una respuesta. a. Su aplicacin para resolver problemas de contexto en lenguajes d eprogramacin b. Su aplicacin para resol ver problemas de Turing c. Su aplicacin para resolver problemas infinitos y complejos d. Su aplicacin para resolver problemas cientficos. Un aspecto importante en el desarrollo de los computadores, es sin duda, su aplicacin para resolver problemas cientficos y empresariales Incorrecto Puntos para este envo: 0/1. Question 3 Puntos: 1 Cul de las siguientes cadenas corresponde con un Lenguaje Regular: Seleccione una respuesta. a. {abababab} b. {aaababaa} c. {abca} 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 envo: 0/1. Incorrecto: Los lenguajes regulares se llaman as porque sus palabras contienen regularidades o repeticiones. Incorrecto independientes del contexto.

Question 4 Puntos: 1 Si L es un Lenguaje sobre el Alfabeto A entonces En el lenguaje generado por la expresin L+ se aceptan cadenas: Seleccione una respuesta. a. Toda la combinacin de cadenas posibles menos la vaca. b. Ninguna combinacin 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 vaca. Incorrecto: La operacin + excluye la cadena vaca nicamente.

Es una expresin que denota todas las posibles combinaciones de smbolos para formar cadenas o palabras excluyendo la cadena vaca. Es una expresin que denota todas las posibles combinaciones de smbolos para formar cadenas o palabras excluyendo la cadena vaca. Incorrecto Puntos para este envo: 0/1. Question 5 Puntos: 1 Cules de los siguientes elementos son necesarios para conocer el estado de un Autmata en un momento dado. Seleccione al menos una respuesta. a. Lenguaje que reconoce el autmata. b. Alfabeto c. Estado Finito d. Smbolo de Entrada e. Cadena aceptada f. Lenguaje

Incorrecto: El lenguaje que reconoce el autmata es independiente del nmero de estados. Incorrecto: El alfabeto es indiferente a determinar el estado de un autmata. Incorrecto. El estado de un autmata es toda la informacin necesaria en un momento dado Correcto: El estado de un autmata es toda la informacin necesaria en un momento dado, para poder deducir, dado un smbolo de entrada en ese momento, cual ser el smbolo de salida Incorrecto: Las cadenas o palabras no determinan el estado actual del autmata. El lenguaje es una caracterstica propia del Autmata. No tiene nada que ver con identificar el estado actual del autmata. Correcto: El estado de un autmata es toda la informacin necesaria en un momento dado, para poder deducir, dado un smbolo de entrada en ese momento, cual ser el smbolo de salida Incorrecto: Las cadenas rechazadas no pueden determinar el estado actual de un Autmata.

g. Smbolo de salida h. Cadena rechazada

Se define configuracin de un autmata a su situacin en un instante. Se define movimiento de un autmata como el transito entre dos configuraciones. Si un autmata se encuentra en un estado determinado, recibe un smbolo tambin determinado, producir un smbolo de salida y efectuar un cambio o transicin a otro estado (tambin puede quedarse en el mismo estado). Conocer el estado de un autmata, es lo mismo que conocer toda la historia de smbolos de entrada, as como el estado inicial, estado en que se encontraba el autmata al recibir el primero de los smbolos de entrada. El autmata tendr un determinado nmero de estados (pudiendo ser infinitos), y se encontrar en uno u otro segn sea la historia de smbolos que le han llegado. Correcto Puntos para este envo: 1/1. Question 6 Puntos: 1 Los bloques constructores de lenguajes son:

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

a. Gramtica b. Cadenas o Palabras c. Jerarqua de Chomsky

d. Smbolo e. Alfabeto El bloque ms sencillo de construccin de Lenguajes es el Alfabeto. El bloque ms sencillo de construccin de Lenguajes es el Alfabeto.

RECONOCIMIENTO I
1 Puntos: 1 Los lenguajes aceptados por los autmatas finitos son fcilmente descritos por expresiones simples llamadas expresiones regulares quienes les dan el nombre de conjuntos regulares a dichos lenguajes. Estas caractersticas son definidas tambin por el tipo de gramtica. Un concepto claro y ordenado de estos conceptos es: (seleccione solo una opcin). Seleccione una respuesta. a. Los autmatas no pueden describir el comportamiento de otras mquinas o sistemas. ya que son nicos para cada algoritmo, es decir desarrollan su propio problema.

b. Los autmatas pueden usarse para reconocer lenguajes. Es decir, para leer cadenas (secuencias de smbolos) sin importar si pertenecen o no a un lenguaje. Son mquinas poderosas que automatizan procesos y combinan lenguajes. c. Los autmatas finitos son capaces de reconocer diferentes tipos de lenguajes, que pueden ser caracterizados tambin, mediante diferentes tipos de gramticas para un solo lenguaje. d. Una forma adicional de caracterizar los lenguajes que son las frases del lenguaje, construidas mediante operadores sobre el alfabeto del mismo y otras expresiones regulares, incluyendo el lenguaje vaco Correcto: Estas caracterizaciones de los lenguajes regulares se utilizan en describir el lenguaje de cada una de ellas. Los autmatas finitos se utilizan generalmente para verificar que las cadenas pertenecen al lenguaje, y como un analizador en la traduccin de algoritmos al computador.

regulares, es mediante las llamadas expresiones regulares, la prctica, segn que la situacin concreta est favorecida por la forma de

Estas caracterizaciones de los lenguajes regulares se utilizan en la prctica, segn que la situacin concreta est favorecida por la forma de describir el lenguaje de cada una de ellas. Los autmatas finitos se utilizan generalmente para verificar que las cadenas pertenecen al lenguaje, y como un analizador en la traduccin de algortmos al computador. Estas caracterizaciones de los lenguajes regulares se utilizan en la prctica, segn que la situacin concreta est favorecida por la forma de describir el lenguaje de cada una de ellas. Los autmatas finitos se utilizan generalmente para verificar que las cadenas pertenecen al lenguaje, y como un analizador en la traduccin de algortmos al computador. Correcto Puntos para este envo: 1/1.

Question 2 Puntos: 1

Un diagrama de Moore o de Transicin de Estados representa una abstraccin de un modelo matemtico de un Autmata, siendo anlogo a ____________, que representa la abstraccin de una Mquina usada en procesos automatizados.
Seleccione una respuesta. Correcto: Los diagramas de Moore son otra forma de representar las funciones de transicin y salida de un autmata.

a. El plano del diseo de la mquina b. Las caractersticas tcnicas de la Mquina c. La instrucciones de operacin de la Mquina d. Las caractersticas de color de la mquina

El diagrama de Moore es un grafo orientado en el que cada nodo corresponde a un estado Los diagramas de Moore son otra forma de representar las funciones de transicin y salida de un autmata. Correcto Puntos para este envo: 1/1. Question 3 Puntos: 1

Los lenguajes se pueden clasificar segn el tipo de dispositivos de aceptacin y generacin que existen para ellos. Con respecto a esto, asocie correctamente los siguientes textos:
Alfabeto Los mecanismos de aceptacin de los lenguajes regulares y de los lenguajes libres de contexto forman la base para Los dispositivos de generacin de los lenguajes regulares y de los lenguajes libres de contexto, son ampliamente usados como modelos para expresar la Lenguaje
Conjunto finito no vaco de elementos. la sintaxis de los lenguajes de programacin. el diseo de los analizadores lxicos y sintcticos de los compiladores. Conjunto de palabras o sentencias formadas sobre un alfabeto.

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

La Teora de Lenguajes, define bloques constructores de lenguaje. El bloque ms sencillo es el alfabeto. De las siguientes afirmaciones cuales definen o son verdaderas con respecto a un alfabeto Pueden haber varias opciones vlidas
Seleccione al menos una respuesta. a. Los smbolos pueden ser nombres. b. Los alfabetos son finitos. c. Por smbolo, no se est haciendo referencia a un solo carcter. d. { , , , } Es un ejemplo de alfabeto. Lenguaje Formal: Un alfabeto es un conjunto finito de smbolos. De esta definicin se debe resaltar lo siguiente. (1) Los alfabetos son finitos. (2) Por smbolo no se est esta haciendo referencia a un slo carcter. Los smbolos pueden ser nombres. Todas las respuestas son verdaderas. Lenguaje Formal: Un alfabeto es un conjunto finito de smbolos. De esta definicin se debe resaltar lo siguiente. (1) Los alfabetos son finitos. (2) Por smbolo no se est esta haciendo referencia a un slo carcter. Los smbolos pueden ser nombres. Todas las respuestas son verdaderas. Correcto Puntos para este envo: 1/1. Question 5 Puntos: 1 Correcto Correcto Correcto

1. Se denomina cadena, palabra o frase a una secuencia finita de smbolos de un alfabeto . Estas cadenas son denotadas como w. Dado el siguiente autmata finito determinstico (AFD) A = (Q, , f, q0, F) donde: Q es un conjunto de estados. es el alfabeto de entrada f: Q X Q es la funcin (total) de transicin. q0 pertenece Q es el estado inicial. F incluye Q es el conjunto de estados finales.

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

El conjunto de palabras aceptadas por este autmata son:

Seleccione una respuesta. a. Todas las palabras que terminan en dos as b. {w a | w {a,b} potencia 2 } c. Todas las palabras que terminan en a y que estn precedidas por una b d. {w a | w {a,b}* } Correcto: El conjunto de palabras aceptadas por este autmata son la palabras que terminan en a.

El conjunto de palabras aceptadas por este autmata son la palabras que terminan en a. El conjunto de palabras aceptadas por este autmata son la palabras que terminan en a. Correcto Puntos para este envo: 1/1. Question 6 Puntos: 1

Se construy el siguiente autmata finito M para que cumpliera:

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

Pero no fue vlido por que:

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 aceptacin o finales Incorrecto: El hecho que el Autmata tenga dos estados finales no lo clasifica como no vlido. Se est evaluando es la ER que reconoce.

El hecho que el Autmata tenga dos estados finales no lo clasifica como no vlido. Se est evaluando es la ER que reconoce. La configuracin de un autmata finito (sin importar el tipo) en cierto instante viene dada por el estado del autmata en ese instante y por la porcin de cadena de entrada que le queda por leer o procesar. La porcin de cadena leda hasta llegar al estado actual no tiene influencia en el comportamiento futuro de la mquina. En este sentido podemos decir que un AF es una mquina sin memoria externa; son los estados los que resumen de alguna forma la informacin procesada.

LECCION I
1 Puntos: 1

Los autmatas y su definicin se pueden representar mediante :

Seleccione al menos una respuesta. Correcto: Se pueden identificar estados, transiciones y desde all se puede identificar las cadenas vlidas.

a. Tabla de transiciones b. Descripcin matemtica de la funcin de transicin c. El conjunto de tablas representativas d. Diagramas de Moore

Correcto: Los diagramas de Moore son otra forma de representar las funciones de transicin y salida de un autmata.

La palabra autmata evoca algo que pretende imitar las funciones propias de los seres vivos, especialmente relacionadas con el movimiento. Se pueden represnerar o definir mediante las tablas de transicin, Diagramas de Moore, La funcin de transicin. Parcialmente correcto Puntos para este envo: 0.7/1. Question 2 Puntos: 1 Cuando se define un autmata finito se puede construir o recrear mediante las tablas de transiciones. Al respecto indique cul afirmacin respecto a la creacin de tablas de transicin es vlida: Seleccione una respuesta. a. La fila i representa los estados. Las columnas j representan los smbolos. Cada celda (i,j) los Correcto. Esto es lo mismo que posibles estados que alcanza el diagrama de transiciones cuando se encuentra en el estado i y describir el diagrama de transiciones lee el smbolo j. b. La fila i representa los smbolos. La Columna j representa los estados y cada celda (i,j) los posibles estados que alcanza el diagrama de Moore que es el que genera la tabla de transicin. completo.

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

primera celda (i,j) de la tabla. d. El estado final en una tabla de transicin se identifica mediante el smbolo de interrogacin. este puede ubicarse en cualquier celada (i,j) Tabla de transiciones. Las funciones f y g pueden representarse mediante una tabla, con tantas filas como estados y tantas columnas como entradas Tabla de transiciones. Las funciones f y g pueden representarse mediante una tabla, con tantas filas como estados y tantas columnas como entradas Correcto Puntos para este envo: 1/1. Question 3 Puntos: 1 Asocie correctamente los elementos de una tupla de un Autmata Expresin Regular Suele describirse al estado final o de aceptacin As se le llama a la cadena vaca Suele ser el estado inicial Conjunto de estados posibles
F Q lambda q0 ER

Un autmata es una quntupla A = (E, S, Q, f, g ) donde : E = {conjunto de entradas o vocabulario de entrada} S = {conjunto de salidas o vocabulario de salida} Q = {conjunto de estados} E es un conjunto finito, y sus elementos se llaman entradas o smbolos de entrada. S es un conjunto finito, y sus elementos se llaman salidas o smbolos de salida. Q es el conjunto de estados posibles, puede ser finito o infinito. Parcialmente correcto Puntos para este envo: 0.4/1. Question 4 Puntos: 1

Que representa la siguiente figura:

Seleccione una respuesta. a. No representa un autmata vlido por que el mismo estado inicial es el mismo estado final. b. Un Autmata que acepta palabras o cadenas que contienen nicamente bs c. No representa un autmata vlido por que tiene un solo estado. d. Un Autmata de tipo AFND vlido Correcto: Es una extensin vlida de un AFD.

Es un Autmata Finito No Determinstico (AFND) vlido. Es una extensin vlida de un AFD. Permite que de cada nodeo del diagrama de estados salga un nmero de flechas mayor o menor que || Es un Autmata Finito No Determinstico (AFND) vlido. Es una extensin vlida de un AFD. Permite que de cada nodeo del diagrama de estados salga un nmero de flechas mayor o menor que || Correcto Puntos para este envo: 1/1. Question 5 Puntos: 1

Teniendo en cuenta la Teora de los Autmatas y Lengujaes Formales, y los diferentes Modelos de Computacin, identifique los postulados vlidos y relevantes cuando se habla de de AUTOMATAS.
Seleccione al menos una respuesta. a. El propsito inicial de la automatizacin es hacer precisa la nocin intuitiva de funcin calculable; esto es, una funcin cuyos valores pueden ser calculados de forma automtica o efectiva mediante un algoritmo, y construir modelos tericos para ello (de computacin). b. La teora de la computabilidad puede caracterizarse, desde el punto de vista de las Ciencias de la Computacin es la bsqueda de mtodos automticos de clculo. El primer paso de esta bsqueda est en el estudio de los modelos de computacin. Los comienzos de la Teora. La Tesis de Church-Turing c. La Teora de Conjuntos es de importancia y es un prerrequisito en el estudio de la Teora de los Autmatas y Lengujaes Formales d. Un aspecto importante en el desarrollo de los computadores, es sin duda, su aplicacin para guardar informacin.

Esta bsqueda de automatizacin fue uno de los principios por lo que se desarrollaron muchas teoras de computacin automtica. Respuesta Correcta: Los modelos abstractos de computacin tienen su origen en los aos 30, bastante antes de que existieran los computadores modernos, en el trabajo de los lgicos Church, Gdel, Kleene, Post, y Turing. Correcto, la Teora de Conjuntos es importante en el estudio de los Autmatas Incorrecto: Un aspecto importante en el desarrollo de los computadores, es sin duda, su aplicacin para resolver problemas cientficos y empresariales.

Resolver estos problemas mediante una sucesin de pasos claros, concretos y sencillos, es decir algoritmos. El avance de las matemticas permite la utilizacin de nuevas metodologas para la representacin y manejo de la informacin. Las mquinas abstractas "Autmatas" contribuyen a este avance cientsifco. El estudio de los Autmatas y su aplicabilidad tiene como intento de los matemticos y cientficos para obtener un procedimiento general para resolver cualquier problema (matemtico) claramente formulado. Es lo que podramos llamar El problema de la computacin terica. El avance de la tecnologa y de las matemticas, y ms en concreto de la teora de conjuntos y de la lgica, permiten plantearse aspectos de la computacin en 3 caminos. Correcto Puntos para este envo: 1/1. Question 6 Puntos: 1 El nmero mnimo de estados de un autmata finito no determinista es: Seleccione una respuesta. a. Dos b. No hay nmero mnimo c. Depende del alfabeto sobre el que est definido. d. Uno Correcto: Un solo estado es suficiente para repesentar una mquina SFND si as fuese su diseo. En este caso el mismo estado inicial es el final.

Hacemos notar en este punto que, dado que los AFN tienen menos restricciones que los AFD, resulta que los AFD son un caso particular de los AFND, por lo que todo AFD es de hecho un AFND. Un solo estado es suficiente para representar esta mquina si as se diseara. (AFND) Una extensin a los autmatas finitos deterministas es la de permitir que de cada nodo del diagrama de estados salga un nmero de flechas mayor o menor que As, se puede permitir que falte la flecha correspondiente a alguno de los smbolos del alfabeto, o bien que haya varias flechas que salgan de un solo nodo con la misma etiqueta. Inclusive se permite que las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vaca. A estos autmatas finitos se les llama no Determinsticos o no deterministas (abreviado AFND), Al retirar algunas de las restricciones que tienen los autmatas finitos Determinsticos, su diseo para un lenguaje dado puede volverse ms simple. Correcto Puntos para este envo: 1/1. Question 7 Puntos: 1 Sea el autmata A = (, Q, f, q1, F) donde

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

Determine qu aspectos son vlidos para el autmata.

Seleccione al menos una respuesta. a. Es un Autmata Finito Determinstico con lambda transiciones b. Es un Autmata Finito Determinstico (AFD) c. El lenguaje reconocido por el autmata es: a (b* | a* ) ba*

Incorrecto: No solo hay transiciones Lambda Incorrecto:Se debe tener en cuenta la propiedad de "determinstico o no determinstico" Correcto. Esta ER es vlida

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

Correcto. Esta ER es vlida

Es un AFND. El lenguaje que reconoce es : a (b*b | a*b) a* o tambin a (b* | a* ) ba* para efectos de mejor comprensin, hay que recrear o realizar el autmata mediante un diagrama de Moore Es un AFND. El lenguaje que reconoce es : a (b*b | a*b) a* o tambin a (b* | a* ) ba* para efectos de mejor comprensin, se debe escojer una cadena vlida y compararla con la ER. Correcto Puntos para este envo: 1/1. Question 8 Puntos: 1

Se disea el siguiente Autmata Finito Deterministico (AFD) para el lenguaje de palabras del alfabeto {a,b} que no tiene varias as seguidas. Esta solucin es defectuosa porque.

Seleccione al menos una respuesta. Correcto: El "problema de diseo" de un AFD es considerar demasiadas posibilidades. El hecho que tenga dos estados finales o de aceptacin no es problema y es vlido en el diseo. La palabra "baba" No es aceptada por el autmata aunque sus elementos o smbolos si hacen parte del alfabeto que las compone. Incorrecto: Los dos estados finales no son errores de diseo. Correcto: El "problema de diseo" de un AFD es considerar demasiadas posibilidades. El hecho que tenga dos estados finales o de aceptacin no es problema y es vlido en el diseo. La palabra "baba" No es aceptada por el autmata aunque sus elementos o smbolos si hacen parte del alfabeto que las compone.

a. Hay palabras como baa, que tiene as seguidas y sin embargo son aceptadas por el AFD. b. Tiene dos finales o de aceptacin q1 y q2 . c. Hay palabras como ba, que no tienen as seguidas y sin embargo no son aceptadas por el AFD d. Hay palabras como baba que no tienen as seguidas y sin embargo son aceptadas por el AFD pero que no pertenecen al alfabeto dado.

Incorrecto: esta regularidad no es error de diseo del AF.

El "problema de diseo" de un AFD es considerar demasiadas posibilidades. El hecho que tenga dos estados finales o de aceptacin no es problema y es vlido en el diseo. La palabra "baba" No es aceptada por el autmata aunque sus elementos o smbolos si hacen parte del alfabeto que las compone. El "problema de diseo" de un AFD es considerar demasiadas posibilidades. El hecho que tenga dos estados finales o de aceptacin no es problema y es vlido en el diseo. La palabra "baba" No es aceptada por el autmata aunque sus elementos o smbolos si hacen parte del alfabeto que las compone. Correcto Puntos para este envo: 1/1. Question 9 Puntos: 1 Acerca de la Equivalencia de AFD Y AFN es vlido afirmar. Seleccione una respuesta. a. Para covertir u AFD a u AFND, el AFD debe tener menos estados que el AFND b. Todo Autmata por defecto es No determinstico c. Los autmatas finitos determinsticos (AFD) son un subconjunto propio de los no determinsticos (AFN) Correcto.

d. Todo Autmata por defecto es Determinstico. Los autmatas finitos determinsticos (AFD) son un subconjunto propio de los no determinsticos (AFN), lo que quiere decir que todo AFD es un AFN. Podra entonces pensarse que los AFN son ms poderosos que los AFD, en el sentido de que habra algunos lenguajes aceptados por algn AFN para los cuales no habra ningn AFD que los acepte. Sin embargo, en realidad no sucede as. Los autmatas finitos determinsticos (AFD) son un subconjunto propio de los no determinsticos (AFN), lo que quiere decir que todo AFD es un AFN. Podra entonces pensarse que los AFN son ms poderosos que los AFD, en el sentido de que habra algunos lenguajes aceptados por algn AFN para los cuales no habra ningn AFD que los acepte. Sin embargo, en realidad no sucede as. Correcto Puntos para este envo: 1/1. Question 10 Puntos: 1

En un autmata Finito Determinista (AFD), Es vlido afirmar que :

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

QUIZ I 1 Puntos: 1 Indicar cul es el tipo de autmata ms sencillo (menos potente) capaz de reconocer el lenguaje {xnymzn | n>=25, m>=50}. Seleccione una respuesta. a. Un autmata de pila no determinista b. Una mquina de Turing.

c. Un autmata de pila determinista d. Un autmata finito Incorrecto Puntos para este envo: 0/1. Question 2 Puntos: 1 Un Autmata Determinstico de estados finitos (DFA), M, es una quntupla: (Q, , qi , F, ), donde: Q es un conjunto finito de estados. es un alfabeto finito. qi Q es el estado inicial. F Q son los estados finales. : (Q ) Q es la funcin de transicin de estados. La condicin de ser Determinstico es debido a que: Seleccione al menos una respuesta. Esto corresponde a la definicin de Autmatas Determinsiticos (DFA). Estos autmatas se denominan determinsticos ya que en cada estado su comportamiento es fijo. Es decir, dado el estado y el smbolo en la cinta de entrada hay un nico estado al cual puede pasar. . Todas los items son verdaderas. Incorrecto

a. Las transacciones estn descritas por una funcin total.

Esto corresponde a la definicin de Autmatas Determinsiticos (DFA). b. El autmata comienza en el estado Estos autmatas se denominan determinsticos ya que en cada estado inicial y lee una secuencia de smbolos su comportamiento es fijo. Es decir, dado el estado y el smbolo en la (smbolo por smbolo 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 smbolo y dependiendo del smbolo y del estado s en el que se encuentra, cambia al estado dado por la funcin de transicin: (s, ) Esto corresponde a la definicin de Autmatas Determinsiticos (DFA). Estos autmatas se denominan determinsticos ya que en cada estado su comportamiento es fijo. Es decir, dado el estado y el smbolo en la cinta de entrada hay un nico estado al cual puede pasar. . Todas los items son verdaderas. Correcto: Esto corresponde a la definicin de Autmatas Determinsiticos (DFA). Estos autmatas se denominan determinsticos ya que en cada estado su comportamiento es fijo. Es decir, dado el estado y el smbolo en la cinta de entrada hay un nico estado al cual puede pasar. . Todas los items son verdaderas.

d. Hay un nico estado inicial.

El nombre determinista viene de la forma en que est definida la funcin de transicin: si en un instante t la mquina est en el estado q y lee el smbolo a entonces, en el instante siguiente t + 1 la mquina cambia de estado y sabemos con seguridad cual es el estado al que cambia, que es precisamente (q, a). Correcto Puntos para este envo: 1/1. Question 3 Puntos: 1 Acorde a al historia y a lo que se dice de los modelos de computacin, las Mquinas de Turing (MT), como mquinas reconocedoras de los lenguajes formales dependientes del contexto o estructurado por frases, surgieron hace: (seleccione una opcion valida) Seleccione una respuesta. a. Hace 5 aos

b. Hace 50 aos

c. En 1970 Correcto: Se puede llegar as, de una forma casi natural a considerar las mquinas de Turing, establecidas d. Hace casi 20 aos antes, como mquinas reconocedoras de los lenguajes formales dependientes del contexto o 20 aos estructurados por frases, e incluso a interpretar la Tesis de Turing como que un sistema computacional nunca podr efectuar un anlisis sintctico de aquellos lenguajes que estn por encima de los lenguajes estructurados por frases, segn la jerarqua de Chomsky". Consideramos entonces los lenguajes libres (independientes) del contexto, y las gramticas libres del contexto y los autmatas con pila, como forma de caracterizarlos y manejarlos. Los distintos lenguajes formales que se pueden construir sobre un alfabeto concreto pueden clasificarse en clases cada vez ms amplias que incluyen como subconjunto a las anteriores, de acuerdo con la jerarqua establecida por Chomsky en los aos 50. Correcto Puntos para este envo: 1/1. Question 4 Puntos: 1 Los tems que encontrar a continuacin constan de una afirmacin VERDADERA (tesis) y dos postulados tambin VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen lgicamente de la afirmacin y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instruccin:

Marque A si de la tesis se deducen los postulados I y II. Marque B si de la tesis se deduce el postulado I. Marque C si de la tesis slo se deduce el postulado II. Marque D si ninguno de los postulados se deduce de la tesis. TESIS. Los autmatas finitos determinsticos (AFD) son un subconjunto propio de los no determinsticos (AFN). POSTULADO I. Todo AFD es un AFN POSTULADO II. Se puede pensar entonces que los AFN son ms poderosos que los AFD, en el sentido de que habra algunos lenguajes aceptados por algn AFN para los cuales no hay ningn AFD que los acepte Seleccione una respuesta. a. OPCION B b. OPCION D c. OPCION C d. OPCION A EQUIVALENCIA DE AUTMATAS FINITOS DETERMINISTICOS Y AUTMATAS FINITOS NO DETERMINSTICOS. Las equivalencias estn en relacin a la jerarqua de estos autmatas. Y en ambos postulados son coherentes. EQUIVALENCIA DE AUTMATAS FINITOS DETERMINISTICOS Y AUTMATAS FINITOS NO DETERMINSTICOS. Las equivalencias estn en relacin a la jerarqua de estos autmatas. Y en ambos postulados son coherentes. Incorrecto Puntos para este envo: 0/1. Question 5 Puntos: 1 Un ejemplo de Lenguaje es el conjunto de palndromos (cadenas que se leen igual hacia adelante, que hacia atrs). Para el caso del alfabeto { 0, 1} Es vlido afirmar: (Seleccione dos respuestas). Tenga en cuenta que el smbolo lambda (usado en autmatas), http://es.wikipedia.org/wiki/Lambda Seleccione al menos una respuesta. a. Pueden ser cadenas vlidas como: {lambda, 0, 1. 00, 11, 010, 0110, 000000, 101101, 10001} Correcto: Este lenguaje {0,1} tiene cadenas infinitas (muchisimas se pueden combinar como palindromos que se lean iagual al derecho y al reves). Incorrecto

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

d. Las cadenas vlidas para ese alfabeto obedece a Incorrecto: Este lenguaje {0,1} tiene cadenas infinitas sus seis posibles combinaciones: {0, 1, 01, 10, 00, (muchisimas se pueden combinar como palindromos que se 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 nmero de veces. Aqu la regularidad consiste en que las palabras contienen ab algn nmero de veces. Correcto Puntos para este envo: 1/1. Question 6 Puntos: 1 Sea el vocabulario {1,2,3}, la expresin regular (1|2)* 3 indica el conjunto de todas las cadenas formadas con los smbolos 1,2 y 3 . Cules sentencias o cadenas son vlidas : Seleccione al menos una respuesta. a. 221113 Correcto: Pueden formarse cadenas con los smbolos 1 y 2, sucedndose cualquir nmero de veces ( y en cualquir rden) y siempre terminando la cadena en el smbolo 3 Incorrecto: Pueden formarse cadenas con los smbolos 1 y 2, sucedndose cualquir nmero de veces ( y en cualquir rden) y siempre terminando la cadena en el smbolo 3

b. 132211

c. 121211223 Correcto: Pueden formarse cadenas con los smbolos 1 y 2, sucedndose cualquir nmero de veces ( y en cualquir rden) y siempre terminando la cadena en el smbolo 3 d. 2213311 Incorrecto: Pueden formarse cadenas con los smbolos 1 y 2, sucedndose cualquir nmero de veces ( y en cualquir rden) y siempre terminando la cadena en el smbolo 3

Un posible alfabeto sera, digamos, {a, b}, y una cadena cualquiera sobre este alfabeto sera, por ejemplo, ababba. Un lenguaje sobre este alfabeto, que incluyera esta cadena, sera: el conjunto de todas las cadenas que contienen el mismo nmero de smbolos a que b. Correcto Puntos para este envo: 1/1. Question 7

Puntos: 1 Los tems que encontrar a continuacin constan de una afirmacin VERDADERA (tesis) y dos postulados tambin VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen lgicamente de la afirmacin y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instruccin: Marque A si de la tesis se deducen los postulados I y II. Marque B si de la tesis se deduce el postulado I. Marque C si de la tesis slo se deduce el postulado II. Marque D si ninguno de los postulados se deduce de la tesis.

TESIS: El estado de un autmata es toda la informacin necesaria en un momento dado, para poder deducir, dado un smbolo de entrada en ese momento, cul ser el smbolo de salida. POSTULADO I: Conocer el estado de un autmata, es lo mismo que conocer toda la historia de smbolos de entrada, as como el estado inicial, estado en que se encontraba el autmata al recibir el primero de los smbolos de entrada POSTULADO II. La informacin se codifica en cadenas de smbolos, y un autmata es un dispositivo que manipula cadenas de smbolos que se le presentan a su entrada, produciendo otras tiras o cadenas de smbolos a su salida. Seleccione una respuesta. a. OPCION B b. OPCION A c. OPCION D d. OPCION C DEFINICON DE ESTADO. Solo se deduce el Postulado I. El Postulado II hace referencia ms a la definicin de Autmata que ala de un estado. DEFINICON DE ESTADO. Solo se deduce el Postulado I. El Postulado II hace referencia ms a la definicin de Autmata que ala de un estado. Incorrecto Puntos para este envo: 0/1. Question 8 Puntos: 1 Los Automatas finitos no Deterministicos tienen las caracteristicas de: Seleccione al menos una respuesta. Incorrecto

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 envo: 1/1. Question 9 Puntos: 1 Teniendo en cuenta que podemos definir un Autmata como una mquina conceptual o terica para el reconocimiento de patrones, entonces los siguientes componentes: Analizados Lxico, Analizador Sintctico y Generador de Cdigo corresponderan a una aplicacin de un Autmata en el la implementacin de: Seleccione una respuesta. a. Procesadores de texto b. Lenguajes de Programacin c. Aplicaciones de Computador d. Compiladores Incorrecto Puntos para este envo: 0/1. Question 10 Puntos: 1 Los autmatas finitos no Determinsticos o no deterministas tienen las caractersticas de: Seleccione al menos una respuesta Respuesta Incorrecta

Seleccione al menos una respuesta. a. Permitir que de cada nodo del diagrama de estados salga un nmero de flechas mayor o menor b. Las transiciones no tengan como etiqueta palabras de varias letras o hasta la palabra vaca. Correcto Incorrecto

c. Las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vaca. d. No permitir que de cada nodo del diagrama de estados salga un nmero de flechas mayor o menor

Correcto Incorrecto

Los AFND tienen las caractersticas de Permitir que de cada nodo del diagrama de estados salga un nmero de flechas mayor o menor y las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vaca. Los AFND tienen las caractersticas de Permitir que de cada nodo del diagrama de estados salga un nmero de flechas mayor o menor y las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vaca. Correcto Puntos para este envo: 1/1. Question 11 Puntos: 1 Acorde al siguiente diagrama de Moore. Identifique que expresin representa:

Seleccione una respuesta. a. Expresin regular (q|q )* b. Expresin regular (ac|b|b)* c. Expresin regular (bb|ab)* d. Expresin regular (ac|b)* La operacin de conjuntos de unin posibilita tener lenguajes de varios elementos y si se aade la operacin * cerradura o estrella de Kleene que se deriva naturalmente de la concatenacin, tambien es factible producir lenguajes infinitos. Incorrecto: No hay elemntos de entrada con el nombre "q"

Incorrecto Puntos para este envo: 0/1. Question 12 Puntos: 1 Como especificar la sintaxis de un lenguaje?: Se utiliza la jerarqua de Chomsky; la jerarqua de Chomsky es una clasificacin jerrquica de distintos tipos de gramticas formales que generan lenguajes formales. Esta jerarqua fue descrita por Noam Chomsky en 1956. Acorde a esto, asocie correctamente esta clasificacin. Gramtica s de tipo 3 Gramtica s de tipo 1 Gramtica s de tipo 0 Gramtica s de tipo 2
Gramticas regulares. Generan los lenguajes regulares

Gramticas sensibles al contexto. Generan los lenguajes sensibles al contexto

Estas gramticas generan todos los lenguajes capaces de ser reconocidos por una mquina de Turing

Gramticas libres del contexto. Generan los lenguajes independientes del contexto

Como especificar la sintaxis de un lenguaje?: Se utiliza la jerarqua de Chomsky; la jerarqua de Chomsky es una clasificacin jerrquica de distintos tipos de gramticas formales que generan lenguajes formales. Esta jerarqua fue descrita por Noam Chomsky en 1956. Correcto Puntos para este envo: 1/1. Question 13 Puntos: 1 El nombre "finito" en un Autmata, se justifica por una de las siguientes afirmaciones. Seleccione una. Seleccione una respuesta. a. Del hecho que el autmata solo tiene un conjunto finito de estados distintos para recordar lo procesado (no tiene ningn sistema de almacenamiento de informacin adicional) b. Del hecho que el Autmata almacena informacin en un solo estado (el final), que es donde termina su recorrido c. Que el Autmata contiene un alfabeto smbolos (letras del abecedario) y estas son finitas. Correcto. Los estados son definidos desde el inicio y son finitos.

d. Que el Autmata tiene un solo estado Inicial que se puede representar por un * o por un crculo doble. Al describir una mquina de estados finitos en particular, debemos incluir las informaciones que varan de un autmata a otro; es decir, no tiene sentido incluir descripciones generales aplicables a todo autmata. Estas informaciones son exactamente las que aparecen en un diagrama de estados y transiciones. Correcto Puntos para este envo: 1/1. Question 14 Puntos: 1 Una de las siguientes afirmaciones NO aplica a los lenguajes que reconocen un autmata. Identifquela 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 envo: 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 gramticas del siguiente ejercicio, tienen dos particularidades que son vlidas afirmarlas:

Seleccione al menos una respuesta. a. Las reglas de las gramticas difieren por que tienen diferentes terminales. b. La palabra generable por la gramtica G1 y G2 es xyzyzy c. La lista de reglas estn denotadas de forma comprimida d. La palabra generable por la gramtica G1 y G2 es xxzyzy

Incorrecto: Los terminales no le marcan la diferencia. Correcto: esta cadena la genera tanto G1 como G2 Correcto. La forma comprimida en que estn descritas las gramticas es vlida. Incorrecto: La cadena generada no es vlida para G1 y G2.

Las terminales son las mismas para ambas gramticas y son (xyz). Las Variables son diferentes y para la gramtica 1 son S,A,B y para la gramtica 2 son S,A. Las reglas o producciones para ambas gramticas son diferentes. Ambas gramticas generan la palabra xyzyzy Las terminales son las mismas para ambas gramticas y son (xyz). Las Variables son diferentes y para la gramtica 1 son S,A,B y para la gramtica 2 son S,A. Las reglas o producciones para ambas gramticas son diferentes. Ambas gramticas generan la palabra xyzyzy Correcto Puntos para este envo: 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 d. El primero en entrar el primero en salir La pila funciona de manera que el ultimo carcter que se almacena en ella es el primero en salir (LIFO por las siglas en ingls) La pila funciona de manera que el ultimo carcter que se almacena en ella es el primero en salir (LIFO por las siglas en ingls) Incorrecto

Incorrecto Puntos para este envo: 0/1. Question 3 Puntos: 1

Relaciones los elementos de un rbol de derivacin con sus caractersticas

Rotulado con el smbolo inicial de la Gramtica Corresponde a un smbolo Terminal o no Terminal Corresponde a un smbolo no Terminal
Nodo raz Hoja Nodo

Para una derivacin dada, el smbolo inical S etiqueta la raz del rbol. El nodo raz tienen unos nodos hijos para cada smbolo que aparezca en el lado dereho de la produccin, usada para reemplazar el smbolo inicial. De igual forma, cada smbolo no terminal tienen unos nodos hijos etiquetados con smbolos del lado derecho de la produccin usada para sustituir ese no terminal. Correcto Puntos para este envo: 1/1. Question 4 Puntos: 1 Seleccione los componentes de los Arboles de Derivacin: 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 bsicos o definidos para un rbol de anlisis.

Para una derivacin dada, el smbolo inical S etiqueta la raz del rbol. El nodo raz tienen unos nodos hijos para cada smbolo que aparezca en el lado dereho de la produccin, usada para reemplazar el smbolo inicial. De igual forma, cada smbolo no terminal tienen unos nodos hijos etiquetados con smbolos del lado derecho de la produccin usada para sustituir ese no terminal. Para una derivacin dada, el smbolo inical S etiqueta la raz del rbol. El nodo raz tienen unos nodos hijos para cada smbolo que aparezca en el lado dereho de la produccin, usada para reemplazar el smbolo inicial. De igual forma, cada smbolo no terminal tienen unos nodos hijos etiquetados con smbolos del lado derecho de la produccin usada para sustituir ese no terminal. Correcto Puntos para este envo: 1/1. Question 5 Puntos: 1 Qu son los Arboles de Derivacin ? Seleccione una respuesta. a. Son los que permiten mostrar grficamente un smbolo para convertirlo en un lenguaje b. Son los que permiten mostrar grficamente un autmata. c. Son los que permiten mostrar grficamente cmo se puede derivar cualquier cadena de un lenguaje a partir del smbolo distinguido de una Correcto. Estos permiten analizar el comportamiento del comportamiento del autmata. (cadenas que representay

gramtica que genera ese lenguaje d. Son los que permiten mostrar grficamente una gramatica y por consiguiente un lengaje dado .

que son o no validas).

Los rboles de derivacin permiten analizar el comportamiento del comportamiento del autmata. (cadenas que representay que son o no validas). Al derivar una cadena a travs de una GIC, el smbolo inicial se sustituye por alguna cadena. Los no terminales se van sustituyendo uno tras otro por otras cadenas hasta que ya no quedan smbolos no terminales, queda una cadena con slo smbolos terminales. A veces es til realizar un grfico de la derivacin. Tales grficos tienen forma de rbol y se llaman arbol de derivacin o rbol de anlisis. Correcto Puntos para este envo: 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 gramtica c. Es aquel generado por una gramtica libre de contexto. d. Es el lenguaje generado por un autmata AFD Todo lenguaje independiente del contexto L (no vaco) puede ser generado por una gramtica libre de contexto que contenga slo producciones tiles y no terminales tiles. Todo lenguaje independiente del contexto L (no vaco) puede ser generado por una gramtica libre de contexto que contenga slo producciones tiles y no terminales tiles. Correcto: Cualquier lenguaje libre de contexto L puede ser generado por una gramtica libre de contexto en la forma normal de Chomsky.

LECCION II
1 Puntos: 1

El lenguaje que reconoce un autmata a pila pertenece al grupo (IDENTIFIQUELO EN EL SIGUIENTE DIBUJO ) en la clasificacin de la Jerarqua de Chomsky.

Seleccione una respuesta. a. G2 b. G3 c. G0 d. G1 Puesto que los autmatas finitos no son suficientemente poderosos para aceptar los LLC, entonces se presentan los Autmatas de Pila (AP). Puesto que los autmatas finitos no son suficientemente poderosos para aceptar los LLC, entonces se presentan los Autmatas de Pila (AP). Correcto Puntos para este envo: 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 totalmente). b. El AP se debe encontrar en un estado final. c. La pila debe tener lambda como elemento final d. El alfabeto d ela pila debe ser igual al lenguaje que reconoce Incorrecto: El lenguaje que reconoce la pila especifica ene l diseo cuando se detiene. condiciones siguientes: 1. La palabra de entrada se debe haber agotado (consumido totalmente). 2. El AP se debe encontrar en un estado final. 3. La pila debe estar vaca. 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 vaca. Incorrecto: No necesariamente la cadena vaca debe estar presente. Correcto: Corresponde a Lenguaje slibres de contexto.

e. La pila debe estar vaca. f. El inicio de la pila debe tener un smbolo del alfabeto

Correcto: la pila debe estar vaca. Incorrecto: la pila debe estar vaca

A la hora de disenar un AP tenemos que repartir lo que requiere ser recordado entre los estados y la pila. Distintos disenos para un mismo problema pueden tomar decisiones diferentes en cuanto a qu recuerda cada cual. A la hora de disenar un AP tenemos que repartir lo que requiere ser recordado entre los estados y la pila. Distintos disenos para un mismo problema pueden tomar decisiones diferentes en cuanto a qu recuerda cada cual. Correcto Puntos para este envo: 1/1. Question 3 Puntos: 1 Respecto a la relacin entre un AF y un AP cul afirmacin 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 nmero de estados.

c. Estas dos mquinas no permiten regularidades. d. Todo lenguaje aceptado por un AF es tambin aceptado por un AP Correcto: Este resultado debe quedar intuitivamente claro, puesto que los AP son una extensin de los AF.

Correcto: Este resultado debe quedar intuitivamente claro, puesto que los AP son una extensin de los AF. En los AP tambin es posible aplicar mtodos de combinacin modular de autmatas, como se hizo con los autmatas finitos. En particular, es posible obtener AP que acepten la unin y concatenacin de los lenguajes aceptados por dos AP dados. Correcto Puntos para este envo: 1/1. Question 4 Puntos: 1

Dado un alfabeto , los smbolos , y los operadores + (unin), (concatenacin) y * (clausura), se define una EXPRESION REGULAR (ER) sobre el alfabeto en la que son vlidas las siguientes relaciones:
Nota. es una cadena sobre un lenguaje L
Seleccione al menos una respuesta. a. Si = a y a pertenece entonces L () no pertenece b. Si = lambda entonces L (lambda) = { lambda} c. Si * es una ER entonces L (*) no es una ER d. Si = entonces L () = es simplemente el lenguaje que ella representa. La notacin de conjuntos nos permite describir los lenguajes regulares, pero nosotros quisiramos una notacin en que las representaciones de los lenguajes fueran simplemente texto (cadenas de caracteres). As las representaciones de los lenguajes regulares seran simplemente palabras de un lenguaje (el de las representaciones correctamente formadas). Correcto Puntos para este envo: 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 configuracin inicial llega a una configuracin final emplenado movimientos vlidos. Dado un estado, un smbolo del alfabeto de entrada y otro del alfabeto de la pila, puede pasar a distintos estados y reemplazar el tope de la pila por distintas cadenas, avanzando o no la cabeza lectora una posicin La cadena ser aceptada si despues de leerse toda la cadena se llega a un estado con la pila vaca, independientemente del tipo de estado en el que se encuentre el AP. Transicin entre configuraciones.
AP no determinista. Reconocimiento de cadenas de entrada por estado final Dado un Movimiento de un AP

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

Las ER son simplemente frmulas cuyo propsito es representar cada una de ellas un lenguaje. As, el significado de una ER

En los AP las transiciones de un estado a otro indican, adems de los caracteres que se consumen de la entrada, tambin lo que se saca del tope de la pila, asi como tambin lo que se mete a la pila. Incorrecto Puntos para este envo: 0/1. Question 6 Puntos: 1 Cuando se trabajan Autmatas de Pila (AP) (PD) es vlido 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 con el alfabeto de la palabra de entrada. alfabeto de la palabra de entrada. Esto se justifica porque puede ser necesario introducir en la pila caracteres especiales usados como separadores, segn las necesidades de diseno del autmata. b. Los autmatas de pilas no tienen metodologa tan generalmente aplicable, solo se debe tener una Correcto estrategia clara para el manejo de la pila. c. En los AP las transiciones de un estado a otro indican los caracteres que se consumen de la enytrada, pero no lo que se saca del topo de la pila. d. Cuando desarrollamos un autmata de pilas tenemos que repetir lo que quiere ser recordado entre los estados y las pilas. El problema de diseno de los AP consiste en obtener un AP M que acepte exactamente un lenguaje L dado. Por exactamente queremos decir, como en el caso de los autmatas finitos, que, por una parte, todas las palabras que acepta efectivamente pertenecen a L, y por otra parte, que M es capaz de aceptar todas las palabras de L. La pila funciona de manera que el ltimo caracter que se almacena en ella es el primero en salir (LIFO por las siglas en ingls), como si empilramos platos uno encima de otro, y naturalmente el primero que quitaremos es el ltimo que hemos colocado. Un aspecto crucial de la pila es que slo podemos modificar su tope, que es el extremo por donde entran o salen los caracteres. Los caracteres a la mitad de la pila no son accesibles sin quitar antes los que estan encima de ellos. Correcto Puntos para este envo: 1/1. Question 7 Puntos: 1 Correcto Incorrecto: En los AP las transiciones de un estado a otro indican, adems de los caracteres que se consumen de la entrada, tambin lo que se saca del tope de la pila, asi como tambin lo que se mete a la pila.

Marque la notacin ms frecuentemente utilizada para expresar gramticas libres de contexto.

Seleccione una respuesta. a. Formas Normales de Chomsky b. Formas Normales de Greibach c. Arboles de Derivacin Correcto: Backus y Naur desarrollaron una notacin formal para describir la sintaxis de algunos lenguajes de d. Backus-Naur programacin, que bsicamente se sigue utilizando todava, y que poda considerarse equivalente a las gramticas libres del contexto Backus y Naur desarrollaron una notacin formal para describir la sintaxis de algunos lenguajes de programacin, que bsicamente se sigue utilizando todava, y que poda considerarse equivalente a las gramticas libres del contexto

Backus y Naur desarrollaron una notacin formal para describir la sintaxis de algunos lenguajes de programacin, que bsicamente se sigue utilizando todava, y que poda considerarse equivalente a las gramticas libres del contexto Correcto Puntos para este envo: 1/1. Question 8 Puntos: 1

Respecto a los Autmatas de Pila es vlido afirmar:

Seleccione una respuesta. a. Un autmata de pila no puede hacer las funciones de "contador" ya que sus recorridos varan en la cinta y lo que le importa a esta automatizacin es el estado final y la salida del dato. b. Un Autmata de Pila al igual que una Mquina de Turing o un Autmata Finito, su definicin bsica es de naturaleza no determinista c. Para poder simular un autmata de Pila se debe tener en cuenta: Las columnas de una traza de ejecucin para un AP son: el estado en que se encuentra el autmata, lo que ha leido hasta el momento o estado actual al inicio de la simulacin, y el contenido de la memoria al final del recorrido. d. A la hora de disear un AP tenemos que repartir lo que requiere ser recordado entre los estados y la pila. Distintos diseos para un mismo problema pueden tomar decisiones diferentes en cuanto a que recuerda cada cual Los AP suelen ser ms potentes, pero su dideo se debe ms al tipo de cadena que se quiere reconocer. A la hora de disear un AP tenemos que repartir lo que requiere ser recordado entre los estados y la pila. Distintos diseos para un mismo problema pueden tomar decisiones diferentes en cuanto a que recuerda cada cual. Incorrecto Puntos para este envo: 0/1. Question 9 Puntos: 1 Incorrecto: Solo se necesita conocer las columnas de una traza de ejecucin para un AP son: el estado en que se encuentra el autmata, lo que falta por leer de la palabra de entrada, y el contenido de la pila.

Acerca del funcionamiento de un Autmata de Pila, cul de las siguientes operaciones o comportamientos NO las hace este autmata.
Seleccione una respuesta. a. Una d elas condiciones para que una palabra de entrada sea aceptada en un AP la pila debe estar vaca. 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 transicin de un estado a otro Arroja la informacin de lo que sale de la pila (tope), no de lo que entra ya que el avance es progresivo hacia adelante y no hacia atrs. Correcto: Esta afirmacin es falsa ya que en los AP las transiciones de un estado a otro indican, adems de los caracteres que se consumen de la entrada, tambin lo que se saca del tope de la pila, as como tambin lo que se mete a la pila.

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

Correcto Puntos para este envo: 1/1. Question 10 Puntos: 1 Acerca del siguiente AP que afirmaciones son vlidas:

Seleccione al menos una respuesta. a. Segn la rama superior toda x que se reciba, se registra en la pila y el estado siguiente ser de aceptacin b. Acepta la cadena vaca lambda c. Acepta solo la cadena x d. No acepta la cadena vaca. smbolos de entrada. En el diseo de AP Una idea que surge inmediatamente es la de utilizar la pila como contador para recordar la cantidad de smbolos de entrada.

Correcto. Correcto: lambda es aceptado Incorreecto: Lapila puede aceptar cadenas combinaciones xy segn el smbolo de entrada. Incorrecto. la cadena vaca si es aceptada

En el diseo de AP Una idea que surge inmediatamente es la de utilizar la pila como contador para recordar la cantidad de

QUIZ II 1 Puntos: 1 Una tabla de Transiciones que permite representar un Autmata tiene tantas filas como: Seleccione una respuesta. a. Elementos de la Funcin 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 envo: 1/1. Question 2 Puntos: 1 Respuesta Correcta

Cual de las siguientes afirmaciones es VERDADERA Seleccione una respuesta. a. En los rboles de derivacin, no es necesario usar nodo raz b. Los lenguajes generados por una Gramtica Independiente del Contexto son llamados Lenguajes Regulares c. En un rbol de derivacin cada nodo solamente puede tener otro hijo nodo d. En un rbol de derivacin, una gramtica es ambigua, cuando hay dos o ms rboles de derivacin distintos para una misma cadena Correcto Puntos para este envo: 1/1. Question 3 Puntos: 1 Qu son los rboles de derivacin Seleccione una respuesta. a. Son los que permiten mostrar grficamente un autmata finito. b. Son los que permiten mostrar grficamente un autmata c. Son los que permiten mostrar grficamente un smbolo para convertirlo en un lenguaje d. Son los que permiten mostrar grficamente cmo se puede derivar cualquier cadena de un lenguaje a partir del smbolo distinguido de una gramtica que genera ese lenguaje. Incorrecto Puntos para este envo: 0/1. Question 4 Puntos: 1 Toda gramtica de tipo 2 que no acepte la palabra vaca se puede poner en forma normal de Chomsky PORQUE Para ello lo primero que hay que hacer es suprimir las producciones nulas y unitarias Seleccione una respuesta. a. La Afirmacin y la Razn son VERDADERAS pero la Razn NO es una explicacin CORRECTA de la Afirmacin Respuesta Correcta

Incorrecto

b. La Afirmacin es VERDADERA, pero la Razn es una proposicin FALSA c. La Afirmacin y la Razn son VERDADERAS y la Razn es una explicacin CORRECTA de la Afirmacin d. La Afirmacin es FALSA, pero la Razn es una proposicin VERDADERA Correcto Puntos para este envo: 1/1. Question 5 Puntos: 1 Al iniciar la operacin de un Autmata de Pila, la pila debe tener un contenido inicial PORQUE Al igual que los Autmatas Finitos, los Autmatas de Pila tienen estados finales que permiten distinguir cuando una palabra de entrada es aceptada Seleccione una respuesta. a. La Afirmacin es FALSA, pero la Razn es una proposicin VERDADERA b. La Afirmacin y la Razn son VERDADERAS y la Razn es una explicacin CORRECTA de la Afirmacin c. La Afirmacin es VERDADERA, pero la Razn es una proposicin FALSA d. La Afirmacin y la Razn son VERDADERAS pero la Razn NO es una explicacin CORRECTA de la Afirmacin Incorrecto Puntos para este envo: 0/1. Question 6 Puntos: 1 Una tabla de Transiciones que permite representar un Autmata 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 envo: 1/1. Question 7 Puntos: 1 De los siguientes elementos, uno no es un componente de un rbol de derivacin: Seleccione una respuesta. a. Nodos Interiores b. Nodo Raz

c. Hojas Respuesta Correcta: Para una derivacin dada, el smbolo inical S etiqueta la raz del rbol. El nodo raz tienen unos nodos hijos para cada smbolo que aparezca en el lado dereho de la produccin, usada para reemplazar el smbolo inicial. De igual forma, cada smbolo no terminal tienen unos nodos hijos etiquetados con smbolos del lado derecho de la produccin usada para sustituir ese no terminal.

d. Nodo Final

Al derivar una cadena a travs de una GIC, el smbolo inicial se sustituye por alguna cadena. Los no terminales se van sustituyendo uno tras otro por otras cadenas hasta que ya no quedan smbolos no terminales, queda una cadena con slo smbolos terminales. A veces es til realizar un grfico de la derivacin. Tales grficos tienen forma de rbol y se llaman arbol de derivacin o rbol de anlisis. Correcto Puntos para este envo: 1/1. Question 8 Puntos: 1 Cual de las siguientes afirmaciones se asocia correctamente al diseo y funcionamiento de los rboles de derivacin. Seleccione una respuesta. a. En los rboles de derivacin, no es necesario usar nodo raz b. En un rbol de derivacin, una gramtica es ambigua cuando hay dos o ms rboles de derivacin distintos para una misma cadena. Respuesta Correcta: Una gramtica es ambiga cuando hay dos o ms rboles de derivacin distintos para una misma cadena

c. En un rbol de derivacin cada nodo solamente puede tener otro hijo nodo d. Los lenguajes generados por una Gramtica Independiente del Contexto son llamados Lenguajes Regulares Al derivar una cadena a travs de una GIC, el smbolo inicial se sustituye por alguna cadena. Los no terminales se van sustituyendo uno tras otro por otras cadenas hasta que ya no quedan smbolos no terminales, queda una cadena con slo smbolos terminales. A veces es til realizar un grfico de la derivacin. Tales grficos tienen forma de rbol y se llaman arbol de derivacin o rbol de anlisis. Para una derivacin dada, el smbolo inical S etiqueta la raz del rbol. El nodo raz tienen unos nodos hijos para cada smbolo que aparezca en el lado dereho de la produccin, usada para reemplazar el smbolo inicial. De igual forma, cada smbolo no terminal tienen unos nodos hijos etiquetados con smbolos del lado derecho de la produccin usada para sustituir ese no terminal. Correcto Puntos para este envo: 1/1. Question 9 Puntos: 1 Dentro de los Algoritmos de decisin existen problemas que no tienen solucin o que no existe un algoritmo que los resuelva, stos son llamados Seleccione una respuesta. a. No existen problemas de ste tipo b. Problemas decidibles c. Problemas Infinitos d. Problemas indecidibles Correcto Puntos para este envo: 1/1. Question 10 Puntos: 1 Cualquier Lenguaje Libre de Contexto L, puede ser generado por una Gramtica Libre de Contexto en la forma normal de Chomsky PORQUE Cualquier Gramtica Libre de Contexto puede ser transformada a la forma normal de Chomsky Seleccione una respuesta.

a. La Afirmacin es VERDADERA, pero la Razn es una proposicin FALSA b. La Afirmacin y la Razn son VERDADERAS pero la Razn NO es una explicacin CORRECTA de la Afirmacin c. La Afirmacin y la Razn son VERDADERAS y la Razn es una explicacin CORRECTA de la Afirmacin d. La Afirmacin es FALSA, pero la Razn es una proposicin VERDADERA Correcto Puntos para este envo: 1/1. Question 11 Puntos: 1 Qu son los Arboles de Derivacin ? Seleccione una respuesta. a. son los que permiten mostrar grficamente cmo se puede derivar cualquier cadena de un lenguaje a partir del smbolo distinguido de una gramtica que genera ese lenguaje. b. son los que permiten mostrar grficamente un autmata finito. c. son los que permiten mostrar grficamente un autmata d. son los que permiten mostrar grficamente un smbolo para convertirlo en un lenguaje Al derivar una cadena a travs de una GIC, el smbolo inicial se sustituye por alguna cadena. Los no terminales se van sustituyendo uno tras otro por otras cadenas hasta que ya no quedan smbolos no terminales, queda una cadena con slo smbolos terminales. A veces es til realizar un grfico de la derivacin. Tales grficos tienen forma de rbol y se llaman arbol de derivacin o rbol de anlisis. Correcto Puntos para este envo: 1/1. Question 12 Puntos: 1 Seleccione los componentes de los rboles de derivacin: Seleccione una respuesta. a. Nodo raiz, nodos interiores, Hojas Correcto: Los componentes son Nodo raiz, nodos interiores, Correcto: Es la cualidad que permite incluso determinar la ambigedad d elas gramticas.

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

Para una derivacin dada, el smbolo inical S etiqueta la raz del rbol. El nodo raz tienen unos nodos hijos para cada smbolo que aparezca en el lado dereho de la produccin, usada para reemplazar el smbolo inicial. De igual forma, cada smbolo no terminal tienen unos nodos hijos etiquetados con smbolos del lado derecho de la produccin usada para sustituir ese no terminal. Correcto Puntos para este envo: 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: Unin, Concatenacin y Clausura d. Si L es un lenguaje aceptable por maquinas de Turing, tambin lo es el lenguaje complementario de L Correcto, esta apreciacin es falsa

Si un lenguaje es generado por una gramtica libre del contexto, entonces es aceptado por un Autmata con Pila NoDeterminstico. Correcto Puntos para este envo: 1/1. Question 14 Puntos: 1

Al iniciar la operacin de un Autmata de Pila, la pila debe tener un contenido inicial PORQUE Al igual que los Autmatas Finitos, los Autmatas de Pila tienen estados finales que permiten distinguir cuando una palabra de entrada es aceptada Seleccione una respuesta. a. La Afirmacin y la Razn son VERDADERAS pero la Razn NO es una explicacin CORRECTA de la Afirmacin b. La Afirmacin y la Razn son VERDADERAS y la Razn es una explicacin CORRECTA de la Afirmacin c. La Afirmacin es FALSA, pero la Razn es una proposicin VERDADERA d. La Afirmacin es VERDADERA, pero la Razn es una proposicin FALSA Incorrecto Puntos para este envo: 0/1. Question 15 Puntos: 1 Un autmata de pila por definicin tiene las siguientes caractersticas: Debe seleccionar ms 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 apilramos platos uno encima de otro, y naturalmente ultimo carcter que se almacena en ella el primero que quitaremos es el ltimo que hemos colocado. Un aspecto es el primero en salir (LIFO por las crucial de la pila es que slo podemos modificar su tope, que es el extremo por donde entran o salen los caracteres. siglas en ingls) c. La pila funciona de manera que el primer carcter que se almacena en ella es el primero en salir (FIFO por las siglas en ingls) d. slo podemos modificar su tope, que es el extremo por donde entran o salen los caracteres. Correcto: Un aspecto crucial de la pila es que slo podemos modificar su tope, que es el extremo por donde entran o salen los caracteres. Respuesta Incorrecta

Aunque en el caso de los AP no hay metodologas tan generalmente aplicables como era el caso de los autmatas finitos, siguen siendo vlidas las ideas bsicas del diseo sistemtico, en particular establecer claramente qu es lo que

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

Con referencia a la funcionalidad y creacin de una Mquina Universal de Turing (MUT), es vlido afirmar:
Seleccione al menos una respuesta. a. Una Mquina Universal de Turing es capaz de decidir cualquier lenguaje independiente del contexto b. 4. La MUT se dise para realizar clculos especficos. c. En el estado de parada de una MUT no puede salir ningn arco d. 3. En una MUT el lenguaje aceptado por esta mquina no puede contener una cadena vaca. conocidas Todo lenguaje independiente del contexto es decidible mediante una mquina de Turing, que puede ser simulada mediante una mquina de Turing universal. Una MUT no puede quedarse en un ciclo repetitivo, sdebe tener un estado final de parada. La MUT se dise para procesar cualquier informacin. Correcto Puntos para este envo: 1/1. Question 2 Puntos: 1 Este tipo de tems consta de dos proposiciones as: una Afirmacin y una Razn, unidas por la palabra PORQUE. Usted debe examinar la veracidad de cada proposicin y la relacin terica que las une. Para responder este tipo de tems, debe leerla completamente y sealar en la hoja de respuesta, la elegida de acuerdo con las siguientes instrucciones: Marque A si la afirmacin y la razn son VERDADERAS y la razn es una explicacin CORRECTA de la afirmacin. Marque B si la afirmacin y la razn son VERDADERAS, pero la razn NO es una explicacin CORRECTA de la afirmacin. Marque C si la afirmacin es VERDADERA, pero la razn es una proposicin FALSA. Marque D si la afirmacin es FALSA, pero la razn es una proposicin VERDADERA.

Correcto La MT no se diseo para clculos especficos. Correcto No puede contener cadenas vacas.

La maquina de Turing es particularmente importante porque es la mas poderosa de todas las maquinas abstractas

Solo una accin simultnea puede ejecutar una cinta en la Mquina de Turing (MT) PORQUE la accin de escribir un smbolo en la cinta o la accin de movimiento del cabezal son excluyentes. Se hace una o la otra pero no ambas a la vez.
Seleccione una respuesta. a. OPCION C

b. OPCION D

c. OPCION A Correcto: La razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la afirmacin. Las acciones en la MT son excluyentes (o se lee o se escribe).

d. OPCION B La razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la afirmacin. Las acciones en la MT son excluyentes (o se lee o se escribe). La razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la afirmacin. Las acciones en la MT son excluyentes (o se lee o se escribe). Correcto Puntos para este envo: 1/1. Question 3 Puntos: 1

Cul de las siguientes proposiciones es FALSA con respecto a las Mquinas de Turing
Seleccione una respuesta. a. Una mquina de Turing es un dispositivo como lo eran los autmatas finitos o los autmatas a pila b. Una Mquina de Turing tiene mayores capacidades que un Autmata Finito o de Pila

c. El desplazamiento de la Mquina en la cinta es siempre hacia la derecha d. La mquina de Turing consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal lee el contenido

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

Por definicin, al iniciar la operacin de la MT, la cabeza lectora est posicionada en el caracter blanco a la izquierda de la palabra de entrada, el cual es el cuadro ms a la izquierda de la cinta. La mquina de Turing (abreviado MT) tiene, como los autmatas que hemos visto antes, un control finito, una cabeza lectora y una cinta donde puede haber caracteres, y donde eventualmente viene la palabra de entrada. La cinta es de longitud infinita hacia la derecha, hacia donde se extiende indefinidamente, llenndose los espacios con el caracter blanco (que representaremos con t). La cinta no es infinita hacia la izquierda, por lo que hay un cuadro de la cinta que es el extremo izquierdo, como en la figura En la MT la cabeza lectora es de lectura y escritura, por lo que la cinta puede ser modificada en curso de ejecucin. Adems, en la MT la cabeza se mueve bidireccionalmente (izquierda y derecha), por lo que puede pasar repetidas veces sobre un mismo segmento de la cinta. Correcto Puntos para este envo: 1/1. Question 4 Puntos: 1

Una Mquina de Turing est en capacidad de realizar cualquier cmputo que un computador digital sea capaz de realizar. Durante el cmputo o procesamiento de la palabra de entrada, hay dos situaciones especiales que se pueden presentar y son vlidas: Identifquelas.
Seleccione al menos una respuesta. a. El cmputo termina por que en determinado momento Correcto: La MT se llega al final de un clculo cuando se alcanza un estado no hay transicin definida. b. Una cadena de entrada w no es aceptada por una Mquina de Turing (MT) M si la cadena es vaca. especial llamado halt en el control finito, como resultado de una transicin Incorrecto: Las cadenas vacas tambin son aceptadas.

c. La mquina de Turing se detiene si detecta el inicio o adicin de otra cinta.

Incorrecto: Hay MT multicinta y adems estas no se adicionan, estas deben definirse desde el diseo y se expresan en la funcin de transicin.

d. El cmputo no termina; esto es lo que se denomina un Correcto: La MT se llega al final de un clculo cuando se alcanza un estado bucle infinito especial llamado halt en el control finito, como resultado de una transicin Cuando queremos que una palabra no sea aceptada, desde luego debemos evitar que la MT llegue al halt. Podemos asegurarnos de ello haciendo que la MT caiga en un ciclo infinito El lenguaje aceptado por una MT es simplemente el conjunto de palabras aceptadas por ella. Decimos que en la MT se llega al final de un clculo cuando se alcanza un estado especial llamado halt en el control finito, como resultado de una transicin. Representaremos al halt por h. Al llegar al halt, se detiene la operacin de la MT, y se acepta la palabra de entrada. As, en la MT no hay estados finales. En cierto sentido el halt sera entonces el nico estado final, slo que adems detiene la ejecucin. Correcto Puntos para este envo: 1/1. Question 5 Puntos: 1

1. Con que configuracin de cinta se detendr la mquina de Turing mostrada a continuacin si comienza con la cinta configurada como xxx . Asuma el orden con que estn numerados los estados para el proceso. Tenga en cuenta que la operacin entre puntos es la que est activa como para este ejemplo:

.x.xx

Seleccione una respuesta. a. xxx. . b. xxx. . c. xxx .. d. xxx. . Incorrecto:

Incorrecto: Se debe recorrer toda la mquina hasta el estado final o de parada. La palabra de entrada en la MT est escrita inicialmente en la cinta, como es habitual en nuestros autmatas, pero iniciando a partir de la segunda posicin de la cinta, siendo el primer cuadro un caracter blanco. Como la cinta es infinita, inicialmente toda la parte de la cinta a la derecha de la palabra de entrada est llena del caracter blanco (t). Incorrecto Puntos para este envo: 0/1. Question 6 Puntos: 1 Este tipo de tems consta de dos proposiciones as: una Afirmacin y una Razn, unidas por la palabra PORQUE. Usted debe examinar la veracidad de cada proposicin y la relacin terica que las une. Para responder este tipo de tems, debe leerla completamente y sealar en la hoja de respuesta, la elegida de acuerdo con las siguientes instrucciones: Marque A si la afirmacin y la razn son VERDADERAS y la razn es una explicacin CORRECTA de la afirmacin. Marque B si la afirmacin y la razn son VERDADERAS, pero la razn NO es una explicacin CORRECTA de la afirmacin. Marque C si la afirmacin es VERDADERA, pero la razn es una proposicin FALSA. Marque D si la afirmacin es FALSA, pero la razn es una proposicin VERDADERA. Al iniciar la operacin de un autmata de pila, la pila debe tener un contenido inicial. PORQUE Al igual que los autmatas finitos los autmatas de pila tienen estados finales que permiten distinguir cuando una palabra de entrada es aceptada. Seleccione una respuesta. a. OPCION A b. OPCION D c. OPCION C d. OPCION B La Afirmacin es FALSA porque la pila debe estar vaca, pero la razn es verdadera. La Afirmacin es FALSA porque la pila debe estar vaca, pero la razn es verdadera, opcin correcta es D Correcto: La Afirmacin es FALSA porque la pila debe estar vaca, pero la razn es verdadera, opcin correcta es D

LECCION III
1 Puntos: 1

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

Para que se logre o se d esta mquina se debe cumplir:

Seleccione al menos una respuesta. a. La cinta superior contiene informacin correspondiente a la parte derecha de la cinta M a partir de un punto de referencia dado. b. La Mquina de Turing M que tiene una Cinta Infinita en un sentido, puede simular a M si tiene una cinta con dos pistas. c. La pista inferior y superior leen los datos simultneamente en ambos sentidos. Luego y dependiendo de los estado repetitivos, se detiene una pista y contina la que menos celdas tenga ocupada. Incorrecto Parcialmente correcto

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

Parcialmente correcto

Hay otras definiciones de las mquinas de Turing que son equivalentes. Algunos de esos modelos alternativos son mucho ms complicados aunque todos tienen la misma potencia computacional (o de clculo). Muchas de ellas dotan de mayor flexibilidad al diseo de una mquina de Turing que resuelva un problema en particular. Una mquina de Turing con una cinta infinita en un sentido puede simular una mquina de Turing con la cinta infinita en los dos sentidos pero con dos pistas. Sea una Mquina de Turing en Dos Direcciones: M una mquina de Turing con una cinta infinita en los dos sentidos. La mquina de Turing M, que tiene una cinta infinita en un sentido, puede simular a M si tiene una cinta con dos pistas. La cinta superior contiene la informacin correspondiente a la parte derecha de la cinta M, a partir de un punto de referencia dado. La pista inferior contiene la parte izquierda de la cinta M (en orden inverso). Parcialmente correcto Puntos para este envo: 0.7/1. Question 2 Puntos: 1

Acerca de los PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES, cules afirmaciones o razonamientos son vlidos.
Seleccione al menos una respuesta. 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 decisin que hace referencia a esta caracterstica de "solucin o no" de problemas que aborda la Teora d ela computacin. Incorrecto: Insoluble si no existe un procedimiento c. Un problema es Insoluble si si existe una MT que se acerque a su solucin. 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 lenguajes no computables son una infinidad no numerable "problema de decisin que hace referencia a esta caracterstica de "solucin o no" de problemas que aborda la Teora d ela computacin. Correcto: Se est definiendo y caracterizando un "problema de decisin que hace referencia a esta caracterstica de "solucin o no" de problemas que aborda la Teora de la computacin. Un problema de decisin (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta de tipo si/no. Correcto Puntos para este envo: 1/1. Question 3 Puntos: 1

a. Un problema es soluble si existe una MT que no puede parar por su capacidad de cmputo . b. Cuando se tratan los PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES, se presentan los Problemas de decisin (PD). Un PD es aqul formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta de tipo si/no. Hay problemas de decisin de tipo soluble, parcialmente soluble e insoluble

Si iniciamos la mquina de Turing siguiente con la cadena yyxyxx

Seleccione una respuesta. a. la mquina tiene dos cintas b. la mquina acepta la cadena. c. hay una terminacin anormal. d. la mquina entra en un bucle y no termina nunca. La mquina entra en un bucle Decimos que en la MT se llega al final de un clculo cuando se alcanza un estado especial llamado halt en el control finito, como resultado de una transicin. Representaremos al halt por h. Al llegar al halt, se detiene la operacin de la MT, y se acepta la palabra de entrada. As, en la MT no hay estados finales. En cierto sentido el halt sera entonces el nico estado final, slo que adems detiene la ejecucin. Incorrecto Puntos para este envo: 0/1. Question 4 Puntos: 1 Incorrecto: la mquina no se detien.

Cul de las siguientes apreciaciones no aplica para el funcionamiento de la Mquina de Turing (MT).
Seleccione una respuesta. a. Las informaciones necesarias para resumir la situacin de una MT en medio de un clculo son: Estado en que se encuentra la MT, Contenido de la Cinta y Posicin d ela cabeza. b. El desplazamiento de la cabeza de una Mquina 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 definicin, al iniciar la operacin de la MT, la cabeza lectora est Esta es la respuesta correcta: Esta apreciacin es falsa por cuanto el desplazamiento lo puede hacer en ambos sentidos.

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

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

Seleccione una respuesta. a. Dada una mquina de Turing, existe una gramtica estructurada por frases que genera el mismo lenguaje que acepta el autmata si y slo si la mquina es determinista. b. La tesis de Turing implica que para todo lenguaje existe una mquina de Turing que lo acepta, ya sea el alfabeto finito o infinito. c. Turing describa en su artculo que a travs de su mquina haba conseguido caracterizar de un modo matemtico el nmero de funciones calculables, usando para ello una mquina abstracta d. La tesis de Turing no implica que los lenguajes ms generales que existan sean los lenguajes estructurados por frases. Corrceto. Existen lenguajes no computables, que no son estructurados por frases y que ninguna mquina de Turing acepta.

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

Suponga que se desea construir una mquina de Turing que enumere en orden sobre su cinta todos los nmeros enteros. Indique cul de las siguientes afirmaciones es verdadera:
Seleccione una respuesta. a. Se debe definir una cinta con 9 celdas (por la condicion decimal)

b. No existe ninguna mquina de Turing, ya que el problema planteado no es computable c. La mquina podra devolver el resultado en notacin decimal Comentario 2: Es fcil construir una mquina de Turing que impide que se escriban nmeros en notacin decimal en su cinta. Correcto: Esta mquina Universal no debe ser diseada para realizar un clculo especfico, sino para procesar cualquier sobre cualquier configuracin inicial de entrada correcta para esa MT particular). d. La mquina necesariamente habra de proporcionar el resultado

enumere en orden sobre su cinta todos los nmeros enteros, y nada informacin (realizar cualquier clculo especfico -MT particular-

en notacin binaria . Tenga en cuenta es una mquina abstracta. Esta mquina Universal no debe ser diseada para realizar un clculo especfico, sino para procesar cualquier informacin (realizar cualquier clculo especfico -MT particular- sobre cualquier configuracin inicial de entrada correcta para esa MT particular). Es posible concebir una M T capaz de ejecutar cualquier algoritmo; es decir capaz de realizar los clculos que realizara cualquier otra MT, o sea, capaz de simular (tener el mismo comportamiento) cualquier MT particular. Correcto Puntos para este envo: 1/1. Question 7 Puntos: 1 Asocie correctamente las caractersticas de las Variantes o diferentes Mquinas de Turing. Mquina de Turing que usa una cinta que se extiende infinitamente en una nica direccin. Una mquina de Turing con una cinta infinita en un sentido puede simular una mquina de Turing con la cinta infinita en los dos sentidos pero con dos pistas No debe ser diseada para realizar un clculo especfico, sino para procesar cualquier informacin (realizar cualquier clculo especfico -MT particular- sobre cualquier configuracin inicial de entrada correcta. MT que para un estado actual y el smbolo actual de la cinta, puede haber un nmero finito de movimientos a elegir La cinta est dividida en un numero finito de k pistas hay n cintas diferentes y n cabezas de L/E (Lectura / Escritura)
Mquinas Universal de Turing Mquinas de Turing Multicinta Mquinas de Turing no Determinista Mquinas de Turing Multipista Mquinas de Turing en dos direcciones

Mquinas de Turing de cinta infinita en una direccin.

Hay otras definiciones de las mquinas de Turing que son equivalentes. Algunos de esos modelos alternativos son mucho ms complicados aunque todos tienen la misma potencia computacional (o de clculo). Muchas de ellas dotan de mayor flexibilidad al diseo de una mquina de Turing que resuelva un problema en particular. Parcialmente correcto Puntos para este envo: 0.7/1. Question 8 Puntos: 1 Acerca del tipo de cadenas que puede aceptar una Mquina de Turing, determine cul afirmacin es vlida. 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 mquina 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 clculo c. Una mquina de Turing cuyo estado inicial coincida con el estado de parada acepta toda cadena cuando se alcanza un estado especial llamado halt en el control finito, como resultado de una transicion. Representaremos al halt por h d. Cualquier lenguaje puede ser reconocido por una mquina de

Turing La MT es un modelo de mquina abstracta, como una extensin de los autmatas finitos, que result ser de una gran simplicidad y podero a la vez. La mquina de Turing es particularmente importante porque es la mas poderosa de todas las mquinas abstractas conocidas Al disenar una MT que acepte un cierto lenguaje, en realidad disenamos el autmata finito que controla la cabeza y la cinta, el cual es un autmata con salida. Correcto Puntos para este envo: 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 indec idible mediante maquinas de Turing c. El problema de la parada o problema de la detencin es de hecho soluble y la Teora d ela Computacin lo defini como tal

Correcto Correcto Incorrecto

d. El probleme de tipo "insoluble" define que hay un algoritmo que lo soluciona pero que no se puede llebvar a una MT o una mquina abstracta.

Incorrecto

Bsicamente, Turing defini las bases de las computadoras modernas y planteo un problema sobre ellas, llegando a la conclusin de que no hay ningn algoritmo que lo resuelva. Es el problema de la detencin (Halting problem); el problema de saber si un problema se cuelga cuando corre en la computadora. Turing demostr que el problema de la detencin es indicidible, es decir, demostr que haba problemas que una maquina no poda resolver El problema de Halting es el primer problema indecidible mediante maquinas de Turing. Equivale a construir un programa que te diga si un problema de ordenador finaliza alguna vez o no (entrando a un bucle infinito, por ejemplo) Correcto Puntos para este envo: 1/1. Question 10 Puntos: 1

Una Mquina de Turing (MT) se puede comportar como un aceptador de un lenguaje. Si colocamos una cadena w en la cinta, situamos la cabeza de lectura/escritura sobre el smbolo del extremo izquierdo de la cadena w y ponemos en marcha la mquina a partir de su estado inicial. Para que w sea aceptada se requiere:
Seleccione una respuesta. a. Que el estado final contenga la cadena vaca o nula b. Que se complete un clico as: Inmediatamente despus del primer ciclo de lectura del cabezal a la cinta. c. Que la cinta no haya sido inicializada. d. Si despus de una secuencia de movimientos, la Mquina de Turing (mt) llega a un estado final y para Por definicin, al iniciar la operacin de la MT, la cabeza lectora est posicionada en el caracter blanco a la izquierda de la palabra de entrada, el cual es el cuadro ms a la izquierda de la cinta. Incorrecto. Pueden haber varios ciclos.

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

QUIZ III 1 Puntos: 1 La afirmacin: Una mquina de Turing universal es capaz de decidir cualquier lenguaje independiente del contexto. Seleccione una respuesta. a. Slo es verdadera para lenguajes independientes del contexto reconocibles mediante autmatas de pila deterministas b. Es verdadera solo si la MT tiene un estado c. Es falsa Todo lenguaje independiente del contexto es decidible mediante una mquina de Turing, que puede ser simulada mediante una mquina de Turing universal.

d. Es verdadera

Esta mquina Universal no debe ser diseada para realizar un clculo especfico, sino para procesar cualquier informacin (realizar cualquier clculo especfico -MT particular- sobre cualquier configuracin inicial de entrada correcta para esa MT particular). Correcto Puntos para este envo: 1/1. Question 2 Puntos: 1 Un problema de decisin (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta de tipo si/no. Para la Teora de Lenguajes, un problema de decisin es insoluble cuando: (seleccione dos opciones) Seleccione al menos una respuesta. a. Si no se representa con un diagrama de Moore el problema. Incorrecto: Los diagramas de Moore y de Transicin o la foma como se represneten los problemas, no tienen nada que ver con la determinacin si es insoluble o no.

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

para determinar si la propiedad es verdadera (existe una MT que resuelve el problema, pero puede no parar). Insoluble si no existe un procedimiento efectivo para determinar si la propiedad es verdadera (no existe una MT). Correcto: Un problema de decisin es: Soluble si existe un algoritmo total para determinar si la propiedad es verdadera (Existe una MT que siempre para al resolver el problema). Parcialmente soluble si existe un algoritmo parcial para determinar si la propiedad es verdadera (existe una MT que resuelve el problema, pero puede no parar). Insoluble si no existe un procedimiento efectivo para determinar si la propiedad es verdadera (no existe una MT). Incorrecto:Los diagramas de Moore y de Transicin o la foma como se represneten los problemas, no tienen nada que ver con la determinacin si es insoluble o no.

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

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

Un problema de decisin (PD) es aquel formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta de tipo si/no. Correcto Puntos para este envo: 1/1. Question 3 Puntos: 1 Los tems que encontrar a continuacin constan de una afirmacin VERDADERA (tesis) y dos postulados tambin VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen lgicamente de la afirmacin y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instruccin: Marque A si de la tesis se deducen los postulados I y II. Marque B si de la tesis se deduce el postulado I. Marque C si de la tesis slo se deduce el postulado II. Marque D si ninguno de los postulados se deduce de la tesis. TESIS. Se dice que en la MT se llega al final de un clculo cuando se alcanza un estado especial llamado halt en el control finito, como resultado de una transicin.. POSTULADO I. Al llegar al halt, se detiene la operacin de la MT, y se acepta la palabra de entrada.. POSTULADO II. Por ello es que en la MT no hay estados finales. Seleccione una respuesta. a. OPCION A b. OPCION D c. OPCION B Correcto: Deficinicn de MT. Son postulados verdaderos que se deducen de la Tesis

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

Seleccione una respuesta. a. OPCION C

b. OPCION B

c. OPCION D

d. OPCION A Correcto: tanto la razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la afirmacin. Corresponde a la aplicacin de las MT tanto la razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la afirmacin. Corresponde a la aplicacin de las MT Tanto la razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la afirmacin. Corresponde a la aplicacin de las MT Correcto

Puntos para este envo: 1/1. Question 5 Puntos: 1 Los tems que encontrar a continuacin constan de una afirmacin VERDADERA (tesis) y dos postulados tambin VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen lgicamente de la afirmacin y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instruccin: Marque A si de la tesis se deducen los postulados I y II. Marque B si de la tesis se deduce el postulado I. Marque C si de la tesis slo se deduce el postulado II. Marque D si ninguno de los postulados se deduce de la tesis. TESIS: La reducibilidad ha permitido llegar a determinar la indecibilidad en algunos problemas computacionales. POSTULADO I. Una manera ms simple de determinar la indecibilidad es utilizando el mtodo de reduccin, el cual est implcito en nuestra manera de pensar a la hora de solucionar ciertos problemas. POSTULADO II. dado un problema P1, este se reduce a solucionar P2. Es decir, si solucionamos P2, tenemos solucionado P1. De esta manera hemos convertido un problema en otro.

Seleccione una respuesta. a. OPCION A Correcto: Hace referencia a la reducibilidad de Turing. Los dos postulados se derivan de la Tesis. Adems 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. Adems todos son verdaderos. Hace referencia a la reducibilidad de Turing. Los dos postulados se derivan de la Tesis. Adems todos son verdaderos. Correcto Puntos para este envo: 1/1. Question 6 Puntos: 1

No hay diferencia alguna entre una Mquina de Turing y una Mquina Universal de Turing PORQUE Las dos hacen referencia a la misma mquina Seleccione una respuesta. a. La Afirmacin y la Razn son VERDADERAS pero la Razn NO es una explicacin CORRECTA de la Afirmacin b. La Afirmacin y la Razn son VERDADERAS y la Razn es una explicacin Incorrecto: Se est hablando de dos mquinas diferentes. CORRECTA de la Afirmacin c. La Afirmacin es FALSA, pero la Razn es una proposicin VERDADERA

d. La Afirmacin es VERDADERA, pero la Razn es una proposicin FALSA

La Mquina Universal de Turing no debe ser diseada para realizar un clculo especfico, sino para procesar cualquier informacin (realizar cualquier clculo especfico -MT particular- sobre cualquier configuracin inicial de entrada correcta para esa MT particular). Incorrecto Puntos para este envo: 0/1. Question 7 Puntos: 1 La forma correcta de operar una Mquina de Turing (MT) es: Seleccione una respuesta. a. Inicializacin de la Mquina / Se pone la unidad de control en el estado inicial / La cinta est en blanco / Introducir la cadena de entrada en la cinta / Se posiciona la cabeza sobre la primera letra de la cadena introducida b. Inicializacin de la Mquina / Introducir la cadena de entrada en Incorrecto: La operacin de la MT consta de los la cinta / La cinta est en blanco para iniciar / Se posiciona la siguientes pasos: 1. Lee un caracter en la cinta cabeza sobre la primera letra de la cadena introducida / Se pone la 2. Efectua una transicin de estado 3. Realiza una accin en la cinta unidad de control en el estado inicial c. Inicializacin de la Mquina / Introducir la cadena de entrada en la cinta / La cinta est en blanco para iniciar / Se pone la unidad de control en el estado inicial / Se posiciona la cabeza sobre la primera letra de la cadena introducida d. Inicializacin de la Mquina / La cinta est en blanco / Introducir la cadena de entrada en la cinta / Se pone la unidad de control en

el estado inicial / Se posiciona la cabeza sobre la primera letra de la cadena introducida La mquina de Turing (abreviado MT) tiene, como los autmatas que hemos visto antes, un control finito, una cabeza lectora y una cinta donde puede haber caracteres, y donde eventualmente viene la palabra de entrada. La cinta es de longitud infinita hacia la derecha, hacia donde se extiende indefinidamente, llenndose los espacios con el caracter blanco (que representaremos con t). La cinta no es infinita hacia la izquierda, por lo que hay un cuadro de la cinta que es el extremo izquierdo, como en la figura En la MT la cabeza lectora es de lectura y escritura, por lo que la cinta puede ser modificada en curso de ejecucin. Adems, en la MT la cabeza se mueve bidireccionalmente (izquierda y derecha), por lo que puede pasar repetidas veces sobre un mismo segmento de la cinta. Incorrecto Puntos para este envo: 0/1. Question 8 Puntos: 1 Los tems que encontrar a continuacin constan de una afirmacin VERDADERA (tesis) y dos postulados tambin VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen lgicamente de la afirmacin y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instruccin: Marque A si de la tesis se deducen los postulados I y II. Marque B si de la tesis se deduce el postulado I. Marque C si de la tesis slo se deduce el postulado II. Marque D si ninguno de los postulados se deduce de la tesis. TESIS: La mquina de Turing es una mquina abstracta que se comporta como una extensin de los autmatas finitos, que result ser de una gran simplicidad y podero a la vez. POSTULADO I. La mquina de Turing (abreviado MT) tiene, un control finito, una cabeza lectora y una cinta donde puede haber caracteres, y donde eventualmente viene la palabra de entrada. POSTULADO II. La mquina de Turing es particularmente importante porque es la ms poderosa de todas las mquinas abstractas conocidas.

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 envo: 0/1. Question 9 Puntos: 1 Asocie correctamente las teoras o trabajos en automatizacin que estos autores trabajaron y fueron relevantes para determinar y apoyar el estudio de AUTOMATA SY LENGUAJES FORMALES. Inicin con mostrar la existencia de problemas indecidibles Procur conseguir un modelo matemtico formal, completo y consistente, en el que a travs de un algoritmo, se pudiese determinar la veracidad o falsedad de cualquier proposicin formal Defini las bases de las computadoras modernas y planteo un problema sobre ellas, llegando a la conclusin de que no hay ningn algoritmo que lo resuelva. Primer problema indecidible mediante maquinas de Turing
HALTING

HILBERT

TURING

CHURCH

El origen de los modelos abstractos de computacin se encuadra en los aos '30 (antes de que existieran los ordenadores modernos), para el trabajo de los lgicos Alonzo Church, Kurt Gdel, Stephen Kleene, Emil Leon Post, y Alan Turing. Estos trabajos iniciales han tenido una profunda influencia, tanto en el desarrollo terico como en abundantes aspectos de la prctica de la computacin; previendo incluso la existencia de ordenadores de propsito general, la posibilidad de interpretar programas, la dualidad entre software y hardware, y la representacin de lenguajes por estructuras formales basados en reglas de produccin. Parcialmente correcto Puntos para este envo: 0.5/1. Question 10 Puntos: 1 Una de las siguientes afirmaciones es verdadera seleccinela: Seleccione una respuesta. a. Dada una mquina de Turing, existe una gramtica estructurada por frases que genera el mismo lenguaje que acepta el autmata si y slo si la mquina es determinista. b. La tesis de Turing implica que para todo lenguaje existe una mquina de Turing que lo acepta, ya sea el alfabeto finito o infinito.

c. La tesis de Turing no implica que los lenguajes ms generales que existan sean los lenguajes estructurados por frases. Correcto Puntos para este envo: 1/1. Question 11 Puntos: 1

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

Indique cul de las siguientes afirmaciones es verdadera o aplica al diseo y construccin de las Mquinas de Turing (MT). Seleccione una respuesta. En realidad, con una nica mquina de Turing, ya sea de una o varias cintas, determinista o no determinista, es posible reconocer un nmero indefinido de lenguajes (imagine, p.e., una mquina formada componiendo varias mquinas de Turing M i que a. Es posible disear una mquina de Turing de reconocen respectivos lenguajes L i mediante mensajes de aceptacin que identifican al lenguaje). Las cadenas que llevan a la tres cintas que reconozca tres lenguajes. mquina a un bucle de ejecucin infinita no pueden ser reconocidas, ya que es imposible determinar si la ejecucin va a terminar o no en algn momento (es el problema de los lenguajes no decidibles). b. Con una nica mquina de Turing, ya sea de una o varias cintas, determinista o no determinista, slo es posible reconocer un lenguaje c. Con una nica mquina de Turing pueden reconocerse tres lenguajes: el lenguaje de las cadenas que acepta, el lenguaje de las cadenas que rechaza y el lenguaje de las cadenas que llevan a la mquina a un bucle de ejecucin infinita. Al disear una MT que acepte un cierto lenguaje, en realidad diseamos el autmata finito que controla la cabeza y la cinta, el cual es un autmata con salida As, podemos usar la notacin grfica utilizada para aquellos autmatas para indicar su funcionamiento Correcto Puntos para este envo: 1/1.

Question 12 Puntos: 1 En una Mquina de Turing la cabeza lectora es de Escritura y Lectura debido a que: Seleccione una respuesta. a. Se lee un Carcter en la Cinta. b. La cabeza se mueve Unidireccionalmente. Respuesta Correcta. La palabra de entrada en la MT est escrita inicialmente en la cinta, como es habitual en nuestros autmatas, pero iniciando a partir de la segunda posicin de la cinta, siendo el primer cuadro un caracter blanco. Como la cinta es infinita, inicialmente toda la parte de la cinta a la derecha de la palabra de entrada est llena del caracter blanco (t).

c. La cinta puede ser modificada en curso de ejecucin.

d. No pasa repetidas veces sobre un mismo segmento.

Al disear una MT que acepte un cierto lenguaje, en realidad diseamos el autmata finito que controla la cabeza y la cinta, el cual es un autmata con salida As, podemos usar la notacin grfica utilizada para aquellos autmatas para indicar su funcionamiento Correcto Puntos para este envo: 1/1. Question 13 Puntos: 1 Seleccione cul de las siguientes situaciones no es posible cuando una mquina de Turing determinista examina una cadena: Seleccione una respuesta. a. La mquina abandona los clculos por no encontrar ninguna transicin aplicable b. Se produce una terminacin anormal (es decir, la cabeza lectora se desplaza a la izquierda de la primera celda de la cinta) Puesto que la mquina es determinista, necesariamente encuentra siempre una transicin aplicable.

c. La mquina no se detiene nunca. Ya que cualquier mquina de Turing determinista es tambin no determinista, es lgico que una mquina de Turing determinista se pueda simular mediante una no determinista. Tambin una mquina de Turing determinista puede simular una no determinista. Por tanto, no se gana ninguna potencia adicional a causa del no determinismo. Correcto Puntos para este envo: 1/1. Question 14 Puntos: 1 La maquina de Turng opera cclicamente dado que: Seleccione una respuesta. a. Al comienzo de un ciclo se parte de una determinada configuracin. b. Una instruccin viene representada por un quntupla. c. La cabeza puede leer y escribir en un mismo carcter. d. Comienza por una palabra de entrada. Esta mquina Universal no debe ser diseada para realizar un clculo especfico, sino para procesar cualquier informacin (realizar cualquier clculo especfico -MT particular- sobre cualquier configuracin inicial de entrada correcta para esa MT particular). Correcto Puntos para este envo: 1/1. Question 15 Puntos: 1 Dependiendo de los diferentes tipos de Mquinas de Turing (MT), estas se comportan de manera diferenete en la solucin de problemas. para una MT MULTIPISTA, indique una propiedad vlida de esta. Seleccione una respuesta. a. En esta MT no se inicializan las cintas por que tienen muchas pistas. b. La cinta esta dividida en un nmero finito de k Respuesta Correcta. Se debe definir la configuracin inicial para iniciar el ciclo de trabajo

pistas c. La cinta est en un nmero infinito de k pistas. Por eso es MULTIPISTA d. Al haber varias pistas, requiere de ms estados de transicin Hay ciertos modelos de computacin relacionados con las mquinas de Turing, que poseen el mismo potencial como reconocedores de lenguajes que el modelo bsico. Dentro de esas modificaciones, una muy particular es la MULTIPISTA que resulta muy efectiva para solucin d eproblemas extensos. Incorrecto:En el modelo multipista, la cinta est dividida en un nmero FINITO de k pistas.