RHPDA internal form

aconvert2/src/DotConverter.cpp

aconvert2/src/DotConverter.h

aconvert2/src/GasTexConverter.cpp

aconvert2/src/GasTexConverter.h

alib2algo/src/automaton/EpsilonClosure.cpp

alib2algo/src/automaton/EpsilonClosure.h

alib2algo/src/automaton/FSMSingleInitialState.cpp

alib2algo/src/automaton/FSMSingleInitialState.h

alib2algo/src/automaton/FSMTotal.cpp

alib2algo/src/automaton/FSMTotal.h

...o/src/conversions/fa2re/formal/StateEliminationFormal.cpp

...lgo/src/conversions/fa2re/formal/StateEliminationFormal.h

...conversions/fa2re/unbounded/StateEliminationUnbounded.cpp

...c/conversions/fa2re/unbounded/StateEliminationUnbounded.h

alib2algo/src/conversions/fa2rg/fa2lrg/FAtoLRGConverter.cpp

alib2algo/src/conversions/fa2rg/fa2lrg/FAtoLRGConverter.h

alib2algo/src/conversions/fa2rg/fa2rrg/FAtoRRGConverter.cpp

alib2algo/src/conversions/fa2rg/fa2rrg/FAtoRRGConverter.h

alib2algo/src/determinize/vpa/VPADeterminizer.cpp

alib2algo/src/epsilon/fsm/FSMEpsilonRemover.cpp