diff --git a/aconversions/src/conversions/fa2rg/fa2rg.cpp b/aconversions/src/conversions/fa2rg/fa2rg.cpp index 2451f3845c261103889a2a3230e351e913de01b1..34da8c2a0f71b21c84b8295a016ab4d10cbc3d30 100644 --- a/aconversions/src/conversions/fa2rg/fa2rg.cpp +++ b/aconversions/src/conversions/fa2rg/fa2rg.cpp @@ -44,14 +44,11 @@ RightRegularGrammar FA2RGconvert::convert( const FSM & automaton ) // step 4 if ( isInSet( State( grammar.getStartSymbol().getSymbol() ), automaton.getFinalStates() ) ) { - grammar.addTerminalSymbol( Symbol( "" ) ); //FIXME no need for this! (alib problem) - // 4a if ( ! GrammarUtils::isNonterminalOnRightSide( grammar.getStartSymbol(), grammar.getRules() ) ) { list<Symbol> leftSide, rightSide; leftSide.push_back( grammar.getStartSymbol() ); - rightSide.push_back( Symbol( "" ) ); Rule r( leftSide, rightSide ); grammar.addRule(r); } @@ -74,7 +71,6 @@ RightRegularGrammar FA2RGconvert::convert( const FSM & automaton ) list<Symbol> leftSide, rightSide; leftSide.push_back( newStart ); - rightSide.push_back( Symbol( "" ) ); Rule rr( leftSide, rightSide ); grammar.addRule(rr); }