SSL Teorico

Para cada Máquina Abstracta seleccione las características de las cintas correspondientes. En los ALA la cinta es FINITA y la operación sobre la cinta es LECTURA Y ESCRITURA. En las MT la cinta es INFINITA y la operación sobre la cinta es LECTURA Y ESCRITURA. En los AP la cinta es INFINITA y la operación sobre la cinta es LECTURA .

Dados los siguientes lenguajes, en cada caso indique la máquina abstracta más restringida y la gramática correspondientes. L = {aᵖbᵖ/p>0} Máquina Abstracta más restringida que lo reconoce: APD Gramática que lo especifica: Gr Independiente del Contexto. L = {aᵖbᵖcᵖ/p>0} Máquina Abstracta más restringida que lo reconoce: ALA Gramática que lo especifica: Gr dependiente del Contexto.

Seleccione la Función de Transición correspondiente a cada máquina abstracta: APD. APND. ALA. MT. MTND.

Seleccione al configuración inicial y de aceptacion para un AUTOMATA PILA (AP). Configuración inicial. Configuración de aceptación.

La definición formal del AP es: (Σe,Γ,Q,q0,#,A,f) donde. Σe. Γ. Q. q0. #. A. f.

El tipo de memoria de un autómata a pila es del tipo FIFO(First Input – First Output). Seleccione una: Verdadero. Falso.

Un autómata con pila incorpora al autómata finito una memoria: Seleccione una: De acceso directo. Con acceso FIFO. Con acceso LIFO. El AP no tiene memoria. Con acceso secuencial.

En la función de transición de un autómata finito no determinista, se verifica que: Seleccione una. a. El dominio es finito y el rango es infinito. b. El dominio es infinito y el rango es infinito. c. Solo si el rango es finito, el dominio es finito. d. El dominio es finito y el rango es finito. e. La función del AP no tiene dominio y rango.

En un AP, la función de transición definida como f: Qₓ(ΣU{λ})ₓΓ->P(QₓΓ*) corresponde a: Seleccione una. a. Todas las transiciones de un APD. b. Funcion de transición del APD que incluye transiciones λ. c. Todos los subconjuntos que se pueden formar con los elementos de Q del APD. d. Ninguna de las demás opciones es correcta. e. Función de transición del APND.

Pensando en un autómata con pila, relacione los conceptos indicados con su descripción simbólica: Configuración o descripción instantánea. Configuración Final. Configuración Inicial. Movimientos (finitos) desde Ko a Kₘ. Movimiento en un paso.