Simulacro 301405

VICERRECTORA DE MEDIOS Y MEDIACIONES PEDAGGICAS VICERRECTORA ACADMICA Y DE INVESTIGACIN SISTEMA NACIONAL DE EVALUACIN ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
CONVOCATORIA NACIONAL I 2012 CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405
CUADERNILLO DE TEMS TEMS DE SELECCIN MLTIPLE CON NICA RESPUESTA A continuacin, usted encontrar preguntas que se desarrollan en torno a un enunciado, problema o contexto, frente al cual, usted debe seleccionar aquella opcin que responda correctamente al tem planteado entre cuatro identificadas con las letras A, B, C, D. Una vez la seleccione, mrquela en su hoja de respuestas rellenando el valo correspondiente. 1. Se denomina estrella de Kleene, cierre reflexivo transitivo u operacin asterisco sobre un alfabeto al conjunto de todas las cadenas que se pueden construir a partir de los smbolos del alfabeto ; en notacin matemtica esta definicin se expresa as.
Dado el alfabeto: =
{a,b} una representacin vlida de la expresin regular y su lenguaje sera:

; Como Lenguaje: { ,b,bbb,bbbbbb,} ; Como Lenguaje: empiezan en
A. Expresin Regular: B. Expresin Regular: en
y terminan
ba
; Como lenguaje: {a,aa,ab,aaa,aab,aba,abb, . ; Como Lenguaje: empiezan en
C. Expresin Regular: D. Expresin Regular:
} b
y terminan en
2. Se denomina cadena, palabra o frase a una secuencia finita de smbolos de un alfabeto . Estas cadenas son denotadas como w. Dado el siguiente autmata finito determinstico (AFD) A = (Q, , f, q0 , F) donde: Q es un conjunto de estados. es el alfabeto de entrada f: Q X Q es la funcin (total) de transicin. q 0 Q es el estado inicial.
AUTOR:
F Q es el conjunto de estados finales.

