AFP Flashcards
1
Q
¿Cómo está constituido un AFP?
A
- Un flujo de entrada: infinito en una dirección, la secuencia de caracteres a analizar.
- Un control finito: formado por estados y transiciones etiquetadas.
- Una pila abstracta: la gran diferencia con los AF.
2
Q
¿Cuál es la definicion formal de un AFP?
A
7-upla
M=(E,A,A’,T,e0,p0,F)
* E: conjunto finito de estados (no vacío).
* A: alfabeto de entrada, se utilizan para formar la cadena a analizar.
* A’: alfabeto de la pila.
* T: tabla de transiciones.
* e0: estado inicial.
* p0: símbolo inicial de la pila, indica que no tiene símbolos.
* F: conjunto de estados finales.
3
Q
¿Cómo un AFP reconoce a un LIC?
A
Un AFP puede reconocer a un LIC de dos maneras:
1. Por estado final como en los AFs.
2. Por pila vacía.
4
Q
¿Cuándo un AFP es determinístico?
A
Un AFP es determinístico cuando tiene un estado y un símbolo el cual tiene un movimiento de inserción de pila y otro de vaciamiento de pila al mismo tiempo.
