You are on page 1of 6

10/10/13

Campus13 2013-2
AUTOMATAS Y LENGUAJES FORMALES Perfil Salir

Act 5: Quiz 1 - Unidad No. 1 Revisin del intento 1


Finalizar revisin
Com enzado el jueves, 5 de septiembre de 2013, 21:55 Com pletado el jueves, 5 de septiembre de 2013, 22:46 Tiem po em pleado Puntos Calificacin Com entario 50 minutos 56 segundos 13.75/15 22.9 de un mximo de 25 ( 92%) Correcto: Contest la totalidad de las preguntas.

1
P untos : 1

Una de las siguientes afirmaciones NO aplica a los lenguajes que reconocen un autmata. Identifquela Seleccione una respuesta. a. Un automata reconoce una cadena cuando alcanza un estado de aceptacion durante su lectura b. Un automata finito determinista utilizado como reconocedor de lenguajes con al menos una cadena necesariamente tiene que tener al menos un estado de aceptacion. c. 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.

d. Un automata finito determinista M reconoce un lenguaje L(M) si acepta exclusivamente la coleccion de cadenas de dicho lenguaje. C orrecto

Puntos para este envo: 1/1.

2
P untos : 1

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

Campus13 2013-II 301405A Cuestionarios Act 5: Quiz 1 - Unidad No. 1 Revisin del intento 1

Seleccione una respuesta.

a. Expresin regular (bb|ab)*

b. Expresin regular (ac|b|b)*

c. Expresin regular (q|q )* d. Expresin regular (ac|b)* Correcto: Se est representando una operacin de una Epresin Regular (El cierre u operacin estrella). 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. C orrecto

Puntos para este envo: 1/1.

66.165.175.211/campus13_20132/mod/quiz/review.php?q=11528&attempt=113079

1/6

10/10/13
3
P untos : 1

Campus13 2013-2
La definicin formal de un Lenguaje Regular (ele) L, se da solo si cumple ciertas condiciones. Siendo un alfabeto, el conjunto de los lenguajes regulares sobre = {a,b} puede estar formado por: Selecione al menos una respuesta. Seleccione al menos una respuesta. a. vaco y {lambda } son lenguajes regulares b. {a,b} es regular pues resulta de la unin de {a} y {b} c. {a} y {b} son lenguajes regulares d. {ab} es regular pues resulta de la concatenacin de {a} y {b} Correcto Correcto Correcto

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 Parcialmente correcto

Puntos para este envo: 0.8/1.

4
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: 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: C onocer el estado de un autmata, es lo mismo que conocer toda la historia de smbolos de entrada, as como el estado inicial, estado en que se encontraba el autmata al recibir el primero de los smbolos de entrada POSTULADO II. La informacin se codifica en cadenas de smbolos, y un autmata es un dispositivo que manipula cadenas de smbolos que se le presentan a su entrada, produciendo otras tiras o cadenas de smbolos a su salida.

Seleccione una respuesta.

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

DEFINIC ON DE ESTADO. Solo se deduce el Postulado I. El Postulado II hace referencia ms a la definicin de Autmata que ala de un estado. DEFINIC ON DE ESTADO. Solo se deduce el Postulado I. El Postulado II hace referencia ms a la definicin de Autmata que ala de un estado. C orrecto

Puntos para este envo: 1/1.

5
P untos : 1

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

Puntos para este envo: 1/1.

66.165.175.211/campus13_20132/mod/quiz/review.php?q=11528&attempt=113079

2/6

10/10/13
6
P untos : 1

Campus13 2013-2
Un ejemplo de Lenguaje es el conjunto de palndromos (cadenas que se leen igual hacia adelante, que hacia atrs). Para el caso del alfabeto { 0, 1} Es vlido afirmar: (Seleccione dos respuestas). Tenga en cuenta que el smbolo lambda (usado en autmatas), http://es.wikipedia.org/wiki/Lambda Seleccione al menos una respuesta. a. Las cadenas vlidas para ese alfabeto obedece a sus seis posibles combinaciones: {0, 1, 01, 10, 00, 11}

b. Pueden ser cadenas vlidas como: {lambda, 0, 1. 00, Correcto: Este lenguaje {0,1} tiene cadenas infinitas (muchisimas se 11, 010, 0110, 000000, 101101, 10001} pueden combinar como palindromos que se lean iagual al derecho y al reves). c. Este Lenguaje tiene cadenas finitas d. Este Lenguaje tiene cadenas infinitas Correcto: Este lenguaje {0,1} tiene cadenas infinitas (muchisimas se pueden combinar como palindromos que se lean iagual al derecho y al reves). Los lenguajes regulares se llaman as porque sus palabras contienen regularidades o repeticiones de los mismos componentes, como por ejemplo en el lenguaje L1 siguiente: L1 = {ab, abab, ababab, abababab, . . .} En este ejemplo se aprecia que las palabras de L1 son simplemente repeticiones de ab cualquier nmero de veces. Aqu la regularidad consiste en que las palabras contienen ab algn nmero de veces. C orrecto

Puntos para este envo: 1/1.

7
P untos : 1

Los palindromos (palabras capicuas) del idioma castellano, tales como "a", "y", "dad", "oso", "erre", etc., constituyen un: Seleccione una respuesta. a. Lenguaje regular b. Lenguaje estructurado por frases (en sentido estricto) c. Es una maquina de turing. d. Lenguaje independiente del contexto (en sentido estricto) C orrecto

Puntos para este envo: 1/1.

8
P untos : 1

