mmakowski

{- requires -XArrows -}
module Automata where

import Prelude hiding (id, (.))
import Control.Category
import Control.Arrow
import qualified Data.Map as M
import Data.List (sort)

data Automaton b c = Automaton (b -> (c, Automaton b c))