El presente es un trabajo práctico para la materia Lenguajes Formales, Autómatas y Computabilidad (2C2025) de la Licenciatura en Ciencias de la Computación de la Facultad de Ciencias Exactas y Naturales de la UBA.
En el mismo debiamos realizar una implementación completa de un autómata de pila determinístico (deterministic pushdown automata), junto con un método que construya el complemento del mismo. Todo esto se realizo siguiendo la teoría sobre complementar autómatas de pila determinísticos de la sección 2.5.4. del libro "The Theory of Parsing, Translation and Compiling Volume 1", de los autores Alfred V. Aho & Jeffrey D. Ullman.
Para correr los tests que se encuentran en el repositorio, desde la carpeta /dpda_comp se deben correr el siguiente comando de terminal:
python3 -m unittest tests/test_dpda.py