HaLeX-1.2.5: HaLeX enables modelling, manipulation and visualization of regular languages
Language.HaLex.Examples.Robot
ex :: Dfa [Char] [Char] Source #
moves :: [[Char]] Source #
moves2 :: [[Char]] Source #
moves3 :: [[Char]] Source #
moves4 :: [[Char]] Source #
g :: IO () Source #
robotM :: Dfa Maybe [Char] [Char] Source #
acc :: Maybe Bool Source #
robotM2 :: Dfa IO [Char] [Char] Source #
acc2 :: IO Bool Source #
exShow :: IO () Source #