12/09/13

Campus13 2013-2
AUTOMATAS Y LENGUAJES FORMALES Perfil Salir

Act 5: Quiz 1 - Unidad No. 1

1
P untos : 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 y la Razn son VERDADERAS y la Razn 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 pero la Razn NO es una explicacin CORRECTA de la Afirmacin d. La Afirmacin es VERDADERA, pero la Razn es una proposicin FALSA

2
P untos : 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:

OPC UINES DE RESPUESTA: OPC ION A. L = (A2 ) = {0, 001, 01111, } = { 1(10)n /n 0} La expresin regular es: 0(01) * OPC ION B. L = (A2 ) = {1, 101, 10101, } = { 1(01)n /n 0} La expresin regular es: 1(01) * OPC ION C . L = (A 2) = {0, 111, 11100, } = { 1(10)n /n = 0} La expresin regular es: 1(01) + OPC ION D. L = (A2 ) = {0, 001, 00100, } = { 1(01)n/n 0} La expresin regular es: 0(01) *

Seleccione una respuesta.

a. OPCION (B) b. OPCION (A) c. OPCION (C) d. OPCION (D)

3
P untos : 1

Para el siguiente autmata, M =(Q, A, q1 , , F) donde: Q = { q1 , q2 , q3 , q4 } A = {a, b}

66.165.175.211/campus13_20132/mod/quiz/attempt.php?id=49420

1/5

12/09/13

Campus13 2013-2

C ules igualdades son vlidas para la funcin de transicin OPC ION1. (q2 , a ) = q2 (q2 , b ) = q3 OPC ION2. (q4 , a ) = q4 (q4 , b ) = q4 OPC ION3. (q3 , a ) = (q3 , b ) = q3 OPC ION4. (q1 , a ) = q2 (q1 , b ) = q4

Seleccione al menos una respuesta.

a. OPCION 1. b. OPCION 2. c. OPCION 3. d. OPCION 4.

4
P untos : 1

C on referencia a los AFD, identifique cual caracterstica no aplica a su descripcin o funcionamiento. Seleccione una respuesta. a. Los automatas finitos tienen un numero finito de estados. b. 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). c. 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. d. En un automata finito determinista para cada estado existe exactamente una transicion por cada simbolo del alfabeto de la maquina.

5
P untos : 1

En un contexto general un Lenguaje lo podemos definir como: Seleccione una respuesta. a. Significado de las cadenas que lo componen b. Un Sistema de Smbolos Convencionales, hablados o escritos con el que nos comunicamos c. Estudio de las reglas y principios que regulan su uso d. Conjunto de instrucciones que indican acciones a realizar

6
P untos : 1

El numero minimo de estados de un AFND (automata finito no determinista) es de: Seleccione una respuesta. a. Uno b. Dos c. Depende del alfabeto sobre el que esta definido. d. No hay numero minimo

7
P untos : 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. 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.

66.165.175.211/campus13_20132/mod/quiz/attempt.php?id=49420

2/5

12/09/13

Campus13 2013-2

8
P untos : 1

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

9
P untos : 1

3. Partiendo de la definicin de que un Autmata Finito Determinstico (AFD) est dado por la quntupla: A = (Q, , f, q0 , F) donde: Q es un conjunto de estados. es el alfabeto de entrada f: Q X Q es la funcin (total) de transicin. q0 que pertenece a Q es el estado inicial. Y que para el ejercicio, el autmata acepta las cadenas (01) n 1) : , A = ({q0 , q1 , q2 , q3 } , {0,1} , f , q0 , { q2 })

Representado mediante el grafo:

La tabla de transicin correspondiente es:

Seleccione una respuesta.

a. TABLA D ETRANSICION A b. TABLA DE TRANSICION B c. TABLA DE TRANSICION D d. TABLA DE TRANSICION C

10
P untos : 1

Acorde al siguiente diagrama de Moore. Identifique que expresin representa:

66.165.175.211/campus13_20132/mod/quiz/attempt.php?id=49420

3/5

12/09/13

Campus13 2013-2

Seleccione una respuesta.

a. Expresin regular (ac|b)* b. Expresin regular (ac|b|b)* c. Expresin regular (bb|ab)* d. Expresin regular (q|q )*

11
P untos : 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 C digo corresponderan a una aplicacin de un Autmata en el la implementacin de: Seleccione una respuesta. a. Lenguajes de Programacin b. Procesadores de texto c. Aplicaciones de Computador d. Compiladores

12
P untos : 1

Los tems que encontrar a continuacin constan de una afirmacin VERDADERA (tesis) y dos postulados tambin VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen lgicamente de la afirmacin y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instruccin: Marque A si de la tesis se deducen los postulados I y II. Marque B si de la tesis se deduce el postulado I. Marque C si de la tesis slo se deduce el postulado II. Marque D si ninguno de los postulados se deduce de la tesis. TESIS. Los autmatas finitos determinsticos (AFD) son un subconjunto propio de los no determinsticos (AFN). POSTULADO I. Todo AFD es un AFN POSTULADO II. Se puede pensar entonces que los AFN son ms poderosos que los AFD, en el sentido de que habra algunos lenguajes aceptados por algn AFN para los cuales no hay ningn AFD que los acepte

Seleccione una respuesta.

a. OPCION B b. OPCION A c. OPCION D d. OPCION C

13
P untos : 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 . C ules sentencias o cadenas son vlidas : Seleccione al menos una respuesta. Tiem po restante a. 132211 b. 2213311 c. 221113 d. 121211223

0:24:35

14
P untos : 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)

66.165.175.211/campus13_20132/mod/quiz/attempt.php?id=49420

4/5

12/09/13
Seleccione una respuesta. a. Hace 5 aos b. Hace 20 aos c. En 1970 d. Hace 50 aos

Campus13 2013-2

15
P untos : 1

C ul de las siguientes afirmaciones son verdaderas y aplican a su contexto o definicin. Seleccione una respuesta. a. Ninguna de las anteriores. b. Los automatas finitos solo pueden aceptar lenguajes finitos.

Campus13 2013-II 301405A c. Cuestionarios Act 5: Quiz 1 - Unidad No. 1son Intento 1 finitos. Las maquinas de turing y los automatas de pila automatas
d. Los automatas finitos tienen un numero finito de estados.

Guardar sin enviar

Enviar todo y terminar

U s ted s e ha autentific ado c omo J A N E S SA E N Z (Salir)

301405A

66.165.175.211/campus13_20132/mod/quiz/attempt.php?id=49420

5/5