Carlos Alberto Amaya Tarazona NODO: Pgina 1 de 11 TUNJA CEAD DUITAMA
VICERRECTORA DE MEDIOS Y MEDIACIONES PEDAGGICAS VICERRECTORA ACADMICA Y DE INVESTIGACIN SISTEMA NACIONAL DE EVALUACIN ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA CONVOCATORIA NACIONAL I 2012 CURSO: AUTOMATAS Y LENGUAJES FORMALES TEMA A CDIGO: 301405
Y que para el ejercicio = diagrama de Moore:
{a,b}
Q ={ q 0 , q 1 }
F = {q 1 } se representa mediante el siguiente
El conjunto de palabras aceptadas por este autmata son: A. B. C. D.
{w a | w {a,b} } {w a | w {a,b} }
Todas las palabras que terminan en a y que estn precedidas por una b Todas las palabras que terminan en dos as
*
3. Se construy el siguiente autmata finito M para que cumpliera: L(M) = {x m y n z p | m,n y p son enteros no negativos }
Pero no fue vlido por que: A. Tiene dos estados de aceptacin o finales. B. No acepta las cadenas {xyz} {yz} {xxxy} C. No acepta las cadenas {x} {xxxzzz} {z} D. Acepta solo las cadenas que combinen los elementos {x,z} del alfabeto
AUTOR:
Carlos Alberto Amaya Tarazona
NODO: Pgina 2 de 11
TUNJA
CEAD
DUITAMA
4. Para el autmata del ejercicio anterior, (ejercicio 3) determine que afirmacin es vlida si se presenta la siguiente gramtica. Para el anlisis, asigne un nombre a los estados del autmata que apliquen a la gramtica dada. S xS S yA S zB A yA A yB B zB B A. El autmata y la gramtica son equivalentes B. El autmata y la gramtica no definen un estado de aceptacin. C. La gramtica no referencia ningn estado ni transicin vlida del autmata. D. No es equivalente el autmata con la gramtica ya que la gramtica no genera la cadena vaca. 5. Para el siguiente autmata finito determinstico (AFD), identifique que afirmaciones son vlidas para la expresin: Tenga en cuenta que se denomina cadena, palabra o frase a una secuencia finita de smbolos de un alfabeto . Estas cadenas son denotadas como w.
A. B. C. D.
Reconoce las palabras sobre a,b que terminan en un nmero par de as contiguas Reconoce solo las frases sobre a,b que empiezan por
Reconoce las palabras sobre a,b que tienen un nmero par de as contiguas. Reconoce solo las cadenas sobre a,b que empiezan por a
6. Sea el alfabeto = {0,1} y el autmata de la figura:
AUTOR:
NODO: Pgina 3 de 11
TUNJA
CEAD
DUITAMA
Para el ejercicio analice la cadena sin tener en cuenta si es vlida o no. (aceptada o no aceptada) Determine cul interpretacin es vlida al analizar la cadena 00101 A. El autmata puede procesar la cadena 00101 de 4 formas distintas. B. Slo existe un modo en el que el autmata puede procesar la cadena 00101. C. Al procesar la cadena 00101, el ltimo estado visitado es siempre el estado 3 o bien el estado 2. D. Se generan miles cadenas 00101 ya que el autmata es infinito. 7. Al combinar los diagramas de transiciones de las siguientes mquinas M 1 y M 2 :
Para formar el diagrama de transiciones de la mquina compuesta por: Da como solucin la siguiente mquina M.
El funcionamiento correcto de la mquina M es. A. Busca el primer smbolo distinto de x / Si ese smbolo es y; lo cambia por otra y / Regresa a uno (1). B. Busca el primer smbolo distinto de y / Si ese smbolo es x; lo cambia por otra x / Regresa a cuatro (4). C. Busca el primer smbolo distinto de x / Si ese smbolo es y; lo cambia por una x / Regresa a dos (2) para evaluar la memoria y finalizar en h (halt). D. Busca el primer smbolo distinto de y / Si ese smbolo es x; lo cambia por una y / Regresa a uno (1).
AUTOR: Carlos Alberto Amaya Tarazona NODO: Pgina 4 de 11 TUNJA CEAD DUITAMA
TEMS DE SELECCIN MLTIPLE CON MLTIPLE RESPUESTA Este tipo de preguntas consta de un enunciado, problema o contexto a partir del cual se plantean cuatro opciones numeradas de 1 a 4, usted deber seleccionar la combinacin de dos opciones que responda adecuadamente a la pregunta y marcarla en la hoja de respuesta, de acuerdo con la siguiente informacin: Marque A si 1 y 2 son correctas. Marque B si 1 y 3 son correctas. Marque C si 2 y 4 son correctas. Marque D si 3 y 4 son correctas. 8. 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):
1. Los autmatas reconocen el lenguaje formado por todas las cadenas que empiezan por 1 y que no terminan en dos ceros consecutivos. 2. Ambos autmatas reconocen el mismo lenguaje incluyendo la cadena vaca. 3. El autmata A es ms potente por ser No Determinista. 4. Cualquier autmata no determinista que reconozca el mismo lenguaje que el autmata B tiene al menos cuatro estados. 9. Sean L 1 el lenguaje generado por la gramtica G 1 y L 2 el lenguaje generado por la gramtica G 2
S xABy A xzS | B B yz |
Gramtica G 1
AUTOR: Carlos Alberto Amaya Tarazona NODO: Pgina 5 de 11 TUNJA
S xAyzy | xAy A xzS | yz |

