Equivalent Regular Expressions

June 27, 2007

The following two Regular Expressions (RE) are equivalent:

b^*(ab)^*aa(a+b)^* = (a+b)^*aa(a+b)^*

Drawing the Non-Deterministic Finite Automata (NFA) makes it easier to ferret out the RE than drawing the “strictly” Deterministic Finite Automata (DFA).

Chad Salinas find an equivalent RE example.

1 Comment | Discrete Structures | Permalink
Posted by Chad Salinas