Documentation

checkRule :: Word -> SRule -> Bool Source #

getApplicableRules :: [SRule] -> [Word] -> [[SRule]] Source #

reduceY :: [Smb] -> [Smb] Source #

replaceSublist :: [Smb] -> (Word, Word) -> [Smb] Source #

applyRule :: Word -> SRule -> Word Source #

applyRules :: [Word] -> [SRule] -> Map Word Int -> [[Word]] -> ([[Word]], Map Word Int) Source #

applyRuless :: [[Word]] -> [[SRule]] -> Map Word Int -> [[Word]] -> ([[Word]], Map Word Int) Source #

getFront :: [[Word]] -> [Word] Source #

startInterpreting :: Word -> [[Word]] -> [SRule] -> Map Word Int -> ([Word], Map Word Int) Source #

interpretSM :: Word -> SM -> Word -> [Word] Source #

getRestrictedGraph :: Word -> SM -> Int -> (Gr Word Int, Map Word Int) Source #