User Tools

Site Tools


fordprog:lr1pelda
S' -> S
S -> id | S + id

LR(1) kanonikus halmazok:

R0 = closure([S'→.S,#]) = {[S'→.S,#],[S→.id,#],[S→.S+id,#],[S→.id,+],[S→.S+id,+]}
R1 = read(R0,S) = closure([S'→S.,#],[S→S.+id,#],[S→S.+id,+])={[S'→S.,#],[S→S.+id,#],[S→S.+id,+]}
R2 = read(R0,id) = closure([S→id.,#],[S→id.,+]) = {[S→id.,#],[S→id.,+]}
R3 = read(R1,+) = closure([S→S+.id,#],[S→S+.id,+]) = {[S→S+.id,#],[S→S+.id,+]}
R4 = read(R3,id) = closure([S→S+id.,#],[S→S+id.,+]) = {[S→S+id.,#],[S→S+id.,+]}

fordprog/lr1pelda.txt · Last modified: 2016/04/04 12:58 by deva