Description

Ocaml-Talf:
• Descargar e instalar la librería Ocaml-Talf del Moodle de la asignatura.
• Revisar la documentación y guía de Usuario de la librería.
• Revisar los ejemplos proporcionados.
Ejercicio:
1. Implemente una función ap_of_gic : Auto.gic -> Auto.ap que reciba como argumento una gramática independiente del contexto, y que devuelva el autómata de pila correspondiente a dicha gramática.
2. Sobre un autómata de pila resultante y ante una cadena de entrada, implementar una función para que además proporcione el conjunto de reglas activadas al procesar dicha cadena.