Language.HaLex.Examples.Real

sinal''

d

re_int

intdfa

d'

re_real

re_real'

cre_real

realdfa'

realdfa''

realdfa'''

realdfa''''

genGraph

realdfa

delta_realdfa

isreal

realndfa

deltaNdfa

isrealNdfa