Automatas y Lenguajes Formales_correcciones Recientes
-
Upload
juan-david-taborda -
Category
Documents
-
view
239 -
download
1
Transcript of Automatas y Lenguajes Formales_correcciones Recientes
-
Act1: Revisin de Presaberes
Revisin del intento 1
Comenzado el: mircoles, 27 de marzo de 2013, 17:19
Completado el: mircoles, 27 de marzo de 2013, 18:00
Tiempo empleado: 41 minutos 26 segundos
Puntuacin bruta: 5/6 (83 %)
Calificacin: de un mximo de
Comentario - Correcto. Ha contestado la totalidad de las preguntas
Continuar
1 Puntos: 1
Asocie correctamente la estructura de la clase de lenguajes y las gramticas que los pueden generar: "Jerarqua de Chomsky"
Se denominan regulares o de estado nito. Los lenguajes aceptados por estas
gramticas se denominan conjuntos regulares.
Las gramticas de tipo 3
As como los lenguajes generados, se llaman independientes del contexto.
Las gramticas de tipo 2
Se denominan dependientes del contexto. Los lenguajes aceptados por estas
gramticas son los lenguajes dependientes del contexto
Las gramticas de tipo 1
Correcto Puntos para este envo: 1/1.
N. Chomsky (1956) propone tres modelos para la descripcin de lenguajes, que son la base de su futura jerarqua de los tipos de lenguajes, que ayud tambin en el desarrollo de los lenguajes de programacin.
2 Puntos: 1
Identifique que apreciaciones son vlidas cuando se trata de analizar la "Interseccin" y la "Unin" de dos alfabetos:
Seleccione una respuesta.
a. No hay diferencia entre la Unin y la Interseccin
-
de Alfabetos.
b. La interseccin entre alfabetos no e sposible por
que se repiten elementos "Propiedad de Regularidad"
c. La interseccin de dos alfabetos siempre da como
resultado otro alfabeto siemptre y cuando dicha
interseccin sea distinta de vaco.
Correcto: Es diferente el vaci a
lambda (cadena vaca)
d. Con los alfabetos solo podemos hacer operaciones
de Unin.
La interseccin de dos alfabetos siempre da como resultado otro alfabeto siemptre y cuando dicha interseccin sea distinta de vaco.
Correcto Puntos para este envo: 1/1.
La interseccin de dos alfabetos siempre da como resultado otro alfabeto siemptre y cuando dicha interseccin sea distinta de vaco.
3 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 El lenguaje es una caracterstica propia del
Autmata. No tiene nada que ver con identificar el
estado actual del autmata.
b. Lenguaje que reconoce el autmata.
c. Cadena rechazada
d. Smbolo de Entrada 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
e. Alfabeto Incorrecto: El alfabeto es indiferente a determinar el
estado de un autmata.
f. Cadena aceptada
g. Smbolo de salida 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
h. Estado Finito Incorrecto. El estado de un autmata es toda la
informacin necesaria en un momento dado
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).
Correcto Puntos para este envo: 1/1.
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.
4 Puntos: 1
La jerarqua de Chomsky tiene como nico objetivo:
Seleccione una respuesta.
a. Clasificar los diferentes tipos de alfabetos que
definen un lenguaje determinado.
b. Ordenar y clasificar los diferentes tipos de
gramticas que generan lenguajes.
c. Clasificar de forma jerrquica los tipos de
Autmatas (Finitos o Infinitos) de acuerdo a las
gramticas y lenguajes que reconocen.
Incorrecto: La clasificacin hace referencia al
tipo de gramtica y los lenguajes que pueden
generar.
d. Clasificar de forma ordenada los diferentes
modelos de computacin de acuerdo a las
gramticas y lenguajes que existen.
En 1956, Noam Chomsky cre la Jerarqua de Chomsky para organizar los distintos tipos de lenguaje formal.
Incorrecto Puntos para este envo: 0/1.
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.
-
5 Puntos: 1
Desde un punto de vista matemtico una gramtica podra contener los siguientes elementos:
Es un alfabeto, llamado de smbolos terminales. Sus elementos se suelen representar con letras
minsculas.
T
Es un alfabeto, llamado de variables o smbolos no terminales. Sus elementos se suelen
representar con letras maysculas.
V
Smbolo de partida y pertenece al alfabeto de las variables o smbolos no terminales.
S
Reglas de produccin
P
Correcto Puntos para este envo: 1/1.
Los intentos de formalizar los lenguajes naturales, lleva a la construccin de gramticas, como una forma de describir estos lenguajes, utilizando para ello reglas de produccin para construir las frases del lenguaje. Se puede entonces caracterizar un Lenguaje, mediante las reglas de una gramtica adecuada
6 Puntos: 1
La definicin de semntica tiene una connotacin importante, una de las definiciones que usted encuentra a continuacin no es la correcta. Seleccinela
Seleccione una respuesta.
a. Son las normas o reglas que definen un lenguaje.
Son la secuencia de smbolos, que forman cadenas
de smbolos de un lenguaje
Incorrecto:La semntica hace referencia a
aspectos de interpretacin y lgica. La
sintxis hace referencia ms a la forma y el
rden de presentar los lenguajes.
b. Se refiere al significado o interpretacin del
significado, de un determinado smbolo, palabra,
lenguaje o representacin formal
c. Estudio del significado de los signos lingsticos
y de sus combinaciones, desde un punto de vista
sincrnico o diacrnico.
-
d. Es el conjunto de reglas que proporcionan el
significado de una sentencia o instruccin de
cualquier lenguaje de programacin
La semntica hace referencia a aspectos de interpretacin y lgica. La sintxis hace referencia ms a la forma y el rden de presentar los lenguajes.
Correcto Puntos para este envo: 1/1.
El desarrollo de los ordenadores en la dcada de los 40, con la introduccin de los programas en la memoria principal, y posteriormente con los lenguajes de programacin de alto nivel, propician la distincin entre lenguajes formales, con reglas sintcticas y semnticas rgidas, concretas y bin definidas, de los lenguajes naturales como el ingls, donde la sintaxis y la semntica no se pueden controlar fcilmente. Los intentos de formalizar los lenguajes naturales, lleva a la construccin de gramticas, como una forma de describir estos lenguajes, utilizando para ello reglas de produccin para construir las frases del lenguaje. Se puede entonces caracterizar un Lenguaje, mediante las reglas de una gramtica adecuada.
Continuar
Usted se ha autentificado como YEIDER MANUEL VELASQUEZ VELASQUEZ (Salir) 301405A
Act 3: Reconocimiento Unidad No. 1
Revisin del intento 1
Comenzado el: mircoles, 27 de marzo de 2013, 18:09
Completado el: mircoles, 27 de marzo de 2013, 18:41
Tiempo empleado: 31 minutos 35 segundos
Puntuacin bruta: 3.5/6 (58 %)
Calificacin: de un mximo de
Comentario - Bin. Pero no abord la totalidad de las respuestas corectamente.
Continuar
1 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.
-
a. El plano del diseo de la mquina Correcto: Los diagramas de Moore son
otra forma de representar las funciones de
transicin y salida de un autmata.
b. Las caractersticas tcnicas de la Mquina
c. Las caractersticas de color de la mquina
d. La instrucciones de operacin de la Mquina
El diagrama de Moore es un grafo orientado en el que cada nodo corresponde a un estado
Correcto Puntos para este envo: 1/1.
Los diagramas de Moore son otra forma de representar las funciones de transicin y salida de un autmata.
2 Puntos: 1
Dado el alfabeto: = {a,b} una representacin vlida de la expresin regular y su lenguaje sera:
Seleccione una respuesta.
a. Expresin Regular (bb)* Como Lenguaje: { ,b,bbb,bbbbbb,}
b. Expresin Regular (a+b)*a Como Lenguaje: empiezan en a y
terminan en b
Incorrecto
c. Expresin Regular a(a+b)*a + b(a+b)*b Como Lenguaje: empiezan
en a y terminan en ba
d. Expresin Regular a.(a+b)* Como lenguaje:
{a,aa,ab,aaa,aab,aba,abb, }
El cierre de Kleene de un lenguaje es la unin de todas las potencias de este lenguaje. Tambin se denomina estrella de Kleene.
Incorrecto Puntos para este envo: 0/1.
El cierre de Kleene de un lenguaje es la unin de todas las potencias de este lenguaje. Tambin se denomina estrella de Kleene.
3 Puntos: 1
-
Dado el siguiente Autmata (AFND)
Identifique la (ER) Expresin Regular que lo representa:
Seleccione una respuesta.
a. (aa)*b*
b. a*ab* Correcto
c. a*(ab)*
d. aab*
Una cadena vlida sera la que iniciara por una o varias a seguida de una o varias b
Correcto Puntos para este envo: 1/1.
La notacin de conjuntos nos permite describir los lenguajes regulares, pero se utiliza una notacin en que las representaciones de los lenguajes son simplemente texto (cadenas de caracteres). As las representaciones de los lenguajes regulares son simplemente palabras de un lenguaje (el de las representaciones correctamente formadas). Con estas ideas se va a definir un lenguaje, el de las expresiones regulares, en que cada palabra va a denotar un lenguaje regular.
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. Por smbolo, no se est haciendo referencia a
un solo carcter.
b. Los alfabetos son finitos.
c. { , , , } Es un ejemplo de alfabeto.
d. Los smbolos pueden ser nombres. Correcto
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.
Parcialmente correcto Puntos para este envo: 0.5/1.
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.
5 Puntos: 1
Se construy el siguiente autmata finito M para que cumpliera:
L(M) = {xm
ynz
p | 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. Tiene dos estados de aceptacin o finales
d. Acepta solo las cadenas que combinen los
elementos {x,z} del alfabeto
Incorrecto. Hay que tener en cuenta el otro
smnbolo del alfabeto {y}
El hecho que el Autmata tenga dos estados finales no lo clasifica como no vlido. Se est evaluando es la ER que reconoce.
Incorrecto Puntos para este envo: 0/1.
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.
6 Puntos: 1
Identifique la operacin bsica y que es correcta para un Autmata .
Seleccione una respuesta.
a. La informacin que codifica el autmata es
convertida a un sistema de dos dgitos (entrada y
salida) es decir (1 y 0), Sistema binario
b. El autmata recibe los smbolos de entrada en
orden aleatorio o en diferentes estados y la funcin de
este autmata (Mquina) es ordenarlos e
interpretarlos.
c. El autmata no es una simulacin. No es una
mquina.
d. El smbolo de salida que en un instante
determinado produce un autmata, no slo depende
del ltimo smbolo recibido a la entrada, sino de toda
la secuencia o cadena, que ha recibido hasta ese
instante.
Esta es la respuesta correcta: Un
autmata produce entradas y salidas
ordenadas que dependen del estado en
que se encuentre.
-
Para comprender el significado de Autmata, tendremos en cuenta el trmino mquina, que evoca algo hecho en metal, usualmente ruidoso y grasoso, que ejecuta tareas repetitivas que requieren de mucha fuerza o velocidad o precisin.
Correcto Puntos para este envo: 1/1.
Desde el punto de vista intuitivo, podemos ver un autmata finito como una caja negra de control, que va leyendo smbolos de una cadena escrita en una cinta, que se puede considerar ilimitada por la derecha. Existe una cabeza de lectura que en cada momento est situada en una casilla de la cinta. Inicialmente, esta se sita en la casilla de ms a la izquierda
Continuar
Usted se ha autentificado como YEIDER MANUEL VELASQUEZ VELASQUEZ (Salir) 301405A
Act 4: Leccin Evaluativa Unidad No.1
Revisin del intento 1
Comenzado el: mircoles, 27 de marzo de 2013, 18:44
Completado el: mircoles, 27 de marzo de 2013, 19:21
Tiempo empleado: 37 minutos 14 segundos
Puntuacin bruta: 7.1/10 (71 %)
Calificacin: de un mximo de
Comentario - Bin. Pero no abord la totalidad de las respuestas corectamente.
Continuar
1 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. 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
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.
-
modelos de computacin. Los comienzos de la
Teora. La Tesis de Church-Turing
b. Un aspecto importante en el desarrollo de los
computadores, es sin duda, su aplicacin para
guardar informacin.
Incorrecto: Un aspecto importante en el
desarrollo de los computadores, es sin duda, su
aplicacin para resolver problemas cientficos y
empresariales.
c. El propsito inicial de la automatizacin es
hacer precisa la nocin intuitiva de funcin
calculable; esto es, una funcin cuyos valores
pueden ser calculados de forma automtica o
efectiva mediante un algoritmo, y construir
modelos tericos para ello (de computacin).
Esta bsqueda de automatizacin fue uno de los
principios por lo que se desarrollaron muchas
teoras de computacin automtica.
d. La Teora de Conjuntos es de importancia y es
un prerrequisito en el estudio de la Teora de los
Autmatas y Lengujaes Formales
Correcto, la Teora de Conjuntos es importante
en el estudio de los Autmatas
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.
Correcto Puntos para este envo: 1/1.
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.
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 describir el
diagrama de transiciones completo.
-
posibles estados que alcanza el diagrama de
transiciones cuando se encuentra en el estado i y
lee el smbolo j.
b. El estado final en una tabla de transicin se
identifica mediante el smbolo de interrogacin.
este puede ubicarse en cualquier celada (i,j)
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. 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.
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.
Tabla de transiciones. Las funciones f y g pueden representarse mediante una tabla, con tantas filas como estados y tantas columnas como entradas
3 Puntos: 1
Los palndromos (palabras capicas) del idioma castellano, tales como a, y, dad, oso, erre, etc., constituyen un:
Seleccione una respuesta.
a. Lenguaje estructurado por frases (en sentido estricto).
b. Lenguaje Independiente del Contexto (en sentido
estricto).
Es correcto, sta es la respuesta
c. Lenguaje Normal
d. Lenguaje Regular
Un lenguaje independiente del contexto se puede caracterizar mediante una gramtica independiente del contexto que casi tiene la forma normal de Chomsky.
Correcto Puntos para este envo: 1/1.
-
Los lenguajes independientes del contexto que tambien se conocen con el nombre de gramaticas de contexto libre son un mtodo recursivo sencillo de especificacin de reglas gramaticales con las que se pueden generar cadenas de un lenguaje. Es factible producir de esta manera todos los lenguajes regulares, ademas de que existen ejemplos sencillos de gramaticas de contexto libre que generan lenguajes no regulares. Las reglas gramaticales de este tipo permiten que la sintaxis tenga variedad y refinamientos mayores que los realizados con lenguajes regulares, en gran medida sirven para especificar la sintaxis de lenguajes de alto nivel y otros lenguajes formales.
4 Puntos: 1
Asocie los trminos correctamente:
Conjunto de palabras (cadenas de caracteres) de longitud finita
formadas a partir de un alfabeto (conjunto de caracteres) finito.
Lenguaje Formal.
Incluyen a los Libres de Contexto (y por lo tanto a los Lenguajes
Regulares).
Lenguajes Libres de Contexto
Conjunto finito
Alfabeto
Incluyen a los Lenguajes Regulares
Lenguajes Regulares
Es la clase ms pequena, e incluye a los lenguajes ms simples
Lenguajes Recursivamente Enumerables
Jerarqua de Lenguajes
Chomsky
Parcialmente correcto Puntos para este envo: 0.5/1.
Llamamos clase de lenguajes a conjuntos de lenguajes que comparten una cierta propiedad dada. Esta nocin es muy abstracta, pues ya los lenguajes son en s mismos conjuntos de secuencias de smbolos, y las clases de lenguajes son entonces conjuntos de conjuntos de secuencias de smbolos.
5 Puntos: 1
-
Asocie correctamente los elementos de una tupla de un Autmata
Suele ser el estado inicial
q0
As se le llama a la cadena vaca
lambda
Conjunto de estados posibles
F
Suele describirse al estado final o de aceptacin
Q
Expresin Regular
ER
Parcialmente correcto Puntos para este envo: 0.6/1.
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.
6 Puntos: 1
Sea el Autmata Finito (AF) A= (, Q, f. q1, F) donde = {0,1} , Q = {q1, q2, q3, q4 }, F= { q2} y definimos la funcin de transicin f por la tabla siguiente:
-
Indique cul es lenguaje generado por el autmata:
Seleccione una respuesta.
a. 1( 1) (0)*
b. 0(010)*
c. 1*(1)
d. 1(01) * Correcto: La expresin regular genera las
cadenas que inician con 1 y que luego pueden o
no tener un 0 o un 1 .
La expresin regular genera las cadenas que inician con 1 y que luego pueden o no tener un 0 o un 1 .
Correcto Puntos para este envo: 1/1.
La tabla de transicin tambin es una forma de describir un Autmata. Con ella se puede identificar su ER. La expresin regular genera las cadenas que inician con 1 y que luego pueden o no tener un 0 o un 1 .
7 Puntos: 1
1. Indique cual de las siguientes afirmaciones referidas a los autmatas de la
figura, son ciertas. (Observe que hay una transicin que no lee ningn smbolo de la cadena de entrada):
Seleccione al menos una respuesta.
-
a. 2. Ambos autmatas reconocen el mismo
lenguaje incluyendo la cadena vaca.
Corecto: Ambos reconocen el mismo lenguaje.
b. 4. Cualquier autmata no determinista que
reconozca el mismo lenguaje que el autmata B
tiene al menos cuatro estados.
c. 1. Los autmatas reconocen el lenguaje
formado por todas las cadenas que empiezan
por 1 y que no terminan en dos ceros
consecutivos.
Correcto: Es el lenguaje formado por todas las
cadenas que empiezan por 1 excepto las
terminadas en dos ceros consecutivas, Adems
se debe inclur la cadena vaca. Ambos
autmatas reconocen el mismo lenguaje.
d. 3. El autmata A es ms potente por ser No
Determinista.
Es el lenguaje formado por todas las cadenas que empiezan por 1 excepto las terminadas en dos ceros consecutivas, Adems se debe inclur la cadena vaca. Ambos autmatas reconocen el mismo lenguaje.
Correcto Puntos para este envo: 1/1.
Es el lenguaje formado por todas las cadenas que empiezan por 1 excepto las terminadas en dos ceros consecutivas, Adems se debe inclur la cadena vaca. Ambos autmatas reconocen el mismo lenguaje.
8 Puntos: 1
Acerca de la cadena vaca lambda se puede afirmar que:
Seleccione una respuesta.
a. Es un smbolo y no es parte de un lenguaje
b. Es un palndromo
c. No es una cadena sino un smbolo Incorrecto.
d. Es un Autmata finito (AF)
Palndromos (palabras que se leen igual al derecho y al revs, como ANITALAVALATINA). labada puede ser repetitivo al igual que como por ejemplo la cadena {aa}
Incorrecto Puntos para este envo: 0/1.
-
Palndromos (palabras que se leen igual al derecho y al revs, como ANITALAVALATINA). labada puede ser repetitivo al igual que como por ejemplo la cadena {aa}
9 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. El lenguaje reconocido por el autmata es: a
(b* | a* ) ba*
b. Es un Autmata Finito Determinstico con
lambda - transiciones
Incorrecto: No solo hay transiciones Lambda
c. El lenguaje reconocido por el autmata es: a
(b*b | a*b) a*
d. Es un Autmata Finito Determinstico (AFD) Incorrecto:Se debe tener en cuenta la propiedad
de "determinstico o no determinstico"
Es una Autmata Finito.
Incorrecto Puntos para este envo: 0/1.
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.
-
10 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.
a. Hay palabras como baa, que tiene as seguidas y sin embargo son aceptadas por
el AFD.
Correcto: El "problema de diseo" de un AFD es
considerar demasiadas posibilidades. El hecho que
tenga dos estados finales o de aceptacin no es
problema y es vlido en el diseo. La palabra "baba"
No es aceptada por el autmata aunque sus
elementos o smbolos si hacen parte del alfabeto que
las compone.
b. Hay palabras como baba que no tienen as seguidas y sin embargo son
aceptadas por el AFD pero que no
pertenecen al alfabeto dado.
c. Hay palabras como ba, que no tienen as seguidas y sin embargo no son
aceptadas por el AFD
Correcto: El "problema de diseo" de un AFD es
considerar demasiadas posibilidades. El hecho que
tenga dos estados finales o de aceptacin no es
problema y es vlido en el diseo. La palabra "baba"
No es aceptada por el autmata aunque sus
elementos o smbolos si hacen parte del alfabeto que
las compone.
d. Tiene dos finales o de aceptacin q1 y
q2 .
-
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.
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.
Continuar
Usted se ha autentificado como YEIDER MANUEL VELASQUEZ VELASQUEZ (Salir)
Act 5: Quiz 1 - Unidad No. 1
Revisin del intento 1
Comenzado el: mircoles, 3 de abril de 2013, 17:07
Completado el: mircoles, 3 de abril de 2013, 17:50
Tiempo empleado: 43 minutos 14 segundos
Puntuacin bruta: 15/15 (100 %)
Calificacin: de un mximo de
Comentario - Correcto: Contest la totalidad de las preguntas.
Continuar
1 Puntos: 1
La definicin de semntica tiene una connotacin importante, una de las definiciones que usted encuentra a continuacin no es la correcta. Seleccinela
Seleccione una respuesta.
a. Es el conjunto de reglas que proporcionan el significado de una
sentencia o instruccin de cualquier lenguaje de programacin.
b. Estudio del significado de los signos lingsticos y de sus
combinaciones,desde un punto de vista sincrnico o diacrnico.
c. Son las normas o reglas que definen un lenguaje. Son la
secuencia de smbolos, que forman cadenas de smbolos de un
lenguaje.
Respuesta Correcta
-
d. Se refiere al significado o interpretacin del significado, de un
determinado smbolo, palabra, lenguaje o representacin formal
Correcto Puntos para este envo: 1/1.
2 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 C
b. OPCION B Correcto
c. OPCION D
d. OPCION A
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.
-
Correcto Puntos para este envo: 1/1.
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.
3 Puntos: 1
Indique cual de las siguientes afirmaciones es la que corresponde cuando se trata de los lenguajes que puede reconoce un AF.
Seleccione una respuesta.
a. Un automata finito determinista M reconoce un lenguaje L(M) si la coleccion de
cadenas de dicho lenguaje es determinista.
b. Un automata finito determinista M reconoce un lenguaje L(M) si acepta
exclusivamente la coleccion de cadenas de dicho lenguaje.
c. Un automata finito determinista M reconoce un lenguaje L(M) si acepta todas las
cadenas de dicho lenguaje.
d. Ninguna de las afirmaciones anteriores es cierta.
Correcto Puntos para este envo: 1/1.
4 Puntos: 1
La definicin formal de un Lenguaje Regular (ele) L, se da solo si cumple ciertas
condiciones. Siendo un alfabeto, el conjunto de los lenguajes regulares sobre = {a,b} puede estar formado por:
Selecione al menos una respuesta.
Seleccione al menos una respuesta.
a. {a,b} es regular pues resulta de la unin de {a} y {b} Correcto
b. vaco y {lambda } son lenguajes regulares Correcto
c. {a} y {b} son lenguajes regulares Correcto
d. {ab} es regular pues resulta de la concatenacin de {a} Correcto
-
y {b}
Definicin formal de Lenguaje Regular. Por la definicin anterior, el conjunto de los lenguajes regulares formado por el lenguaje vaco, los lenguajes unitarios incluido lambda y todos los lenguajes obtenidos a partir de la unin, concatenacin y cerradura o estrella de Kleene.
Correcto Puntos para este envo: 1/1.
Definicin formal de Lenguaje Regular. Por la definicin anterior, el conjunto de los lenguajes regulares formado por el lenguaje vaco, los lenguajes unitarios incluido lambda y todos los lenguajes obtenidos a partir de la unin, concatenacin y cerradura o estrella de Kleene.. Todas los items son verdaderas
5 Puntos: 1
Acorde al siguiente diagrama de Moore. Identifique que expresin representa:
Seleccione una respuesta.
a. Expresin regular (bb|ab)*
b. Expresin regular (ac|b)* Correcto: Se est representando una operacin de una
Epresin Regular (El cierre u operacin estrella).
c. Expresin regular (ac|b|b)*
d. Expresin regular (q|q )*
-
Correcto Puntos para este envo: 1/1.
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.
6 Puntos: 1
Para el siguiente Autmata Finito denotado como: A2 = (E. Q, f, q1 , F) donde E = {0,1}, F = {q2 } y Q = {q1, q2 , q3 , q4 }, identifique correctamente el Lenguaje que genera y la expresin regular:
OPCUINES DE RESPUESTA: OPCION A. L = (A2 ) = {0, 001, 01111, } = { 1(10)
n /n 0} La expresin
regular es: 0(01) * OPCION B. L = (A2 ) = {1, 101, 10101, } = { 1(01)
n /n 0} La expresin
regular es: 1(01) * OPCION C. L = (A 2) = {0, 111, 11100, } = { 1(10)
n /n = 0} La expresin
regular es: 1(01) + OPCION D. L = (A2 ) = {0, 001, 00100, } = { 1(01)
n/n 0} La expresin regular es: 0(01) *
Seleccione una respuesta.
-
a. OPCION (D)
b. OPCION (A)
c. OPCION (B) Correcto: El lenguaje genrado se obtiene partiendo
del estado inicial y recorriendo todos los caminos
posibles para alcanzar el estado final.
d. OPCION (C)
Correcto Puntos para este envo: 1/1.
La notacin de conjuntos nos permite describir los lenguajes regulares, pero se utiliza una notacin en que las representaciones de los lenguajes son simplemente texto (cadenas de caracteres). As las representaciones de los lenguajes regulares son simplemente palabras de un lenguaje (el de las representaciones correctamente formadas). Con estas ideas se va a definir un lenguaje, el de las expresiones regulares, en que cada palabra va a denotar un lenguaje regular.
7 Puntos: 1
Una de las siguientes afirmaciones NO aplica a los lenguajes que reconocen
un autmata. Identifquela
Seleccione una respuesta.
a. Un automata reconoce una cadena cuando alcanza un estado de aceptacion
durante su lectura
b. Un automata finito determinista utilizado como reconocedor de lenguajes con al
menos una cadena necesariamente tiene que tener al menos un estado de aceptacion.
c. Un automata finito determinista M reconoce un lenguaje L(M) si acepta
exclusivamente la coleccion de cadenas de dicho lenguaje.
d. 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.
Correcto Puntos para este envo: 1/1.
8 Puntos: 1
Los palindromos (palabras capicuas) del idioma castellano, tales como "a", "y", "dad", "oso", "erre", etc., constituyen un:
-
Seleccione una respuesta.
a. Lenguaje independiente del contexto (en sentido
estricto)
b. Es una maquina de turing.
c. Lenguaje regular Correcto
d. Lenguaje estructurado por frases (en sentido estricto)
Correcto Puntos para este envo: 1/1.
9 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.
Gramticas de
tipo 1
Gramticas sensibles al contexto. Generan los lenguajes sensibles al contexto
Gramticas de
tipo 3
Gramticas regulares. Generan los lenguajes regulares
Gramticas de
tipo 2
Gramticas libres del contexto. Generan los lenguajes independientes del contexto
Gramticas de
tipo 0
Estas gramticas generan todos los lenguajes capaces de ser reconocidos por una mquina de Turing
Correcto Puntos para este envo: 1/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.
10 Puntos: 1
-
Con referencia a los AFD, identifique cual caracterstica no aplica a su descripcin o funcionamiento.
Seleccione una respuesta.
a. En un automata finito no determinista puede haber cero, una o mas
transiciones desde un estado leyendo el mismo simbolo de entrada que
conduzcan a estados diferentes (o posiblemente al mismo).
b. En un automata finito determinista para cada estado existe exactamente una
transicion por cada simbolo del alfabeto de la maquina.
c. Los automatas finitos tienen un numero finito de estados.
d. Para un automata finito no determinista siempre podran recorrerse una o mas
rutas distintas al leer una cadena dada, y por tanto todas deberan examinarse
para verificar si alguna termina en un estado de aceptacion.
Correcto Puntos para este envo: 1/1.
11 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 50 aos
b. Hace 20 aos Correcto: Se puede llegar as, de una forma casi natural a
considerar las mquinas de Turing, establecidas casi 20 aos antes,
como mquinas reconocedoras de los lenguajes formales
dependientes del contexto o estructurados por frases, e incluso a
interpretar la Tesis de Turing como que un sistema computacional
nunca podr efectuar un anlisis sintctico de aquellos lenguajes
que estn por encima de los lenguajes estructurados por frases,
segn la jerarqua de Chomsky".
c. Hace 5 aos
d. En 1970
Correcto Puntos para este envo: 1/1.
-
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.
12 Puntos: 1
Los autmatas finitos no Determinsticos o no deterministas tienen las caractersticas de:
Seleccione al menos una respuesta
Seleccione al menos una respuesta.
a. Permitir que de cada nodo del diagrama de estados
salga un nmero de flechas mayor o menor
Correcto
b. No permitir que de cada nodo del diagrama de
estados salga un nmero de flechas mayor o menor
c. Las transiciones no tengan como etiqueta palabras
de varias letras o hasta la palabra vaca.
d. Las transiciones tengan como etiqueta palabras de
varias letras o hasta la palabra vaca.
Correcto
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.
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.
13 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. 2213311
b. 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
c. 132211
d. 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
Correcto Puntos para este envo: 1/1.
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.
14 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 C
b. OPCION B
c. OPCION A Correcto
d. OPCION D
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.
Correcto Puntos para este envo: 1/1.
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.
15 Puntos: 1
Uno de los principales factores determinantes en la revolucin en el mbito de la ciencia, la tcnica y la cultura de nuestros das es el desarrollo de la Informtica PORQUE Un lenguaje natural como el ingls o el espaol son la clase de lenguajes que han evoucionado con el paso del tiempo y tienen por fin la comunicacin humana.
Seleccione una respuesta.
a. La Afirmacin es VERDADERA, pero la Razn es una
proposicin FALSA
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 y la Razn son VERDADERAS pero la
Razn NO es una explicacin CORRECTA de la
Afirmacin
Respuesta Correcta
Correcto Puntos para este envo: 1/1.
Continuar
-
Usted se ha autentificado como YEIDER MANUEL VELASQUEZ VELASQUEZ (Salir) 301405A
Act 7: Reconocimiento Unidad No. 2
Revisin del intento 1
Comenzado el: mircoles, 8 de mayo de 2013, 15:04
Completado el: mircoles, 8 de mayo de 2013, 15:28
Tiempo empleado: 23 minutos 54 segundos
Puntuacin bruta: 3/6 (50 %)
Calificacin: de un mximo de
Comentario - Correcto:
Continuar
1 Puntos: 1
Seleccione los componentes de los Arboles de Derivacin:
Seleccione una respuesta.
a. Nodo inicial, nodos interiores, nodo final
b. Nodo inicial, nodos internos, nodo final
c. Nodo principal, nodos secundarios, nodos
finales
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.
Correcto Puntos para este envo: 1/1.
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.
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.
Los AFD (Autmatas Finitos Determinsticos) son un subconjunto propio de los
Autmatas Finitos No Determinsticos (AFND) PORQUE Todo Autmata Finito
Determinista es un Autmata Finito No Determinista.
Seleccione una respuesta.
a. OPCION B
b. OPCION C Incorrecto
c. OPCION D
d. OPCION A
La razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la afirmacin. Corresponde a la jerraqua de autmatas finitos No determinsticos. Son de mayor potencia y uso.
Incorrecto Puntos para este envo: 0/1.
La razn y la afirmacin son verdaderas y las razn es una explicacin correcta de la afirmacin. Corresponde a la jerraqua de autmatas finitos No determinsticos. Son de mayor potencia y uso.
-
3 Puntos: 1
Qu son los Arboles de Derivacin ?
Seleccione una respuesta.
a. Son los que permiten mostrar
grficamente una gramatica y por
consiguiente un lengaje dado .
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 gramtica que
genera ese lenguaje
d. Son los que permiten mostrar
grficamente un smbolo para convertirlo
en un lenguaje
Incorrecto: No hace referencia a representar smbolos
sino el comportamiento del autmata.
Los rboles de derivacin permiten analizar el comportamiento del comportamiento del autmata. (cadenas que representay que son o no validas).
Incorrecto Puntos para este envo: 0/1.
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.
4 Puntos: 1
De un Lenguaje Libre de Contexto podemos afirmar que es:
Seleccione una respuesta.
a. Un lenguaje regular
-
b. Un lenguaje que es generado por una gramtica
estructurada por frases.
c. Un Lenguaje que es generado por una gramtica
libre de contexto.
Correcto: Un lenguaje regular es
generado por una gramtica libre de
contexto
d. El algoritmo que nos indica el lenguaje de la
gramtica.
Un lenguaje regular es generado por una gramtica libre de contexto
Correcto Puntos para este envo: 1/1.
Un lenguaje regular es generado por una gramtica libre de contexto
5 Puntos: 1
Considere la gramtica G = {S aS | aA | a , A aA | bS } Cuntas cadenas de longitud menor o igual a cuatro genera?
Seleccione una respuesta.
a. 7
b. 6 Incorrecto: Son 7 cadenas: {a,aa,aaa,aaaa, abaa, aaba, abab}
c. 5
d. 10
Las cadenas son las que en su orden tiene la regularidad con los smbolos del alfabeto.
Incorrecto Puntos para este envo: 0/1.
Son 7 cadenas: {a,aa,aaa,aaaa, abaa, aaba, abab}
6 Puntos: 1
Relaciones los elementos de un rbol de derivacin con sus caractersticas
Rotulado con el smbolo inicial de la Gramtica
-
Nodo raz
Corresponde a un smbolo no Terminal
Nodo
Corresponde a un smbolo Terminal o no Terminal
Hoja
Correcto Puntos para este envo: 1/1.
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.
Continuar
Usted se ha autentificado como YEIDER MANUEL VELASQUEZ VELASQUEZ (Salir)
Act 8: Leccin Evaluativa Unidad No. 2
Revisin del intento 1
Comenzado el: mircoles, 8 de mayo de 2013, 15:30
Completado el: mircoles, 8 de mayo de 2013, 16:04
Tiempo empleado: 34 minutos 40 segundos
Puntuacin bruta: 8/10 (80 %)
Calificacin: de un mximo de
Comentario - Correcto
Continuar
1 Puntos: 1
Acerca del funcionamiento de un Autmata de Pila, cul de las siguientes operaciones o
comportamientos NO las hace este autmata.
Seleccione una respuesta.
a. En la Pila una transicin de un estado a otro Correcto: Esta afirmacin es falsa ya que en
-
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.
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.
b. Una d elas condiciones para que una palabra
de entrada sea aceptada en un AP la pila debe
estar vaca.
c. Al igual que los AF, los AP tienen estados
finales, que permiten distinguir cuando una
palabra de entrada es aceptada
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.
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.
2 Puntos: 1
Se propone la siguiente GLC (Gramtica Libre de Contexto) para que genere el lenguaje de los palndromos en el alfabeto = {a,b}
G = S aSa | bSb | a | b |
Dada esa gramtica, determine cules reglas corresponden a los palndromos
generados.
Seleccione al menos una respuesta.
a. S b (Palndromos con smbolos pares)
-
b. S lambda ( Palndromos con smbolos pares ) Correcto:
c. S a | S b (Palndromos con smbolos impares) Correcto
d. S a (Palndromos con smbolos pares)
Al realizar el rbol de derivacin y el desarrollo de la gramtica, las reglas que llevan a crear palndromos impares son: S a produce la cadena = baaab (impar) y S b produce la cadena = babab (impar) y S alanda produce la cadena = baab (par).
Correcto Puntos para este envo: 1/1.
Al realizar el rbol de derivacin y el desarrollo de la gramtica, las reglas que llevan a crear palndromos impares son: S a produce la cadena = baaab (impar) y S b produce la cadena = babab (impar) y S alanda produce la cadena = baab (par).
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.
Incorrecto.
c. Todo lenguaje aceptado por un AF es tambin
aceptado por un AP
d. Estas dos mquinas no permiten regularidades.
Los AF no tienen la isma capacida de memoria que un AP.
Incorrecto Puntos para este envo: 0/1.
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.
4 Puntos: 1
-
Acerca del siguiente AP que afirmaciones son vlidas:
Seleccione al menos una respuesta.
a. Acepta solo la cadena x
b. Segn la rama superior toda x que se reciba,
se registra en la pila y el estado siguiente ser de
aceptacin
Correcto.
c. No acepta la cadena vaca.
d. Acepta la cadena vaca lambda Correcto: lambda es aceptado
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 Puntos para este envo: 1/1.
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.
5 Puntos: 1
Sea G la siguiente gramtica de smbolos terminales {a, b}: S aAA, A bS, A Se puede afirmar que:
Seleccione una respuesta.
a. El autmata ms sencillo que acepta L(G) es un
autmata de pila determinista
b. El autmata ms sencillo que acepta L(G) es un
autmata finito
Correcto: Se puede comprobar que L(G) =
a(ba)*
c. Los nicos autmatas que aceptan L(G) son las
mquinas de Turing
-
d. El autmata ms sencillo que acepta L(G) es un
autmata de pila no determinista
Con un AF se puede determinar la gramtica dada.
Correcto Puntos para este envo: 1/1.
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 diseseo sistemtico, en particular establecer claramente que 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 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.
6 Puntos: 1
Respecto a como un (PD) o un (AP) acepta las cadenas, asocie correctamente:
Transicin entre configuraciones.
Movimiento de un AP
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.
AP no determinista.
Reconoce una cadena de entrada si partiendo de su
configuracin inicial llega a una configuracin final
emplenado movimientos vlidos.
Reconocimiento de cadenas de entrada por estado final
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
Reconocimiento de cadenas por vaciado de pilas.
Parcialmente correcto Puntos para este envo: 0.5/1.
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.
7
-
Puntos: 1
Respecto a los Autmatas de Pila es vlido afirmar:
Seleccione una respuesta.
a. 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
Respuesta Correcta: 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.
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. 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.
d. 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.
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.
Correcto Puntos para este envo: 1/1.
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.
8 Puntos: 1
Cuando se trabajan Autmatas de Pila (AP) (PD) es vlido afirmar:
-
Seleccione al menos una respuesta.
a. Los autmatas de pilas no tienen metodologa
tan generalmente aplicable, solo se debe tener una
estrategia clara para el manejo de la pila.
Correcto
b. En los AP las transiciones de un estado a otro
indican los caracteres que se consumen de la
enytrada, pero no lo que se saca del topo de la pila.
Incorrecto: En los AP las transiciones de un
estado a otro indican, adems de los
caracteres que se consumen de la entrada,
tambin lo que se saca del tope de la pila, asi
como tambin lo que se mete a la pila.
c. Cuando desarrollamos un autmata de pilas
tenemos que repetir lo que quiere ser recordado
entre los estados y las pilas.
Correcto
d. La pila tiene un alfabeto propio y debe coincidir
con el alfabeto de la palabra de entrada.
Incorrecto: La pila tendr un alfabeto propio,
que puede o no coincidir con el alfabeto de
la palabra de entrada. Esto se justifica porque
puede ser necesario introducir en la pila
caracteres especiales usados como
separadores, segn las necesidades de
diseno del autmata.
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.
Correcto Puntos para este envo: 1/1.
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.
9 Puntos: 1
De entre las cuatro clases de gramticas de la clasificacin de Chomsky, el grupo ms importante, desde el punto de vista de la aplicabilidad en teora de compiladores, es el de las gramticas independientes o libres del contexto. Las gramticas de este tipo se pueden usar para expresar la mayora de
-
estructuras sintcticas de un lenguaje de programacin. Aspectos que caracterizan este tipo de gramticas son:
Seleccione al menos una respuesta.
a. Un rbol ordenado y etiquetado D es un rbol de
derivacin para una gramtica libre de contexto G(A)
Correcto
b. El lenguaje definido por una gramtica G, denotado
L(G) es el conjunto de cadenas de smbolos
terminales, que se pueden derivar partiendo del axioma
de la gramtica, y empleando para las derivaciones las
reglas de produccin de P
Correcto
c. La longitud de las cadenas de derivaciones nunca
puede ser nula y siempre se grafican en el Arbol de
derivacin iniciando por la Izquierda
d. La represntacin de las derivaciones d ela gramtica
siempre se hacen de forma vertical. Nunca de forma
comprimida u horizontal.
Una gramtica es un conjunto de reglas para formar correctamente las frases de un lenguaje; as tenemos la gramtica del espanol, del francs, etc. La formalizacin que presentaremos de la nocin de gramtica es debida a N. Chomsky, y est basada en las llamadas reglas gramaticales.
Correcto Puntos para este envo: 1/1.
Una gramtica es un conjunto de reglas para formar correctamente las frases de un lenguaje; as tenemos la gramtica del espanol, del francs, etc. La formalizacin que presentaremos de la nocin de gramtica es debida a N. Chomsky, y est basada en las llamadas reglas gramaticales.
10 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 = entonces L () = Correcto: esta es una ER
b. Si * es una ER entonces L (*) no es una ER
Incorrecto, se debe tener en cuenta que estas
cadenas tambin pertenecen al Lenguaje.
c. Si = a y a pertenece entonces L () no pertenece
Incorrecto, se debe tener en cuenta que estas
cadenas tambin pertenecen al Lenguaje.
d. Si = lambda entonces L (lambda) = { lambda}
Las ER son simplemente frmulas cuyo propsito es representar cada una de ellas un lenguaje. As, el significado de una ER es simplemente el lenguaje que ella representa.
Parcialmente correcto Puntos para este envo: 0.5/1.
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).
Continuar
Usted se ha autentificado como YEIDER MANUEL VELASQUEZ VELASQUEZ (Salir) 301405A
Act 9: Quiz 2 - Unidad No. 2
Revisin del intento 1
Comenzado el: mircoles, 8 de mayo de 2013, 16:07
Completado el: mircoles, 8 de mayo de 2013, 16:32
Tiempo empleado: 25 minutos 2 segundos
Puntuacin bruta: 14/15 (93 %)
Calificacin: de un mximo de
Comentario - Correcto: Contest la totalidad de las preguntas.
Continuar
1 Puntos: 1
Una Gramtica Regular G, esta formada por un conjunto de un nmero determinado de elementos, llamado
-
Seleccione una respuesta.
a. Cudrupla Correcto: Una gramtica regular G es una
cudrupla G = (, N, S, P), donde:
b. Sextupla
c. Ninguna de las Anteriores
d. Quintupla
Correcto Puntos para este envo: 1/1.
Una gramtica regular G est compuesta por: G = (, N, S, P), donde: : alfabeto (no vaco) de smbolos terminales. N : es un conjunto (no vaco) de smbolos no terminales. S : es denominado el smbolo inicial y S N. P : es una coleccin o conjunto de reglas de sustitucin llamadas producciones y que son
de la forma A w, donde A N y w es una cadena sobre N.
2 Puntos: 1
Esta pregunta ha sido eliminada. Por favor, contacte con su profesor
Correcto Puntos para este envo: 1/1.
3 Puntos: 1
Esta pregunta ha sido eliminada. Por favor, contacte con su profesor
Correcto Puntos para este envo: 1/1.
4 Puntos: 1
Una tabla de Transiciones que permite representar un Autmata tiene tantas filas como:
Seleccione una respuesta.
a. Elementos del conjunto de entradas o
vocabulario de Entrada
b. Letras del Alfabeto
-
c. Elementos del Conjunto de Estados Respuesta Correcta
d. Elementos de la Funcin de Salida
Correcto Puntos para este envo: 1/1.
5 Puntos: 1
Esta pregunta ha sido eliminada. Por favor, contacte con su profesor
Correcto Puntos para este envo: 1/1.
6 Puntos: 1
Al iniciar la operacin un Autmata de Pila, la pila debe contener 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 es FALSA, pero la Razn es una
proposicin VERDADERA
c. La Afirmacin y la Razn son VERDADERAS y
la Razn es una explicacin CORRECTA de la
Afirmacin
Opcin Correcta: Al iniciar la operacin de
un AP, la pila se encuentra vaca. Durante la
operacin del AP, la pila puede ir recibiendo
(y almacenando) caracteres, segn lo
indiquen las transiciones ejecutadas. Al final
de su operacin, para aceptar una palabra, la
pila debe estar nuevamente vaca. 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. Al igual que los AF, los AP
tienen estados finales, que permiten
distinguir cuando una palabra de entrada es
aceptada.
-
d. La Afirmacin es VERDADERA, pero la Razn
es una proposicin FALSA
Correcto Puntos para este envo: 1/1.
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), como si apilramos 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 estn encima de ellos. La pila tendr un alfabeto propio, que puede o no coincidir con el alfabeto de la palabra de entrada. Esto se justifica porque puede ser necesario introducir en la pila caracteres especiales usados como separadores, segn las necesidades de diseo del autmata.
7 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. Problemas indecidibles
b. No existen problemas de ste tipo
c. Problemas decidibles
d. Problemas Infinitos
Correcto Puntos para este envo: 1/1.
8 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. Aplicaciones de Computador
c. Compiladores Correcto: El reconocimiento de patrones es una
funcin de los compiladores.
d. Lenguajes de Programacin
Correcto Puntos para este envo: 1/1.
La palabra autmata evoca algo que pretende imitar las funciones propias de los seres vivos, especialmente relacionadas con el movimiento, por ejemplo el tpico robot antropomorfo. En el campo de los Traductores, Procesadores, Compiladores e Intrpretes, lo fundamental no es la Simulacin del movimiento, sino la simulacin de procesos para tratar informacin
9 Puntos: 1
De un Lenguaje Libre de Contexto podemos afirmar que es:
Seleccione una respuesta.
a. Es el Algoritmo que nos indica el
lenguaje de la gramatica
b. Ninguna de las Anteriores
c. Es un lenguaje regular.
d. Es un Lenguaje que es generado por
una gramtica libre de contexto
Correcto: Los lenguajes libres de contexto tienen una
aplicacin a los compiladores, aunque existen otras
aplicaciones como la comparticin de informacin.
Correcto Puntos para este envo: 1/1.
Si un lenguaje es generado por una gramtica libre del contexto, entonces es aceptado por un Autmata con Pila No-Determinstico. la gramtica no acepta la palabra vaca. En caso de que acepte la palabra vaca se le eliminara y despus se podra transformar el autmata para aadir la palabra vaca al lenguaje aceptado por el autmata.
10 Puntos: 1
-
Una gramtica independiente del contexto (GIC) genera un lenguaje independiente del contexto (LIC), lo que indica que hay LIC que no son lenguajes regulares y por lo tanto:
Seleccione una respuesta.
a. El conjunto de los LIC contiene al conjunto de
los lenguajes regulares.
Correcto: Los lenguajes generados por una GIC
son llamados Lenguajes Independientes del
Contexto (LIC).
b. El conjunto de los lenguajes regulares contiene
al conjunto de los LIC.
c. El conjunto de los lenguajes regulares y el
conjunto de los LIC son conjuntos
independientes.
d. El conjunto de los lenguajes regulares contiene
al conjunto de las GIC.
Correcto Puntos para este envo: 1/1.
Una gramtica independiente del contexto (GIC) es una cudrupla G=(N, , S, P), donde: N: es una coleccin finita (no vaca) de smbolos no terminales. : es un alfabeto. S: es un no terminal llamado smbolo inicial. P: un conjunto de
producciones tal que P N (N )*. Los lenguajes generados por una GIC son llamados Lenguajes Independientes del Contexto (LIC).
11 Puntos: 1
Elementos que forman parte de una Gramtica Independiente del Contexto
Seleccione al menos una respuesta.
a. Smbolo inicial
b. Coleccin finita no vaca de smbolos no terminales
c. Conjunto de estados finales
d. Tabla de transacciones
Correcto Puntos para este envo: 1/1.
12 Puntos: 1
-
El estado general de un autmata de pila est dado por:
Seleccione una respuesta.
a. El estado inicial o de partida y el
estado Final
Incorrecto: La configuracin de un autmata de pilas
es una tripleta, (q, , ), con qQ, ,*, * y donde: q es el estado en el que se encuentra, es la pila y es lo que le falta por leer.
b. A. El estado en que se encuentra, Lo
que falta por leer y la Pila
c. El estado futuro, y la Pila.
d. El estado futuro y lo que falta por leer
o proces
Incorrecto Puntos para este envo: 0/1.
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. Al igual que los AF, los AP tienen estados finales, que permiten distinguir cuando una palabra de entrada es aceptada. De hecho, 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.
13 Puntos: 1
Escoger cul de las siguientes afirmaciones es falsa:
Seleccione una respuesta.
a. Todo conjunto finito de cadenas es un lenguaje regular
b. Los Lenguajes Libres de Contexto son cerrados para las
operaciones de: Unin, Concatenacin y Clausura
c. Mediante autmatas de pila de 2 pilas podra reconocerse un
mayor nmero de lenguajes que mediante los usuales
autmatas de una sola pila. En cada transicin, el autmata
podra almacenar y leer datos de dos pilas distintas.
d. Si L es un lenguaje aceptable por mquinas de Turing,
tambin lo es el lenguaje complementario de L
Muy bien, esta es la correcta
Correcto
-
Puntos para este envo: 1/1.
14 Puntos: 1
Cual de las siguientes afirmaciones es VERDADERA
Seleccione una respuesta.
a. Los lenguajes generados por una Gramatica
Independiente del Contexto son llamados Lenguajes
Regulares
b. En un rbol de derivacin cada nodo solamente
puede tener otro hijo nodo
c. En los arboles de derivacion, no es necesario usar
nodo raiz
d. En un arbol de derivacion, una gramatica es
ambigua, cuando hay dos o ms rboles de derivacin
distintos para una misma cadena
Correcto. En este caso e samboigua por
cuanto puede tener varias soluciones
Correcto Puntos para este envo: 1/1.
Es posible probar que cualquier palabra que sea aceptada por el AFD M, puede ser generada por la gramtica regular G. Esto significa que L(G) = L(M).
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. 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.
b. 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)
Correcto: como si apilramos 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.
-
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. no podemos modificar su tope, que es el extremo por donde entran o salen los
caracteres.
Correcto Puntos para este envo: 1/1.
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
Continuar
Usted se ha autentificado como YEIDER MANUEL VELASQUEZ VELASQUEZ (Salir) 301405A
Act 11: Reconocimiento Unidad No. 3
Revisin del intento 1
Comenzado el: sbado, 11 de mayo de 2013, 09:43
Completado el: sbado, 11 de mayo de 2013, 09:59
Tiempo empleado: 15 minutos 59 segundos
Puntuacin bruta: 3.42/6 (57 %)
Calificacin: de un mximo de
Comentario - Correcto: Contest la totalidad de las preguntas.
Continuar
1 Puntos: 1
Una Mquina de Turing (MT) que procesa una entrada w que pertenece a *
Esta entrada est colocadas sobre una cinta infinita en ambas direcciones. Para procesar la
cadena w, la unidad de control de M
-
est en el estado inicial q0 escanendo o revisando el primer smbolo de w.
Indique en esta instancia de la Mquina o en este momento, que contiene las las dems
casillas de la cinta
Seleccione una respuesta.
a. Contienen el smbolo vaco ya que as se inicia
una MT.
b. Contienen el smbolo en blanco "B" Es correcto: Las dems casillas de la cinta
contienen el smbolo en blanco B
c. Contienen el smbolo unitario (1) (0) segn se
haya definido en la funcin de transicin. ya que
una MT se incializa en el sistema binario.
d. Todas tienen el mismo smbolo "w" en espera
de ser inicializado o modificado por la mquina.
La operacin de la MT consta de los siguientes pasos: 1. Lee un caracter en la cinta 2. Efectua una transicin de estado 3. Realiza una accin en la cinta Las acciones que puede ejecutar en la cinta la MT pueden ser: Escribe un smbolo en la cinta, o Mueve la cabeza a la izquierda o a la derecha Estas dos acciones son excluyentes, es decir, se hace una o la otra, pero no ambas a la vez.
Correcto Puntos para este envo: 1/1.
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).
2 Puntos: 1
Este tipo de tems consta de dos proposiciones as: una Afirmacin y una Razn, unidas por la palabra PORQUE. Usted debe examinar la veracidad de cada proposicin y la relacin terica que las une. Para responder este tipo de tems, debe leerla completamente y sealar en la hoja de respuesta, la elegida de acuerdo con las siguientes instrucciones:
-
Marque A si la afirmacin y la razn son VERDADERAS y la razn es una explicacin CORRECTA de la afirmacin. Marque B si la afirmacin y la razn son VERDADERAS, pero la razn NO es una explicacin CORRECTA de la afirmacin. Marque C si la afirmacin es VERDADERA, pero la razn es una proposicin FALSA. Marque D si la afirmacin es FALSA, pero la razn es una proposicin VERDADERA. Solo una accin simultnea puede ejecutar una cinta en la Mquina de Turing (MT) PORQUE la accin de escribir un smbolo en la cinta o la accin de movimiento del cabezal son excluyentes. Se hace una o la otra pero no ambas a la vez.
Seleccione una respuesta.
a. OPCION A
b. OPCION C
c. OPCION B
d. OPCION D Incorrecto
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).
Incorrecto Puntos para este envo: 0/1.
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).
3 Puntos: 1
La Mquina Universal de Turing est diseada para realizar cualquier clculo especfico particular debido a que:
Seleccione una respuesta.
a. Las instrucciones se basan en una fase del algoritmo
universal.
Incorrecto
b. Es capaz de realizar cualquier algoritmo.
-
c. Parar cuando el clculo sea indeterminado.
d. Es un intrprete de la informacin de salida.
La maquina universal de turing esta disea para realizar cualquier calculo especifico particular debido a que: es capaz de realizar cualquier algoritmo.
Incorrecto Puntos para este envo: 0/1.
La maquina universal de turing esta disea para realizar cualquier calculo especifico particular debido a que: es capaz de realizar cualquier algoritmo.
4 Puntos: 1
Acerca del comportamiento de una Mquina de Turing es vlido afirmar:
Seleccione al menos una respuesta.
a. Se pueden combinar dos Mquinas de Turing (MT) permitiendo que compartan la
misma cinta y, que cuando una termine su ejecucin, la otra empiece
b. Para rechazar una cadena que no es aceptable, lo nico que hay que hacer es evitar
que se llegue a un estado final.
c. Una Mquina de Turing (MT) se puede comportar como un aceptador de lenguaje,
de la misma forma que lo hace un Autmata finito (AF) o un Autmata de Pila (AP)
d. Una MT funciona colocando una cadena en la cinta, situando la cabeza de lectura/escritura sobre el smbolo del extremo izquierdo de la cadena y al poner en marcha la mquina a partir de su estado inicial. Entonces es aceptada si, despus de una secuencia de movimientos, la MT llega a un estado final y para
Parcialmente correcto Puntos para este envo: 0.8/1.
La Mquina de Turing tiene funciones como: Mquinas de Turing como aceptores Otros modelos de mquina de Turing Mquinas de Turing como computadores de funciones Mquinas de Turing como enumeradores Propiedades de cierre
5 Puntos: 1
En una Mquina de Turing el Nmero de estados depende de:
Seleccione una respuesta.
-
a. De la cadena a evaluar (sea vlida o no)
b. Del alfabeto de la cinta
c. Del diseo del Algoritmo Correcto: Depende del diseo de la
mquina.
d. Del alfabeto de entrada
En una MT el n de estados depende del algoritmo. En una computadora, un estado viene representado por el contenido de la memoria, y una situacin por un estado y un puntero a una direccin (la que contiene a la instruccin que va a ejecutarse). La ejecucin de la instruccin pasa a la mquina a otro estado y la variable de enlace adopta otro argumento (la direccin siguiente si la instruccin no era de bifurcacin y la mquina es secuencial natural).
Correcto Puntos para este envo: 1/1.
En una MT el n de estados depende del algoritmo. En una computadora, un estado viene representado por el contenido de la memoria, y una situacin por un estado y un puntero a una direccin (la que contiene a la instruccin que va a ejecutarse). La ejecucin de la instruccin pasa a la mquina a otro estado y la variable de enlace adopta otro argumento (la direccin siguiente si la instruccin no era de bifurcacin y la mquina es secuencial natural).
6 Puntos: 1
Cules apreciaciones son vlidas cuando se habla de una MT (Mquina de Turing).
Seleccione al menos una respuesta.
a. Los lenguajes de programacin, tienen a lo sumo
el mismo poder de expresin que el de los
programas para una Mquina de Turing (MT) y en
la prctica no todos lo alcanzan
b. Los lenguajes formales que son aceptados por
una Mquina de Turing (MT) son exactamente
aquellos que pueden ser generados por una
gramtica formal.
Correcto: Los lenguajes formales que son
aceptados por una Mquina de Turing (MT)
son exactamente aquellos que pueden ser
generados por una gramtica formal.
c. Por definicin, al iniciar la operacin de la MT,
la cabeza lectora est posicionada en el caracter
lambda o un caracter vaco y este est a la
Incorrecto: 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.
izquierda de la palabra de entrada, el cual es
el cuadro ms a la izquierda de la cinta.
d. Los computadores electrnicos, basados en la
arquitectura Von Neumann as como las mquinas
cunticas tendran exactamente el mismo poder de
expresin que el de una Mquina de Turing (MT)
si dispusieran de recursos ilimitados de tiempo y
espacio.
Correcto: estas mquinas tienen similitud
con las mquinas reales. Difieren een
aspectos de memoria, proceso entre otros.
Parcialmente correcto Puntos para este envo: 0.7/1.
Aparte de la capacidad de memoria, las diferencias entre una MT y una computadora de estructura Von Neuman son la forma como ejecuta las instrucciones, el manejo de estados y de memoria.
Continuar
Usted se ha autentificado como YEIDER MANUEL VELASQUEZ VELASQUEZ (Salir) 301405A
Act 12: Leccin Evaluativa Unidad No. 3
Revisin del intento 1
Comenzado el: mircoles, 15 de mayo de 2013, 15:04
Completado el: mircoles, 15 de mayo de 2013, 16:03
Tiempo empleado: 59 minutos 6 segundos
Puntuacin bruta: 8/10 (80 %)
Calificacin: de un mximo de
Comentario - Correcto: Contest la totalidad de las preguntas.
Continuar
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 pista inferior contiene la parte izquierda de la
cinta M (en orden inverso).
Parcialmente correcto
b. La Mquina de Turing M que tiene una Cinta
Infinita en un sentido, puede simular a M si tiene una
cinta con dos pistas.
Parcialmente correcto
c. La cinta superior contiene informacin
correspondiente a la parte derecha de la cinta M a
partir de un punto de referencia dado.
Parcialmente correcto
d. 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.
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.
Correcto Puntos para este envo: 1/1.
Una mquina de Turing con una cinta infinita en un sentido puede simular una mquina de