Act 4 automatas y lenguajes formales Los autmatas y su definicin se pueden representar mediante :

Seleccione al menos una respuesta.

a. El conjunto de tablas representativas b. Descripcin matemtica de la funcin de transicin c. Tabla de transiciones d. Diagramas de Moore

2
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 cu 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 parej 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 regular.

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

Seleccione una respuesta.

a. A diferencia de los AF (Autmatas Finitos), los Autmatas Finitos Determinsticos Por ser AFD, no tie ejecucin. Solo leen un dato de entrada.

b. Todo autmata finito determinista de n estados, cuyo alfabeto E contiene m smbolos debe tener m x n

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

d. A diferencia de los AF (Autmatas Finitos), los Autmatas Finitos Determinsticos Por ser AFD, este con ningn smbolo de entrada

4
La expresin regular que se asocia la siguiente autmata es:

Seleccione una respuesta.

a. r = (10) * + 1* b. r = (1 + 0) + 1* c. r = (10 + 0) * d. r = (1)* + (0) + lambda

5 Asocie los trminos correctamente:

Conjunto de palabras (cadenas de caracteres) de longitud finita formadas a partir de un alfabeto (conjunto de caracteres) finito. Es la clase ms pequena, e incluye a los lenguajes ms simples Conjunto finito
Lenguaje Formal.

Lenguajes Libres de Contexto

Alfabeto

Jerarqua de Lenguajes Incluyen a los Lenguajes Regulares Incluyen a los Libres de Contexto (y por lo tanto a los Lenguajes Regulares).

Chomsky

Lenguajes Recursivamente Enumerables

Lenguaje Formal.

6
1. 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):

Seleccione al menos una respuesta.

a. 1. Los autmatas reconocen el lenguaje formado por todas las cadenas que empiezan por 1 y que no ter consecutivos. b. 2. Ambos autmatas reconocen el mismo lenguaje incluyendo la cadena vaca. c. 3. El autmata A es ms potente por ser No Determinista.

d. 4. Cualquier autmata no determinista que reconozca el mismo lenguaje que el autmata B tiene al me

7 Acerca de la Equivalencia de AFD Y AFN es vlido afirmar. Seleccione una respuesta.

a. Para covertir u AFD a u AFND, el AFD debe tener menos estados que el AFND b. Todo Autmata por defecto es Determinstico.

c. Los autmatas finitos determinsticos (AFD) son un subconjunto propio de los no determinsticos (AFN d. Todo Autmata por defecto es No determinstico

8 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. El estado final en una tabla de transicin se identifica mediante el smbolo de interrogacin. este pued celada (i,j)

b. La fila i representa los smbolos. La Columna j representa los estados y cada celda (i,j) los posibles est diagrama de Moore que es el que genera la tabla de transicin.

c. En una tabla de transicin, no se representa el estado inicial ya que este se ubica en la primera celda (

d. La fila i representa los estados. Las columnas j representan los smbolos. Cada celda (i,j) los posibles diagrama de transiciones cuando se encuentra en el estado i y lee el smbolo j.

9
Indique cul de las siguientes afirmaciones se apropia a los conceptos de los Autmatas Finitos:

Seleccione una respuesta.

a. Los autmatas finitos tienen un nmero finito de estados. b. Ninguna de las afirmaciones anteriores es cierta c. Los autmatas finitos slo pueden aceptar lenguajes finitos.

d. Las mquinas de Turing y los autmatas de pila son autmatas finitos

10
Defina los siguientes conceptos: smbolo, alfabeto, palabra, lenguaje y gramatica. Secuencias o cadenas de caracteres Un conjunto no vaco de smbolos. Un conjunto de palabras Conjunto de reglas para formar correctamente las frases de un lenguaje. Una representacin distinguible de cualquier informacin
Alfabeto

Gramtica

Lenguaje

Palabras