for (String fromState : reachableStates) {
for (Transition targetTransition : this.getTransitionsFrom(fromState)) {
String toState = targetTransition.getDestination();
String symbol = targetTransition.getLabel();
g.addRule(new Rule(
new Word(new Symbol[] {new Nonterminal(new StringBuffer(fromState))}),
new Word(new Symbol[] {
new Terminal(new StringBuffer(symbol)),
new Nonterminal(new StringBuffer(toState))})));
}