From 35b13678beb781d5fb46d39c385bf86e4bd1ffa2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Pecka?= <tomaspecka@gmail.com>
Date: Sun, 15 Dec 2013 16:30:00 +0100
Subject: [PATCH] Fix generation of epsilon rules.
---
aconversions/src/conversions/fa2rg/fa2rg.cpp | 4 ----
1 file changed, 4 deletions(-)
diff --git a/aconversions/src/conversions/fa2rg/fa2rg.cpp b/aconversions/src/conversions/fa2rg/fa2rg.cpp
index 2451f3845c..34da8c2a0f 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);
}
--
GitLab