-- 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..