LangToGroup-0.1.0.0
Safe HaskellNone
LanguageHaskell2010

TM2SM

Documentation

createSMs :: [Y] -> [SM] Source #

sigmaFunc :: [State] -> [[Smb]] -> Word Source #

tm2sm :: TM -> (SM, Word, [State]) Source #