Examen Final 1

Comenzado: 15 de dic en 11:00

Instrucciones del examen

A continuación le presentamos un conjunto de preguntas para que usted, al responderlas, pueda evaluarse en
este Examen Final.

En esta actividad de evaluación podrá encontrar distintos tipos de preguntas:

Verdadero-Falso:  debe indicar si la proposición puede considerarse verdadera o falsa. Deberás tener en
cuenta que, si un sólo elemento de la proposición es falso, debe considerarse falsa en su conjunto.
Opción Múltiple:  una sola de las opciones es correcta. Las alternativas están indicadas con círculos.
Deberás seleccionar la alternativa correcta marcando el círculo precedente.
Respuesta múltiple: puede haber más de una respuesta correcta. Deberás seleccionar todas las alternativas
que consideres correctas, tildando en el cuadrado. Se le otorgará un puntaje parcial en caso de no marcar
todas las correspondientes.
Coincidente: debe vincular dos categorías, seleccionando en la 1º columna el concepto que se corresponde
con la categoría de la 2ª columna.

Recuerde, la evaluación final tiene una ponderación del 40% de la nota final.

Pregunta 1 1 pts

El autómata a pila es un autómata infinito no determinista con transiciones-ε y

una capacidad adicional

Verdadero

Falso

Pregunta 2 1 pts

El conjunto simbolizado ∅ es el:

Conjunto vacío

Conjunto con múltiples elementos

Conjunto interseccionario
 Conjunto complemento

Pregunta 3 1 pts

En el diagrama de Moore, cada nodo corresponde a:

Un estado

Un movimiento

Una dirección de lectura

Un símbolo

Una flecha

Pregunta 4 1 pts

El autómata a pila puede hacer una transición “espontánea”, utilizando ε como

entrada en lugar de un símbolo de entrada

Falso

Verdadero

Pregunta 5 1 pts

Dos autómatas finitos son equivalentes si:

Tienen exactamente el mismo número de estados

Tienen el mismo tipo de estado inicial

Reconocen el mismo lenguaje

Tienen el mismo tipo de estado final

Tienen la misma cantidad de transiciones

Pregunta 6 1 pts

Las gramáticas llamadas sensibles al contexto corresponden al:

Tipo 2

Tipo 3

Tipo 0

Tipo 4

Tipo 1

Pregunta 7 1 pts

Un autómata a pila no puede cambiar de estado cuando extrae símbolos de la

pila

Falso

Verdadero

Pregunta 8 1 pts

øL = Lø = ø, esta ley establece:

Ninguna es correcta

que ø es el elemento nulo de la unión

que ø es el elemento nulo de la concatenación

que ø es el elemento identidad para la unión

que ø es el elemento identidad para la concatenación

Pregunta 9 1 pts

Demuestran que la clase de lenguajes regulares es cerrada respecto de la

operación mencionada se denominan:

propiedades de clausura de los lenguajes regulares

propiedades de clausura de los lenguajes irregulares

Lema de bombeo para lenguajes regulares

Comprobación de equivalencia de estados

Comprobación de equivalencia de lenguajes regulares

Pregunta 10 1 pts

El componente Γ representa en un Autómata a pila es:

El símbolo inicial

Un conjunto finito de estados

El estado inicial

El alfabeto de pila finito

La función de transición

Pregunta 11 1 pts

A → β la producción utilizada para

Derivar

Duplicar

Ninguna es correcta
 Expandir

Contraer

Pregunta 12 1 pts

Los autómatas se pueden representar mediante la tabla de transiciones o:

Diagrama de símbolos

Diagrama de flujo

Tabla de gramáticas

Tabla de conjuntos

Diagrama de Moore

Pregunta 13 1 pts

Esta secuencia de caracteres es nuestra forma de describir una variable

[qXp]

Ninguna es correcta

L(G) = N(P).

δ (q, a, X)

δ (q, ε , X)

Pregunta 14 1 pts

La definición formal de un autómata o máquina en general es una:

Cuádrupla
 Tríada

Séxtupla

Quíntupla

Óctupla

Pregunta 15 1 pts

En un autómata, un estado no se puede acceder desde sí mismo.

Verdadero

Falso

Pregunta 16 1 pts

Nos permiten reconocer lenguajes no regulares

UNIX

AFD

ASCII

GNU

Ninguna de las anteriores

Pregunta 17 1 pts

La capacidad de escribir que posee la máquina de Turing es su principal

diferencia con otros autómatas

Verdadero

Falso
Pregunta 18 1 pts

R+ en UNIX es una abreviatura para RRRRR

Verdadero

Falso

Pregunta 19 1 pts

Si decimos que establece que si tomamos la unión de dos expresiones idénticas,

podemos reemplazarla por una copia de la expresión, hablamos de la ley de
idempotencia para la unión

Verdadero

Falso

Pregunta 20 1 pts

Las gramáticas de tipo 2 generan todos los lenguajes reconocibles por un:

Autómata de pila

Autómata finito no determinista

Autómata lineal

Máquina de Turing.

Autómata finito determinista

Pregunta 21 1 pts
Las expresiones regulares son un metalenguaje para describir los lenguajes
regulares.

Falso

Verdadero

Pregunta 22 1 pts

Si dos conjuntos no tienen elementos en común, entonces son:

Impares

Disjuntos

Equivalentes

Circulares

Irregulares

Pregunta 23 1 pts

Para todo autómata finito no determinista AFND se puede construir un autómata

finito determinista, tal que el lenguaje reconocido por el a AFD coincida con el
lenguaje reconocido por el AFND,

Verdadero

Falso

Pregunta 24 1 pts

Un ente formal para especificar, de una manera finita, el conjunto de cadenas de

símbolos que constituyen un lenguaje. Se trata de:
 Lenguaje

Universo del discurso

Gramática

Conjunto vacío

Pregunta 25 1 pts

Los lenguajes descritos por el tipo de gramática 0 son los lenguajes reconocibles
por:

Máquina de Turing

AF

Autómata acotado

AFD

Autómata de pila

Pregunta 26 1 pts

La definición formal de una gramática es en forma de:

Tríada

Cuádrupla

Quíntupla

Séxtupla

n-tupla

Pregunta 27 1 pts
Las gramáticas conocidas como no restringidas o recursivamente enumerables
son las de:

Tipo 1

Tipo 2

Tipo 4

Tipo 0

Tipo 3

Pregunta 28 1 pts

Dos expresiones con variables son equivalentes al sustituir las variables por
cualquier lenguaje

Verdadero

Falso

Pregunta 29 1 pts

Los lenguajes descritos por gramáticas de tipo 1 son reconocibles por un

autómata de pila.

Falso

Verdadero

Pregunta 30 1 pts

A diferencia del autómata finito, el autómata a pila puede “copilar” una cantidad
infinita de información
Falso

Verdadero

Examen guardado en 11:20 Entregar examen