Act 4: Leccin Evaluativa Unidad No.

1
1
Puntos: 1

Un autmata finito con landa transiciones es: Seleccione al menos una respuesta. a. Un AFD b. Un autmata al que se le permite cambiar de estado sin necesidad de consumir un smbolo de entrada c. Un autmata con menor nmero de estados d. Un AFND Correcto Correcto

Es un AFND al que se le permite cambiar de estado sin necesidad de consumir un smbolo de entrada. La funcin se define como: : QV U {} P(Q) Correcto

Puntos para este envo: 1/1.

Question2
Puntos: 1

Indique cul de las siguientes afirmaciones se apropia a los conceptos de los Autmatas Finitos: Seleccione una respuesta. a. Ninguna de las afirmaciones anteriores es cierta b. Las mquinas de Turing y los autmatas de pila son autmatas finitos c. Los autmatas finitos tienen un nmero finito de estados. d. Los autmatas finitos slo pueden aceptar lenguajes finitos. Al ser finitos, estas mquinas an mas abstractos, tratan secuencias de eventos aceptables de manera definida y concreta. 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. Correcto Correcto: De hecho esta es una propiedad relevante y excluyente de estos autmatas.

Puntos para este envo: 1/1.

Question3
Puntos: 1

Cuando se habla de equivalencia de autmatas finitos determinsticos y autmatas finitos no determinsticos, es vlido afirmar: Seleccione una respuesta. a. os autmatas finitos determinsticLos (AFD) son un subconjunto propio de los no determinsticos (AFN) b. La equivalencia de un AFND y un AFD, obliga a que tengan el mismo nmero de estados c. Un AFD es equivalente a un AFND si el nmero d etransiciones es igual, independiente del nmero de estados. d. La equivalencia de un AFD y un AFND se da solo evaluando el tipo de smbolos que componen el alfabeto. Los autmatas finitos determinsticos (AFD) son un subconjunto propio de los no determinsticos (AFN), lo que quiere decir que todo AFD es un AFN. Correcto Correcto

Puntos para este envo: 1/1.

Question4
Puntos: 1

Indique cul de las siguientes afirmaciones referidas a lenguajes del alfabeto = {0,1,2} son ciertas: Seleccione al menos una respuesta. a. 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. b. Si L es un lenguaje regular tambin lo es el lenguaje consistente en las inversas de las cadenas de L c. 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. d. 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. Los tres lenguajes descritos son regulares. Adems si existe un autmata finito determinista que reconoce un lenguaje, bastar con intercambiar estado inicial por final e invertir el sentido de las transiciones para obtener un autmata finito que reconoce el lenguaje de las cadenas inversas. Los tres lenguajes descritos son regulares. Adems si existe un autmata finito determinista que reconoce un lenguaje, bastar con intercambiar estado inicial por final e invertir el sentido de las transiciones para obtener un autmata finito que reconoce el lenguaje de las cadenas inversas. Correcto

Puntos para este envo: 1/1.

Question5
Puntos: 1

La expresin regular que se asocia la siguiente autmata es:

Seleccione una respuesta. a. r = (1 + 0) + 1* b. r = (10) * + 1* c. r = (10 + 0) * Correcto: Las cadenas que tengan varios unos consecutivos son rechazadas.

d. r = (1)* + (0) + lambda Las cadenas que tengan varios unos consecutivos son rechazadas. Las cadenas que tengan varios unos consecutivos son rechazadas. Correcto

Puntos para este envo: 1/1.

Question6
Puntos: 1

Cuando se habla de Expresiones Regulares, son vlidas las siguientes apreciaciones: Seleccione al menos una respuesta. a. Las ER son simplemente frmulas cuyo propsito es representar cada una de ellas un lenguaje b. Una expresin regular es la representacin de la cadena ms caracterstica del lenguaje respectivo c. El significado de una ER es simplemente el lenguaje que ella representa. Correcto Correcto Correcto

d. Una ER representa los smbolos y el alfabeto que denota las caractersticas de un autmata. 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 Correcto

Puntos para este envo: 1/1.

