LatexConverter does not consider generates epsilon flag
Consider this automaton
DFA a b
><0 0 0
convert it to right rg
(RightRG nonterminalAlphabet = {0} terminalAlphabet = {a, b} initialSymbol = 0 rules = {(0, {a, b, (a, 0), (b, 0)})} generatesEpsilon = 1)
new initial symbol should appear (and it appears in string::compose)
RIGHT_RG (
{0, 0'},
{a, b},
{ 0 -> a | a 0 | b | b 0,
0' -> | a | a 0 | b | b 0},
0')
but not in LatexConverter
$$G = (\{0\}, \{a, b\}, P, 0)$$ \\
\begin{array}{l}
P = \{\\
0 \rightarrow \varepsilon \mid a \mid a 0 \mid b \mid b 0 , \\
\}
\end{array}
Edited by Tomáš Pecka