Gramtica G 2
CEAD DUITAMA
Indique cual de las siguientes afirmaciones es cierta (donde 1. 2. 3. 4.
denota la inclusin estricta):
Mediante G 1 se puede generar todas las cadenas de L 2 Las gramticas son idnticas Las gramticas generan el mismo lenguaje. Las gramticas son distintas, y L 1 L 2
10. Las gramticas del ejercicio anterior (ejercicio 9), tienen dos particularidades que son vlidas afirmarlas: 1. Las reglas de las gramticas difieren por que tienen diferentes terminales. 2. La palabra generable por la gramtica G 1 y G 2 es xxzyzy 3. La palabra generable por la gramtica G 1 y G 2 es xyzyzy 4. La lista de reglas estn denotadas de forma comprimida. 11. Indique cul de las siguientes afirmaciones referidas a lenguajes del alfabeto = {0,1,2} son ciertas: 1. El lenguaje de las cadenas con a lo sumo una pareja de 0s consecutivos y a los sumo una pareja de 1s consecutivos no es regular. 2. El lenguaje de las cadenas equilibradas con igual nmero de 0s y de 1s tales que ningn prefijo de cualquiera de ellas posee ms de dos 0s que 1s ni ms de dos 1s que 0s es un lenguaje regular. 3. No existe ningn autmata determinista que reconozca el lenguaje de las cadenas en las que toda pareja de 0s contiguos aparece antes de cualquier pareja de 1s contiguos. 4. Si L es un lenguaje regular tambin lo es el lenguaje consistente en las inversas de las cadenas de L.
12. Con referencia a la funcionalidad y creacin de una Mquina Universal de Turing (MUT), es vlido afirmar: 1. Una Mquina Universal de Turing es capaz de decidir cualquier lenguaje independiente del contexto. 2. En el estado de parada de una MUT no puede salir ningn arco 3. En una MUT el lenguaje aceptado por esta mquina no puede contener una cadena vaca. 4. La MUT se dise para realizar clculos especficos.
AUTOR:
NODO: Pgina 6 de 11
TUNJA
CEAD
DUITAMA
13. Tome como vlida la ER (Expresin Regular) = a + bc + b 3 a Cul es el lenguaje descrito por ? Y Qu expresin regular corresponde al lenguaje universal sobre el alfabeto {a,b,c}? 1. L () = {a, bc, bbba} y es un lenguaje infinito no deterministico sobre la cadena {a,b,c} 2. L () = {a, bc, bbba} y es un lenguaje finito sobre el alfabeto {a,b,c} 3. La expresin regular (ER) que describe el lenguaje universal sobre este alfabeto es * (a+b) +c 4. La expresin regular (ER) que describe el lenguaje universal sobre este alfabeto es
*
(a+b+c) TEMS DE ANLISIS DE RELACIN 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. 14. Dado el siguiente autmata:
El conjunto de cadenas que es capaz de aceptar este autmata es {b,bb,bbb} PORQUE este AFD est compuesto por un smbolo b que converge a tres estados de aceptacin q 3 , q 4 y q 5 y a un estado final q5.
AUTOR: Carlos Alberto Amaya Tarazona NODO: Pgina 7 de 11 TUNJA CEAD DUITAMA
15. El autmata representado en el ejercicio catorce (14), corresponde a un AUTOMATA FINITO NO DETERMINISTA CON LANDA TRANSICIONES (AFND - ) al que se le permite cambiar de estado sin necesidad de consumir o leer un smbolo de entrada PORQUE cumple con uno de los requisitos para no ser determinista cuando al analizar el autmata en el estado q 1 en un cierto instante y si el smbolo actual es b, en el instante siguiente, el autmata puede decidir de forma no determinista entre leer el smbolo b y cambiar al estado q 4 , o bien, cambiar al estado q 2 sin mover el cabezal de lectura. 16. La concatenacin de lenguajes L 1 y L 2 es otro lenguaje que contiene todas las palabras que se pueden construir concatenando una palabra de L 1 con una palabra de L 2 . Dado dos Lenguajes L 1 y L 2 entonces L 1 L 2 L 2 L 1 PORQUE La concatenacin de lenguajes es conmutativa. 17. La mejor forma de implementar un autmata que considere el lenguaje de los PALINDROMOS (palabras que se leen igual al derecho y al revs como larutanosaportootropasonatural) es con un autmata de Pila (AP) PORQUE esta mquina (AP) ofrece un almacenamiento auxiliar llamado Pila que permite recordar o almacenar los estados y el contenido y situacin de los mismos evaluando carcter por carcter arbitrarios con tamaos y cadenas grandes. 18. Las mquinas de Turing (MT) son ms de propsito especfico que cualquier otro Autmata Finito (AF) y cualquier Autmata de Pila (AP) PORQUE estas MT pueden reconocer tanto los lenguajes regulares como los lenguajes independientes del contexto y, adems, muchos otros tipos de lenguajes. 19. Se llama clase de lenguajes a conjuntos de alfabetos que comparten una cierta propiedad dada. La clasificacin de lenguajes en clases de lenguajes es debida a N. Chomsky, quin propuso una jerarqua de lenguajes, donde las clases ms complejas incluyen a las ms simples. Dentro de esta clasificacin propuesta estn los Lenguajes Regulares que es la clase ms compleja o grande de la jerarqua PORQUE Los Lenguajes Regulares incluye a los lenguajes ms simples. Un ejemplo de Lenguaje Regular es el conjunto de todos los nmeros binarios.
TEMS DE ANLISIS DE POSTULADOS 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:
AUTOR:
NODO: Pgina 8 de 11
TUNJA
CEAD
DUITAMA
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.
20. TESIS: Los AF (Autmatas Finitos) pueden considerarse como mecanismos aceptadores o reconocedores de palabras POSTULADO I. Un AF es una mquina sin memoria externa; son los estados los que resumen de alguna forma la informacin procesada. POSTULADO II. De manera informal se puede decir que un Autmata Finito aceptar una palabra de entrada si, comenzando por un estado especial llamado estado inicial y estando la cabeza de lectura apuntando al primer smbolo de la cadena, la mquina alcanza un estado final o de aceptacin despus de leer el ltimo smbolo de la cadena 21. TESIS: La definicin de palabra vaca se puede obtener partiendo de: Dado un alfabeto , entonces se define como la nica palabra construida con cero (0) smbolos del alfabeto. POSTULADO I. Aunque se presente por un carcter simple, es una palabra, mas no un smbolo del alfabeto, es decir: POSTULADO II. Todas las palabras que pueden formarse con los smbolos del alfabeto caracterizan por: Contener un nmero infinito de palabras. Una palabra puede estar conformada por solo un smbolo del alfabeto. 22. TESIS: Con los smbolos del alfabeto se forman cadenas, frases o palabras que se denotan por la letra . Algunas operaciones entre palabras son la concatenacin y la inversa. La concatenacin por ejemplo no tiene la propiedad conmutativa, es decir: 1 2 2 1 . Una situacin particular que se da al formar palabras, es la de crear palndromos que son aquellos que toman por unidad la letra, es decir, cuya ltima letra es la misma que la primera, la penltima es la misma que la segunda, etc.
*
se
AUTOR:
NODO: Pgina 9 de 11
TUNJA
CEAD
DUITAMA
POSTULADO I. La Inversin ( R ) consiste en una operacin sobre palabras o cadenas que escribe al revs una palabra. La palabra resultante se denomina inversa. En general ( 1 2 ) R 1 R 2
R
pero
( 1 2 ) R = 2
1 R
POSTULADO II. El Palndromo se puede definir como: ( = R ). Ejemplo: = reconocer
23. TESIS: Cuando se tratan los PROBLEMAS INSOLUBLES PARA LA TEORIA DE LENGUAJES, se presentan los Problemas de decisin (PD). Un PD es aqul formulado por una pregunta (referida a alguna propiedad) que requiere una respuesta de tipo si/no. Hay problemas de decisin de tipo soluble, parcialmente soluble e insoluble. POSTULADO I. Hay lenguajes formados por cadenas tales que una Mquina de Turing (MT) logra un estado final con las cadenas que reconoce y acepta solamente. POSTULADO II. Mientras que los lenguajes computables son una infinidad numerable, los lenguajes no computables son una infinidad no numerable.
24. TESIS: El siguiente diagrama define unas relaciones propias de la Teora de autmatas y lenguajes formales que son verdaderas. Analcelas y determine que postulados podemos deducir de la grfica.
AUTOR:
NODO: Pgina 10 de 11
TUNJA
CEAD
DUITAMA
POSTULADO I. La Gramtica describe la estructura de un lenguaje, proporcionando las reglas que determinan las combinaciones vlidas de los smbolos del alfabeto que reconoce ese lenguaje. POSTULADO II. El autmata son mecanismos o mquinas abstractas que son dispositivos tericos capaces de recibir, procesar y transmitir informacin (cadenas de lenguaje).
25. TESIS: 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) as: Colocando una cadena en la cinta, situando la cabeza de lectura/escritura sobre el s mbolo 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. POSTULADO I. Se pueden combinar dos Mquinas de Turing (MT) permitiendo que compartan la misma cinta y, que cuando una termine su ejecucin, la otra empiece. POSTULADO II. Para rechazar una cadena que no es aceptable, lo nico que hay que hacer es evitar que se llegue a un estado final.
AUTOR:
NODO: Pgina 11 de 11
TUNJA
CEAD
DUITAMA

