Act 5: Quiz 1 - Unidad No.

1 Revisin del intento 1 Comenzado el: mircoles, 3 de abril de 2013, 20:28 Completado el: mircoles, 3 de abril de 2013, 21:22 Tiempo empleado: 54 minutos 20 segundos Puntuacin bruta: 6.75/15 (45 %) Calificacin: de un mximo de Comentario - Contesto parcialmente
Continuar

1 Puntos: 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 determinista b. Un autmata de pila no determinista c. Un autmata finito d. Una mquina de Turing. Incorrecto Puntos para este envo: 0/1. 2 Puntos: 1 El nombre "finito" en un Autmata, se justifica por una de las siguientes afirmaciones. Seleccione una. Seleccione una respuesta. a. Que el Autmata tiene un solo estado Inicial que se puede representar por un * o por un crculo doble. b. Del hecho que el Autmata almacena informacin en un solo estado (el final), que es donde termina su recorrido Incorrecto

c. Que el Autmata contiene un alfabeto smbolos (letras del abecedario) Incorrecto. Esta definicin no aplic y estas son finitas. concepcin de "finito" en un autm d. Del hecho que el autmata solo tiene un conjunto finito de estados distintos para recordar lo procesado (no tiene ningn sistema de

almacenamiento de informacin adicional) Incorrecto Puntos para este envo: 0/1. Al describir una mquina de estados finitos en particular, debemos incluir las informaciones que varan de un autmata a otro; es decir, no tiene sentido incluir descripciones generales aplicables a todo autmata. Estas informaciones son exactamente las que aparecen en un diagrama de estados y transiciones. 3 Puntos: 1 El numero minimo de estados de un AFND (automata finito no determinista) es de: Seleccione una respuesta. a. Uno b. Dos c. No hay numero minimo d. Depende del alfabeto sobre el que esta definido. Incorrecto Puntos para este envo: 0/1. 4 Puntos: 1 Los Automatas finitos no Deterministicos tienen las caracteristicas de: Seleccione al menos una respuesta. a. Permitir que de cada nodo del diagrama de estados salga un numero de flechas mayor o menor. b. Las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vacia. c. Las transiciones no tengan como etiqueta palabras de varias letras o hasta la palabra vacia. d. No permitir que cada nodo del diagrama de estados salga un numero de flechas mayor o menor. Correcto Puntos para este envo: 1/1. 5 Puntos: 1 Los autmatas finitos se utilizan generalmente para: Seleccione al menos una respuesta.

a. Como un analizador en la traduccin de algoritmos al computador. b. No tienen un uso habitual en la computacin prctica actual. c. Verificar que las cadenas pertenecen al lenguaje d. Reconocer todo tipo de lenguajes Correcto Puntos para este envo: 1/1.

Respuesta Correcta

Respuesta Correcta

6 Puntos: 1 Una de las siguientes afirmaciones NO aplica a los lenguajes que reconocen un autmata. Identifquela Seleccione una respuesta.

a. Dada una gramatica regular G, siempre existe un automata finito M tal que L(G) = L(M) y M tiene un unico e de aceptacion. 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 reconoce una cadena cuando alcanza un estado de aceptacion durante su lectura

d. Un automata finito determinista M reconoce un lenguaje L(M) si acepta exclusivamente la coleccion de cade de dicho lenguaje. Correcto Puntos para este envo: 1/1. 7 Puntos: 1 Los tems que encontrar a continuacin constan de una afirmacin VERDADERA (tesis) y dos postulados tambin VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen lgicamente de la afirmacin y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instruccin: Marque A si de la tesis se deducen los postulados I y II. Marque B si de la tesis se deduce el postulado I. Marque C si de la tesis slo se deduce el postulado II. Marque D si ninguno de los postulados se deduce de la tesis.

TESIS: El estado de un autmata es toda la informacin necesaria en un momento dado, para poder deducir, dado un smbolo de entrada en ese momento, cul ser el smbolo de salida. POSTULADO I: Conocer el estado de un autmata, es lo mismo que conocer toda la historia de smbolos de entrada, as como el estado inicial, estado en que se encontraba el autmata al recibir el primero de los smbolos de entrada

POSTULADO II. La informacin se codifica en cadenas de smbolos, y un autmata es un dispositivo que manipula cadenas de smbolos que se le presentan a su entrada, produciendo otras tiras o cadenas de smbolos a su salida. Seleccione una respuesta. a. OPCION B b. OPCION D c. OPCION A d. OPCION C 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. Incorrecto Puntos para este envo: 0/1. DEFINICON DE ESTADO. Solo se deduce el Postulado I. El Postulado II hace referencia ms a la definicin de Autmata que ala de un estado. 8 Puntos: 1 Teniendo en cuenta que podemos definir un Autmata como una mquina conceptual o terica para el reconocimiento de patrones, entonces los siguientes componentes: Analizados Lxico, Analizador Sintctico y Generador de Cdigo corresponderan a una aplicacin de un Autmata en el la implementacin de: Seleccione una respuesta. a. Aplicaciones de Computador b. Procesadores de texto c. Lenguajes de Programacin d. Compiladores Incorrecto Puntos para este envo: 0/1. 9 Puntos: 1 * Sea el vocabulario {1,2,3}, la expresin regular (1|2) 3 indica el conjunto de todas las cadenas formadas con los smbolos 1,2 y 3 . Cules sentencias o cadenas son vlidas : Seleccione al menos una respuesta. a. 121211223 Respuesta Incorrecta Incorrecto

Correcto: Pueden formarse cadenas con los smbolos 1 y 2, sucedndose cua nmero de veces ( y en cualquir rden) y siempre terminando la cadena en e

