How to convert a regular grammar to regular expression?

Question

是否有将正则语法转换为正则表达式的算法或工具？

Answer 1

Answer from dalibocai :

My goal is to convert regular grammer to DFA. Finally, I found an excellent tool : JFLAP .

Answer 2

The algorithm is pretty straightforward if you can compute an automaton from your regular expression. Once you have your automaton. For instance for (aa*b|c) , an automaton would be (arrows go to the right):

          a
         / \
      a  \ / b
-> 0 ---> 1 ---> 2 ->
    \___________/
          c

Then just "enumerate" your transitions as rules. Below, consider that 0, 1, and 2 are nonterminal symbols, and of course a, b and c are the tokens.

0: a1 | c2
1: a1 | b2
2: epsilon

or, if you don't want empty right-hand sides.

0: a1 | c
1: a1 | b

And of course, the route in the other direction provides one means to convert a regular grammar into an automaton, hence a rational expression.

Answer 3

From a theoretical point of view, an algorithm to solve this problem works by creating a regular expression from each rule in the grammar, and solving the resulting system of equations for the initial symbol.

For example, for regular grammar ({S,A},{a,b,c},P,S) :

P:
   S -> aA | cS | a  | c
   A -> aA | a  | bS

1. Take each non-termimal symbol and generate regular expression from right hand:

    S = aA + cS + a + c A = aA + bS + c

2. Solve equation system for initial symbol S :

    A = a(aA + bS + c) + bS + c A = a⁺bS + a⁺c + bS + c S = aA + c(aA + cS + a + c) S = aA + c⁺aA + c⁺a + c⁺ S = a(a⁺bS + a⁺c + bS + c) + c⁺a(a⁺bS + a⁺c + bS + c) + c⁺a + c⁺ S = a⁺bS + a⁺c + c⁺a⁺bS + c⁺a⁺c + c⁺a + c⁺ S = (c⁺ + ε)a⁺bS + a⁺c + c⁺(a⁺c + a + ε) substitution: x = (c⁺ + ε)a⁺b S = x(xS + a⁺c + c⁺(a⁺c + a + ε)) + a⁺c + c⁺(a⁺c + a + ε) S = x⁺a⁺c + x⁺c⁺(a⁺c + a + ε) + a⁺c + c⁺(a⁺c + a + ε) S = x*(a⁺c + c⁺(a⁺c + a + ε)) S = ((c⁺ + ε)a⁺b)*(⁺a⁺c + c⁺(a⁺c + a + ε))

Because all modifications were equivalent, ((c⁺ + ε)a⁺b)*(⁺a⁺c + c⁺(a⁺c + a + ε)) is a regular expression equivalent to all words which can be produced from the initial symbol. Thus the value of this expression must be equivalent to the language generated by the grammar whose initial symbol is S.

It ain't pretty , but i purposefully picked a grammar including cycles to portray the way the algorithm works. The hardest part is recognizing that S = xS | x S = xS | x is equivalent to S = x⁺ , then just doing the substitutions.

Answer 4

I'll leave this as an answer to this old question, in case that anybody finds it useful:

I have recently released a library for exactly that purpose:

https://github.com/rindPHI/grammar2regex

You can precisely convert regular grammars, but also compute approximate regular expressions for more general general context-free grammars. The output format can be configured to be a custom ADT type or the regular expression format of the z3 SMT solver (z3.ReRef).

Internally, the tool converts grammars to finite automata. If you're interested in the automaton itself, you can call the method right_linear_grammar_to_nfa .