Question7
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: Seleccione una respuesta. a. La fila i representa los estados. Las columnas j Correcto. Esto es lo mismo que describir el representan los smbolos. Cada celda (i,j) los posibles diagrama de transiciones completo. estados que alcanza el diagrama de transiciones cuando se encuentra en el estado i y lee el smbolo j. b. 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. c. El estado final en una tabla de transicin se identifica mediante el smbolo de interrogacin. este puede ubicarse en cualquier celada (i,j) 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 Correcto

Puntos para este envo: 1/1.

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

Seleccione al menos una respuesta. a. Tiene dos finales o de aceptacin q1 y q2 . b. 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. 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.

c. Hay palabras como ba, que no tienen as seguidas y sin embargo no son aceptadas por el AFD

d. Hay palabras como baba que no tienen as seguidas y sin embargo son aceptadas por el AFD pero que no pertenecen al alfabeto dado. 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. Correcto

Puntos para este envo: 1/1.

Question9
Puntos: 1

Que representa la siguiente figura:

Seleccione una respuesta. a. Un Autmata de tipo AFND vlido b. No representa un autmata vlido por que el mismo estado inicial es el mismo estado final. c. Un Autmata que acepta palabras o cadenas que contienen nicamente bs d. No representa un autmata vlido por que tiene un solo estado. Es un Autmata Finito No Determinstico (AFND) vlido. Es una extensin vlida de un AFD. Permite que de cada nodeo del diagrama de estados salga un nmero de flechas mayor o menor que || Es un Autmata Finito No Determinstico (AFND) vlido. Es una extensin vlida de un AFD. Permite que de cada nodeo del diagrama de estados salga un nmero de flechas mayor o menor que || Correcto Correcto: Es una extensin vlida de un AFD.

Puntos para este envo: 1/1.

Question10
Puntos: 1

En un autmata Finito Determinista (AFD), Es vlido afirmar que :

Seleccione una respuesta. a. Todo autmata finito determinista de n estados, cuyo alfabeto E contiene m smbolos debe tener m x n transiciones. b. A diferencia de los AF (Autmatas Finitos), los Autmatas Finitos Determinsticos Por ser AFD, este no debe ser inicializado con ningn smbolo de entrada c. A diferencia de los AF (Autmatas Finitos), los Autmatas Finitos Determinsticos Por ser AFD, no tienen ningn ciclo de ejecucin. Solo leen un dato de entrada. d. El nombre determinista viene de la forma en que est Respuesta Correcta: La funcin de transicin definida la funcin de transicin: si en un instante t la define que sea determinado o no. 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).

Una extensin a los autmatas finitos deterministas es la de permitir que de cada nodo del diagrama de estados salga un nmero de flechas mayor o menor que As, se puede permitir que falte la flecha correspondiente a alguno de los smbolos del alfabeto, o bien que haya varias flechas que salgan de un solo nodo con la misma etiqueta. Inclusive se permite que las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vaca. A estos autmatas finitos se les llama no Determinsticos o no deterministas (abreviado AFND), 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). Incorrecto

Puntos para este envo: 0/1.

Act 5: Quiz 1 - Unidad No. 1

1
Puntos: 1

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

Puntos para este envo: 1/1.

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

Seleccione al menos una respuesta. a. {a,b} es regular pues resulta de la unin de {a} y {b} b. {ab} es regular pues resulta de la concatenacin de {a} y {b} c. vaco y {lambda } son lenguajes regulares d. {a} y {b} son lenguajes regulares 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.5/1.

Question3
Puntos: 1

Los autmatas finitos no Determinsticos o no deterministas tienen las caractersticas de: Seleccione al menos una respuesta

Seleccione al menos una respuesta. a. Las transiciones tengan como etiqueta palabras de varias letras o hasta la palabra vaca. b. Las transiciones no tengan como etiqueta palabras de varias letras o hasta la palabra vaca. c. Permitir que de cada nodo del diagrama de estados salga un nmero de flechas mayor o menor d. No permitir que de cada nodo del diagrama de estados salga un nmero de flechas mayor o menor 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. Correcto Correcto Correcto

