AutomatonBuilder, javadoc updated
IntersectionAutomaton, firstDFS and secondDFS changed from public to
protected
Transitions fields modified to final
Fields of the State and the Intersection state changed to final
Tests of the method getS added
Brzozosky method updated
Constraint updated
Test Brzozowsky method updated with the constraint
emptiness procedure updated
Test on the model checked added
Brzozosky modified
System.out removed
Brzozosky modified semplification added
Brzozosky modified