Added correct , _ExternalToInternal and _DeltaToState functions
modified:   Sysctrl/TODO.org
modified:   Sysctrl/src/Data/Sysctrl/Types.hs

Added function to check correctness of an automata (Correct)
modified:   Sysctrl/src/Data/Sysctrl/Types/Internal/Automata.hs

added conversion function between Internal an external automata (_ExternalToInternal, _DeltaToState )
modified:   Sysctrl/src/Sysctrl/Util.hs