Documentation

R+ is shorthand for RR*.

>>> plus (Single 'a')
(a(a*))

R^k is shorthand for the concatenation of k R's with each other.

>>> Single '0' `Regexp_.exp` 3
(0(00))

Convert a DNA into a regexp.

>>> fromDFA DFA.dOddOnes -- note the extra '∪ε' at the end, to be simplified
(((1(((1∪0)1)*))((1∪0)∪ε))∪ε)

Convert an NFA into a regexp.

>>> fromNFA NFA.nOddOnes
(((1(((1∪0)1)*))((1∪0)∪ε))∪ε)