Converting Finite Automata to Regular Expressions

Transcription

1 Converting Finite Automata to Regular Expressions Alexander Meduna, Lukáš Vrábel, and Petr Zemek Brno University of Technology, Faculty of Information Technology Božetěchova 1/2, Brno, CZ {meduna,ivrabel,izemek} Supported by the FRVŠ MŠMT FR271/2012/G1 grant, Converting Finite Automata to Regular Expressions 1 / 23

2 Outline Introduction Basic terms Why? Methods Transitive Closure Method State Removal Method Brzozowski Algebraic Method Comparison Converting Finite Automata to Regular Expressions 2 / 23

3 Basic Terms Finite automata (NFAs, DFAs) Regular expressions (REGEXPs)... Converting Finite Automata to Regular Expressions 3 / 23

4 Why? Two possible transformations: Regular expression Finite automaton Finite automaton Regular expression Uhm... Why? Converting Finite Automata to Regular Expressions 4 / 23

5 Transitive Closure Method Rather theoretical approach. ab q a 1 q bc 2 q 3 Sketch of the method: 1 Let Q = {q 1, q 2,...,q m} be the set of all automatons states. 2 Suppose that regular expression R ij represents the set of all strings that transition the automaton from q i to q j. 3 Wanted regular expression will be the union of all R sf, where q s is the starting state and q f is one the final states. The main problem is how to construct R ij for all states q i, q j. Converting Finite Automata to Regular Expressions 5 / 23

6 How to construct R ij? Suppose R k ij represents the set of all strings that transition the automaton from q i to q j without passing through any state higher than q k. We can construct R ij by successively constructing R 1 ij, R2 ij,...,r Q ij = R ij. R k ij is recursively defined as: R k ij = R k 1 ij + R k 1 ik (R k 1 kk Assuming we have initialized R 0 ij to be: ) R k 1 kj r if i j and r transitions NFA from q i to q j Rij 0 = r +ε if i = j and r transitions NFA from q i to q j otherwise Converting Finite Automata to Regular Expressions 6 / 23

7 Example (1/5) Transform the following NFA to the corresponding REGEXP using Transitive Closure Method: 1 q 0 1 q 2 0, 1 Converting Finite Automata to Regular Expressions 7 / 23

8 Example (2/5) 1) Initialize R 0 ij : 1 q 0 1 q 2 0, 1 R11 0 ε+1 R R21 0 ε+0+1 R 0 22 Converting Finite Automata to Regular Expressions 8 / 23

9 Example (3/5) 2) Compute R 1 ij : 1 q 0 1 q 2 0, 1 By direct substitution Simplified R11 1 ε+1+(ε+1)(ε+1) (ε+1) 1 R (ε+1)(ε+1) R (ε+1) (ε+1) R22 1 ε+0+1+ (ε+1) 0 ε+0+1 Converting Finite Automata to Regular Expressions 9 / 23

10 Example (4/5) 3) Compute R 2 ij : 1 q 0 1 q 2 0, 1 By direct substitution Simplified R (ε+0+1) 1 R (ε+0+1) (ε+0+1) 1 0(0+1) R21 2 +(ε+0+1)(ε+0+1) R22 2 ε+0+1+(ε+0+1)(ε+0+1) (ε+0+1) (0+1) Converting Finite Automata to Regular Expressions 10 / 23

11 Example (5/5) 4) Get the resulting regular expression: 1 q 0 1 q 2 0, 1 R 2 12 = R 12 = 1 0(0+1) is the REGEXP corresponding to the NFA. Converting Finite Automata to Regular Expressions 11 / 23

12 State Removal Method Based on a transformation from NFA to GNFA (generalized nondeterministic finite automaton). Identifies patterns within the graph and removes states, building up regular expressions along each transition. Sketch of the method: 1 Unify all final states into a single final state using ε-trans. 2 Unify all multi-transitions into a single transition that contains union of inputs. 3 Remove states (and change transitions accordingly) until there is only the starting a the final state. 4 Get the resulting regular expression by direct calculation. The main problem is how to remove states correctly so the accepted language won t be changed. Converting Finite Automata to Regular Expressions 12 / 23

13 Example (1/3) Transform the following NFA to the corresponding REGEXP using State Removal Method: e a q 1 q 2 d b c q 3 Converting Finite Automata to Regular Expressions 13 / 23

14 Example (2/3) 1) Remove the middle state: e a q 1 q 2 d b c q 3 ae d ae b ce b q 1 q 3 ce d Converting Finite Automata to Regular Expressions 14 / 23

15 Example (3/3) 2) Get the resulting regular expression r: ae d q 1 ae b ce d ce b q3 r = (ae d) ae b(ce b+ce d(ae d) ae b). Converting Finite Automata to Regular Expressions 15 / 23

16 Brzozowski Algebraic Method Janusz Brzozowski, 1964 Utilizes equations over regular expressions. Sketch of the method: 1 Create a system of regular equations with one regular expression unknown for each state in the NFA. 2 Solve the system. 3 The regular expression corresponding to the NFA is the regular expression associated with the starting state. The main problem is how to create the system and how to solve it. Converting Finite Automata to Regular Expressions 16 / 23

17 Example (1/5) Transform the following NFA to the corresponding REGEXP using Brzozowski Method: a b q 1 q 2 c b Converting Finite Automata to Regular Expressions 17 / 23

18 Example (2/5) 1) Create a characteristic regular equation for state 1: a b q 1 q 2 c b X 1 = ax 1 + bx 2 Converting Finite Automata to Regular Expressions 18 / 23

19 Example (3/5) 2) Create a characteristic regular equation for state 2: a a q 1 q 2 c b X 2 = ε + bx 1 + cx 2 Converting Finite Automata to Regular Expressions 19 / 23

20 Example (4/5) 4) Solve the arisen system of regular expressions: X 1 = ax 1 + bx 2 X 2 = ε + bx 1 + cx 2 Converting Finite Automata to Regular Expressions 20 / 23

21 Example (5/5) Solution: X 1 = (a + bc b) bc X 2 = c [ε+b(a + bc b) bc ] a b q 1 q 2 c X 1 is the REGEXP corresponding to the NFA. b Converting Finite Automata to Regular Expressions 21 / 23

22 Comparison of presented methods Transitive Closure Method + clear and simple implementation - tedious for manual use - tends to create very long regular expressions State Removal Method + intuitive, useful for manual inspection - not as straightforward to implement as other methods Brzozowski Algebraic Method + elegant + generates reasonably compact regular expressions Converting Finite Automata to Regular Expressions 22 / 23

23 References J. Brzozowski. Derivatives of regular expressions. Journal of the ACM, 11(4): , J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, P. Linz. An introduction to Formal Languages and Automata. Jones and Bartlett Publishers, 3rd edition, C. Neumann. Converting deterministic finite automata to regular expressions. Available on URL: to RegEx.pdf. M. Češka, T. Vojnar, and A. Smrčka. Studijní opora do předmětu teoretická informatika. Available on URL: Converting Finite Automata to Regular Expressions 23 / 23

24 Discussion