b. 221113

Correcto: Pueden formarse cadenas con los smbolos 1 y 2, sucedndose cua nmero de veces ( y en cualquir rden) y siempre terminando la cadena en e

c. 2213311

Incorrecto: Pueden formarse cadenas con los smbolos 1 y 2, sucedndose cu nmero de veces ( y en cualquir rden) y siempre terminando la cadena en e

d. 132211

Incorrecto: Pueden formarse cadenas con los smbolos 1 y 2, sucedndose cu nmero de veces ( y en cualquir rden) y siempre terminando la cadena en e

Correcto Puntos para este envo: 1/1. Un posible alfabeto sera, digamos, {a, b}, y una cadena cualquiera sobre este alfabeto sera, por ejemplo, ababba. Un lenguaje sobre este alfabeto, que incluyera esta cadena, sera: el conjunto de todas las cadenas que contienen el mismo nmero de smbolos a que b. 10 Puntos: 1 Los tems que encontrar a continuacin constan de una afirmacin VERDADERA (tesis) y dos postulados tambin VERDADEROS, identificados con POSTULADO I y POSTULADO II. Usted debe analizar si los postulados se deducen lgicamente de la afirmacin y seleccionar la respuesta en su hoja de cotejo, conforme a la siguiente instruccin: Marque A si de la tesis se deducen los postulados I y II. Marque B si de la tesis se deduce el postulado I. Marque C si de la tesis slo se deduce el postulado II. Marque D si ninguno de los postulados se deduce de la tesis. TESIS. Los autmatas finitos determinsticos (AFD) son un subconjunto propio de los no determinsticos (AFN). POSTULADO I. Todo AFD es un AFN POSTULADO II. Se puede pensar entonces que los AFN son ms poderosos que los AFD, en el sentido de que habra algunos lenguajes aceptados por algn AFN para los cuales no hay ningn AFD que los acepte Seleccione una respuesta. a. OPCION B b. OPCION C c. OPCION A 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. Incorrecto Puntos para este envo: 0/1. Incorrecto

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. 11 Puntos: 1 Un Autmata Determinstico de estados finitos (DFA), M, es una quntupla: (Q, , qi , F, ), donde: Q es un conjunto finito de estados. es un alfabeto finito. qi Q es el estado inicial. F Q son los estados finales. : (Q ) Q es la funcin de transicin de estados. La condicin de ser Determinstico es debido a que: Seleccione al menos una respuesta. a. En cada instante lee un smbolo y dependiendo del smbolo y del estado s en el que se encuentra, cambia al estado dado por la funcin de transicin: (s, )

Esto corresponde a la definicin de Autmatas Determinsiticos (DFA autmatas se denominan determinsticos ya que en cada estado su comportamiento es fijo. Es decir, dado el estado y el smbolo en la ci entrada hay un nico estado al cual puede pasar. . Todas los items s verdaderas.

b. El autmata comienza en el estado inicial y lee una secuencia de smbolos (smbolo por smbolo hasta que se acabe la secuencia).

Esto corresponde a la definicin de Autmatas Determinsiticos (DFA autmatas se denominan determinsticos ya que en cada estado su comportamiento es fijo. Es decir, dado el estado y el smbolo en la ci entrada hay un nico estado al cual puede pasar. . Todas los items s verdaderas.

c. Las transacciones estn descritas por una funcin total. d. Hay un nico estado inicial.

Correcto: Esto corresponde a la definicin de Autmatas Determinsi (DFA). Estos autmatas se denominan determinsticos ya que en cad su comportamiento es fijo. Es decir, dado el estado y el smbolo en la entrada hay un nico estado al cual puede pasar. . Todas los items s verdaderas.

Parcialmente correcto Puntos para este envo: 0.8/1. 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). 12 Puntos: 1 Los automatas se pueden representar mediante: Seleccione al menos una respuesta.

a. Tablas de transiciones b. Diagrama de moore c. El conjunto de tablas representativas d. El conjunto de entradas de una maquina de turing Correcto Puntos para este envo: 1/1. 13 Puntos: 1 Con 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 e 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 cade 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 de alfabeto de la maquina. Incorrecto Puntos para este envo: 0/1. 14 Puntos: 1 Cul de las siguientes afirmaciones son verdaderas y aplican a su contexto o definicin. Seleccione una respuesta. a. Los automatas finitos solo pueden aceptar lenguajes finitos. b. Ninguna de las anteriores. c. Las maquinas de turing y los automatas de pila son automatas finitos. d. Los automatas finitos tienen un numero finito de estados. Incorrecto Puntos para este envo: 0/1. 15 Puntos: 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. Por ser un alfabeto un conjunto finito de elementos, las posibles cadenas que se formen no pueden ser vacas b. Dado un alfabeto, podemos formar palabras o cadenas con los smbolos del alfabeto

Correcto: Lenguaje Formal: Un alfabeto es un conjunto finito de smbolos. De definicin se debe resaltar lo siguiente. (1) Los alfabetos son finitos. ( smbolo no se est esta haciendo referencia a un slo carcter. Los s pueden ser nombres

c. Por smbolo no se est haciendo referencia a un slo carcter. Los smbolos pueden ser nombres. d. Las cadenas que se forman a partir de un alfabeto finito, resultan ser infinitas.

Correcto: Lenguaje Formal: Un alfabeto es un conjunto finito de smbolos. De definicin se debe resaltar lo siguiente. (1) Los alfabetos son finitos. (2) Por s se est esta haciendo referencia a un slo carcter. Los smbolos pueden se

Correcto Puntos para este envo: 1/1. 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.