This project aims to simulate machine models through programming
On this version the program supports:
Machines:
Turing Machine
Languages:
a*b*(a^n)(b^n)(c^n)propositional formulas
Java 7 or later installed
javac -d . **/*.java
java clariceabreu.machinemodels.CreateMachineModel.CreateTuringMachine