Los automatas se pueden representar mediante: Seleccione al menos una respuesta. a. El conjunto de entradas de una maquina de turing b. El conjunto de tablas representativas c. Diagrama de moore d. Tablas de transiciones C orrecto

Puntos para este envo: 1/1.

9
P untos : 1

C ul de las siguientes afirmaciones son verdaderas y aplican a su contexto o definicin. Seleccione una respuesta. a. Los automatas finitos tienen un numero finito de estados. b. Los automatas finitos solo pueden aceptar lenguajes finitos. c. Las maquinas de turing y los automatas de pila son automatas finitos. d. Ninguna de las anteriores. C orrecto

Puntos para este envo: 1/1.

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

66.165.175.211/campus13_20132/mod/quiz/review.php?q=11528&attempt=113079

3/6

10/10/13

Campus13 2013-2
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 C c. OPCION A d. OPCION D Correcto

EQUIVALENC IA DE AUTMATAS FINITOS DETERMINISTIC OS Y AUTMATAS FINITOS NO DETERMINSTIC OS. Las equivalencias estn en relacin a la jerarqua de estos autmatas. Y en ambos postulados son coherentes. EQUIVALENC IA DE AUTMATAS FINITOS DETERMINISTIC OS Y AUTMATAS FINITOS NO DETERMINSTIC OS. Las equivalencias estn en relacin a la jerarqua de estos autmatas. Y en ambos postulados son coherentes. C orrecto

Puntos para este envo: 1/1.

11
P untos : 1

Indique cual de las siguientes afirmaciones es la que corresponde cuando se trata de los lenguajes que puede reconoce un AF. Seleccione una respuesta. a. Un automata finito determinista M reconoce un lenguaje L(M) si acepta exclusivamente la coleccion de cadenas de dicho lenguaje. b. Un automata finito determinista M reconoce un lenguaje L(M) si la coleccion de cadenas de dicho lenguaje es determinista. c. Ninguna de las afirmaciones anteriores es cierta. d. Un automata finito determinista M reconoce un lenguaje L(M) si acepta todas las cadenas de dicho lenguaje.

C orrecto

Puntos para este envo: 1/1.

12
P untos : 1

Un alfabeto es un conjunto finito de smbolos. De esta definicin podemos afirmar correctamente: (Seleccione dos de las afirmaciones que sean correctas). Seleccione al menos una respuesta. a. Las cadenas que se forman a partir de un alfabeto finito, resultan ser infinitas. b. Por ser un alfabeto un conjunto finito de elementos, las posibles cadenas que se formen no pueden ser vacas c. Dado un alfabeto, podemos formar palabras o cadenas con los smbolos del alfabeto d. Por smbolo no se est haciendo referencia a un slo carcter. Los smbolos pueden ser nombres. En matemticas, lgica, y las ciencias computacionales, un lenguaje formal es un conjunto de palabras (cadenas de caracteres) de longitud finita formadas a partir de un alfabeto (conjunto de caracteres) finito. Incorrecto

Puntos para este envo: 0/1.

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

66.165.175.211/campus13_20132/mod/quiz/review.php?q=11528&attempt=113079

4/6

10/10/13

Campus13 2013-2

La tabla de transicin correspondiente es:

Seleccione una respuesta.

a. TABLA DE TRANSICION B

Correcto: La transicin correcta es la B. est identificado de forma correcta el estado inicial, el estado final con un * y las transiciones (con los elementos de entrada) acordes al grafo. Opcin B.

b. TABLA DE TRANSICION C

c. TABLA D ETRANSICION A

d. TABLA DE TRANSICION D

El nombre determinista viene de la forma en que est definida la funcin de transicin: si en un instante t la mquina est en el estado q y lee el smbolo a entonces, en el instante siguiente t + 1 la mquina cambia de estado y sabemos con seguridad cual es el estado al que cambia, que es precisamente (q, a). C orrecto

Puntos para este envo: 1/1.

14
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. b. La Afirmacin es VERDADERA, pero la Razn es una proposicin FALSA 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 a. La Afirmacin y la Razn son VERDADERAS y la Razn es una explicacin CORRECTA de la Afirmacin

66.165.175.211/campus13_20132/mod/quiz/review.php?q=11528&attempt=113079

5/6

10/10/13
C orrecto

Campus13 2013-2
Puntos para este envo: 1/1.

15
P untos : 1

C omo especificar la sintaxis de un lenguaje?: Se utiliza la jerarqua de C homsky; la jerarqua de C homsky es una clasificacin jerrquica de distintos tipos de gramticas formales que generan lenguajes formales. Esta jerarqua fue descrita por Noam C homsky en 1956. Acorde a esto, asocie correctamente esta clasificacin. Gramticas Estas gramticas generan todos los lenguajes capaces de ser reconocidos por una mquina de Turing de tipo 0 Gramticas Gramticas regulares. Generan los lenguajes regulares de tipo 3 Gramticas Gramticas sensibles al contexto. Generan los lenguajes sensibles al contexto de tipo 1 Gramticas Gramticas libres del contexto. Generan los lenguajes independientes del contexto de tipo 2 C omo especificar la sintaxis de un lenguaje?: Se utiliza la jerarqua de C homsky; la jerarqua de C homsky es una clasificacin jerrquica de distintos tipos de gramticas formales que generan lenguajes formales. Esta jerarqua fue descrita por Noam C homsky en 1956. C orrecto

Puntos para este envo: 1/1.

Finalizar revisin

U s ted s e ha autentific ado c omo Ric ardo A ndres M ejia (Salir)

301405A

66.165.175.211/campus13_20132/mod/quiz/review.php?q=11528&attempt=113079

6/6

You might also like