-- LR1ItemSets.mesa
-- last edit August 25, 1984 1:45:59 pm PDT
DIRECTORY
GrammarBasic USING[Symbol, Grammar, Production],
TerminalSequences USING[TerminalSeq],
LR1ItemSetsBasic USING[LR1ItemSet, LR1ItemSubset];
LR1ItemSets: CEDAR DEFINITIONS =
BEGIN OPEN GrammarBasic, TerminalSequences, LR1ItemSetsBasic;
GenReductionRulesFromKernel: PROC[LR1ItemSet, PROC[TerminalSeq, Production]];
-- there will be repetitions (of empty right side rules only?).
CreateV1EpsilonKernel: PROC[Grammar] RETURNS[LR1ItemSet];
InsertV1EpsilonKernelItems: PROC[Grammar, LR1ItemSet];
GenKernelGoTo1ItemSubsetsFromDirtyKernelItems: PROC[LR1ItemSet, PROC[Symbol, LR1ItemSubset]];
GenKernelGoTo1ItemSubsetsFromKernel: PROC[LR1ItemSet, PROC[Symbol, LR1ItemSubset]];
END..