some changes for Qt5 and small enhancements
Adding new files

Add the existing automata decriptions.