toward optimization
bug fixes and refactoring
implementation of JAPE+ FSM (PDA) construction