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.


Se denominan dependientes del contexto. Los lenguajes aceptados por estas

gramticas son los lenguajes dependientes del contexto


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.


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


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:


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


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


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.


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





Puntuacin bruta: 3.5/6 (58 %)


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.


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


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:


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.


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:


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


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


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:


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.


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 .


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.


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


Act 4: Leccin Evaluativa Unidad No.1







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.


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.


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:


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


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:


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.


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


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


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:


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 .


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


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.


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:


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}


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.


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.


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.


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.


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


Comenzado el: mircoles, 3 de abril de 2013, 17:07

Completado el: mircoles, 3 de abril de 2013, 17:50




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


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


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.


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.


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.


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.


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.


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.


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:


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


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


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)


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


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.


8 Puntos: 1

Los palindromos (palabras capicuas) del idioma castellano, tales como "a", "y", "dad", "oso", "erre", etc., constituyen un:


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)


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


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.


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.


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)


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


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


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.


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 :


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


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


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.


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.


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


Continuar




Comenzado el: mircoles, 8 de mayo de 2013, 15:04

Completado el: mircoles, 8 de mayo de 2013, 15:28




Comentario - Correcto:

Continuar

1 Puntos: 1

Seleccione los componentes de los Arboles de Derivacin:


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.


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.


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.


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 ?


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


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:


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


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?


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.


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


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







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.


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


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.


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


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:


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.


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:


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.


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:


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.


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.


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:


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.


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:


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.


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:


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.


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


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.


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


Act 9: Quiz 2 - Unidad No. 2








Continuar

1 Puntos: 1

Una Gramtica Regular G, esta formada por un conjunto de un nmero determinado de elementos, llamado


a. Cudrupla Correcto: Una gramtica regular G es una

cudrupla G = (, N, S, P), donde:

b. Sextupla

c. Ninguna de las Anteriores

d. Quintupla


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


3 Puntos: 1



4 Puntos: 1

Una tabla de Transiciones que permite representar un Autmata tiene tantas filas como:


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


5 Puntos: 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.


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


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


a. Problemas indecidibles

b. No existen problemas de ste tipo

c. Problemas decidibles

d. Problemas Infinitos


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:


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


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:


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.


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:


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.


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


a. Smbolo inicial

b. Coleccin finita no vaca de smbolos no terminales

c. Conjunto de estados finales

d. Tabla de transacciones


12 Puntos: 1

El estado general de un autmata de pila est dado por:


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


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:


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


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


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.


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.


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




Comenzado el: sbado, 11 de mayo de 2013, 09:43

Completado el: sbado, 11 de mayo de 2013, 09:59





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


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.


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.


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


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:


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.


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:


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


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:


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


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


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.


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


Act 12: Leccin Evaluativa Unidad No. 3








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:


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.


c. La cinta superior contiene informacin

correspondiente a la parte derecha de la cinta M a

partir de un punto de referencia dado.


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.


Una mquina de Turing con una cinta infinita en un sentido puede simular una mquina de

Documents

Automatas y Lenguajes Formales_correcciones Recientes