Puntos para este envo: 1/1.

Question4
Puntos: 1

Cul de las siguientes afirmaciones son verdaderas y aplican a su contexto o definicin. Seleccione una respuesta. a. Las maquinas de turing y los automatas de pila son automatas finitos. b. Los automatas finitos solo pueden aceptar lenguajes finitos.

c. Ninguna de las anteriores. d. Los automatas finitos tienen un numero finito de estados. Correcto

Puntos para este envo: 1/1.

Question5
Puntos: 1

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

Puntos para este envo: 1/1.

Question6
Puntos: 1

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

Puntos para este envo: 1/1.

Question7
Puntos: 1

Las cadenas no nulas, en un alfabeto se crean por: (selecciones dos opciones de respuesta). Seleccione al menos una respuesta.

a. Interseccin de los valores de lambda b. Longitud mnima del alfabeto unida al nmero mximo de combinaciones. Correcto: Las cadenas no nulas, en un alfabeto se crean por concatenacion de cadenas sencillas, las de longitud 1. Tambien es posible ver la concatenacin como una operacin en lenguajes, de modo que se podran considerar los lenguajes obtenidos por concatenacin de lenguajes sencillos de la forma {a}, donde a PERTENECE A Incorrecto: Las cadenas no nulas, en un alfabeto se crean por concatenacion de cadenas sencillas, las de longitud 1. Tambien es posible ver la concatenacin como una operacin en lenguajes, de modo que se podran considerar los lenguajes obtenidos por concatenacin de lenguajes sencillos de la forma {a}, donde a PERTENECE A

c. Concatenacin de cadenas sencillas, las de longitud 1.

d. En un alfabeto no existen cadenas no nulas Las cadenas no nulas, en un alfabeto se crean por concatenacion de cadenas sencillas, las de longitud 1. Parcialmente correcto

Puntos para este envo: 0.5/1.

Question8
Puntos: 1

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

Puntos para este envo: 1/1.

Question9
Puntos: 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 la coleccion de cadenas de dicho lenguaje es determinista.

b. Un automata finito determinista M reconoce un lenguaje L(M) si acepta todas las cadenas de dicho lenguaje. c. Un automata finito determinista M reconoce un lenguaje L(M) si acepta exclusivamente la coleccion de cadenas de dicho lenguaje. d. Ninguna de las afirmaciones anteriores es cierta. Incorrecto

Puntos para este envo: 0/1.

Question10
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) Seleccione una respuesta. a.Hace 5 aos b. En 1970 c.Hace 50 aos d.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".

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

Puntos para este envo: 1/1.

Question11
Puntos: 1

En cuanto a los lenguajes formales, relacione correctamente las siguientes afirmaciones y su significado. Cadena sobre un alfabeto Posible Alfabeto
010110 {0,1}

La palabra vaca El alfabeto

Cadena de Longitud cero Es un conjunto finito

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

Puntos para este envo: 1/1.

Question12
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 A b. OPCION C c. OPCION D d. OPCION B 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. Correcto Correcto

Puntos para este envo: 1/1.

Question13
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 2 Gramticas de tipo 3 Gramticas de tipo 0 Gramticas de tipo 1
Gramticas libres del contexto. Generan los lenguajes independientes del contexto Gramticas regulares. Generan los lenguajes regulares Estas gramticas generan todos los lenguajes capaces de ser reconocidos por una mquina de Turing Gramticas sensibles al contexto. Generan los lenguajes sensibles al contexto

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

Puntos para este envo: 1/1.

Question14
Puntos: 1

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

Seleccione una respuesta. a. Expresin regular (ac|b)* Correcto: Se est representando una operacin de una Epresin Regular (El cierre u operacin estrella).

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

d. Expresin regular (ac|b|b)* 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. Correcto

Puntos para este envo: 1/1.

Question15
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. Una mquina de Turing. b. Un autmata de pila determinista c. Un autmata de pila no determinista d. Un autmata finito Incorrecto Incorrecto

Puntos para este envo: 0/1.