Simulacro 301405

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Simulacro 301405

Uploaded by

Copyright:

Available Formats

VICERRECTORA DE MEDIOS Y MEDIACIONES PEDAGGICAS VICERRECTORA ACADMICA Y DE INVESTIGACIN SISTEMA NACIONAL DE EVALUACIN ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

{a,b} una representacin vlida de la expresin regular y su lenguaje sera:

A. Expresin Regular: B. Expresin Regular: en

C. Expresin Regular: D. Expresin Regular:

F Q es el conjunto de estados finales.

Y que para el ejercicio = diagrama de Moore:

F = {q 1 } se representa mediante el siguiente

El conjunto de palabras aceptadas por este autmata son: A. B. C. D.

Carlos Alberto Amaya Tarazona

6. Sea el alfabeto = {0,1} y el autmata de la figura:

Carlos Alberto Amaya Tarazona

S xAyzy | xAy A xzS | yz |

Indique cual de las siguientes afirmaciones es cierta (donde 1. 2. 3. 4.

denota la inclusin estricta):

Carlos Alberto Amaya Tarazona

Carlos Alberto Amaya Tarazona

Carlos Alberto Amaya Tarazona

POSTULADO II. El Palndromo se puede definir como: ( = R ). Ejemplo: = reconocer

Carlos Alberto Amaya Tarazona

Carlos Alberto Amaya Tarazona

You might also like