LIMITACIONES DE LOS LENGUAJES TEOREMAS DEFINICIÓN DE UN AUTÓMATA DE PILA ACEPTACION POR ESTADOS FINALES ACEPTACION POR VACIADO DE PILA DEFINICION FORMAL DEFINICION FORMAL TRANSICIÓN FUNCIÓN DE TRANSICIÓN TRANSICIONES INDEPENDIENTES DE LA ENTRADA TRANSICIONES INDEPENDIENTES DE LA ENTRADA TRANSICIONES DEPENDIENTES DE LA ENTRADA TRANSICIONES DEPENDIENTES DE LA ENTRADA DESCRIPCIÓN INSTANTÁNEA DESCRIPCIÓN INSTANTÁNEA LENGUAJE ACEPTADO POR UN AUTÓMATA A PILA EJEMPLO EJEMPLO EJEMPLO EJEMPLO EJEMPLO EJEMPLO EJEMPLO EJEMPLO EJEMPLO EJEMPLO EQUIVALENCIAS PASO DE UNA APF A APV PASO DE UNA APF A APV PASO DE UNA APV A APF BIBLIOGRAFIA