This project implements a simulator for Pushdown Automata (PDA) using C++. It allows users to define a PDA through a configuration file and test whether specific strings are accepted by the automaton.
The simulator was developed as part of a university course called Computational Complexity.
To execute the simulator, use the following format:
./main [automaton_definition_file] [input_strings_file (optional)]Example:
./main automata/APv.txt data/strings.txtautomata/APv.txt: Contains the PDA definition.data/strings.txt: Contains strings to be tested against the PDA (optional).
Disclaimer: This project was developed during my university studies and reflects my knowledge at that time. The code may not follow modern best practices.
Ángel Tornero Hernández 📧 angeltornerohdez@gmail.com
Project Link: https://github.com/Angel-Tornero/pushdown-automaton-cpp