Documentation

calculateMaxNumberOfRulesForNonterminal :: Grammar -> Int Source #

calculateGroupRelationsByNonterminals :: [Relation] -> Map Nonterminal [[Conj]] Source #

calculateNextConjunctionInSameRule :: Grammar -> SymbolsPair -> Maybe SymbolsPair Source #

calculateFirstConjunctionInNextRule :: Grammar -> SymbolsPair -> Maybe SymbolsPair Source #

getFstConjInKthRel :: Grammar -> String -> String -> SymbolsPair Source #

getLongRels :: [Relation] -> [Relation] Source #

getShortRightParts :: Nonterminal -> [[Conj]] -> [String] Source #

getNumbersOfShortRelations :: Grammar -> Map Nonterminal [String] Source #

getFstNonterminalsInConjsOfGivenRel :: Grammar -> String -> String -> [String] Source #

getSndNonterminalsInConjsOfGivenRel :: Grammar -> String -> String -> String -> [String] Source #

calculateTriplets :: Grammar -> String -> [String] -> [(String, String, String)] Source #

calculateQuads' :: Grammar -> [([Char], [Char], [Char])] -> [(String, String, String, [String])] Source #

calculateQuads :: Grammar -> String -> [String] -> [(String, String, String, String)] Source #

calculateAllQuads :: Grammar -> [(String, String, String, String)] Source #

checkIfConjHasNeg :: Grammar -> (String, String, String, String) -> Bool Source #

kthRelForNonterminalLong :: [Relation] -> String -> String -> Bool Source #

relationHasOneTerminalInRightPart :: Relation -> Bool Source #

symbolAcceptedByNonterminal :: Grammar -> String -> String -> Bool Source #

refineSymbolInConjunctionToNonterminal :: Symbol -> String Source #

addCollectionToMap :: Ord k => [(k, a)] -> Map k a -> Map k a Source #

refineSymbolToTerminalValue :: Symbol -> String Source #

constructSymbolsPairByQuad :: (String, String, String, String) -> Bool -> SymbolsPair Source #

convertListToConjunctionPair :: Nonterminal -> Int -> Conj -> SymbolsPair Source #

getShiftsDecrements :: Int -> String -> [(String, String)] Source #