Ejemplo n.º 1
0
 public function __construct()
 {
     self::$automata = new Automata("Automata");
 }