Solve: PHP Fatal error: Uncaught Error: Class "AutomataTest" not found
This class belongs to the vendor Rbdwllr and the package Automata