Skip to content

Commit c8507bd

Browse files
committed
2 parents c89b9a5 + 73afec1 commit c8507bd

File tree

2 files changed

+240
-130
lines changed

2 files changed

+240
-130
lines changed

AV/PIExample/RegularGrammars/LeftLinearGrammarFF.js

Lines changed: 19 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -132,47 +132,45 @@ $(document).ready(function() {
132132
//frame 24
133133
grammerMatrix.modifyProduction(3,0,"$F$");
134134
grammerMatrix.modifyProduction(3,2,"$bA$")
135+
av.umsg(Frames.addQuestion("q24"))
136+
av.step();
137+
138+
//frame 25
135139
av.umsg("By reversing each production in the resulting Right Linear grammar, we will get the the Left Linear grammar for the reverse of $L^R$. So, we have the Left Linear grammar for $(L^R)^R = L$.");
136140
av.step();
137141

138-
av.umsg("Reversing $S\\rightarrow aS$ will give $S\\rightarrow Sa$");
142+
//frame 26
143+
av.umsg(Frames.addQuestion("q26"));
139144
grammerMatrix.highlight(0);
140145
av.step();
141-
//frame 25
142-
av.umsg("Reversing $S\\rightarrow aS$ will give $S\\rightarrow Sa$");
143-
grammerMatrix.modifyProduction(0,2,"$Sa$")
144-
av.step();
145-
//frame 26
146-
av.umsg("Reversing $A\\rightarrow bA$ will give $A\\rightarrow Ab$");
146+
147+
//frame 27
148+
av.umsg(Frames.addQuestion("q27"));
149+
grammerMatrix.modifyProduction(0,2,"$Sa$");
147150
grammerMatrix.unhighlight(0);
148151
grammerMatrix.highlight(1);
149152
av.step();
150-
//frame 27
151-
av.umsg("Reversing $A\\rightarrow bA$ will give $A\\rightarrow Ab$");
152-
grammerMatrix.modifyProduction(1,2,"$Ab$")
153-
av.step();
153+
154154
//frame 28
155-
av.umsg("Reversing $A\\rightarrow cS$ will give $A\\rightarrow Sc$");
155+
av.umsg(Frames.addQuestion("q28"));
156+
grammerMatrix.modifyProduction(1,2,"$Ab$")
156157
grammerMatrix.unhighlight(1);
157158
grammerMatrix.highlight(2);
158159
av.step();
160+
159161
//frame 29
160-
av.umsg("Reversing $A\\rightarrow cS$ will give $S\\rightarrow Sc$");
162+
av.umsg(Frames.addQuestion("q29"));
161163
grammerMatrix.modifyProduction(2,2,"$Sc$")
162-
av.step();
163-
//frame 30
164-
av.umsg("Reversing $F\\rightarrow bA$ will give $F\\rightarrow Ab$");
165164
grammerMatrix.unhighlight(2);
166165
grammerMatrix.highlight(3);
167166
av.step();
168-
//frame 31
169-
av.umsg("Reversing $F\\rightarrow bA$ will give $F\\rightarrow Ab$");
167+
//frame 30
168+
av.umsg(Frames.addQuestion("q30"));
170169
grammerMatrix.modifyProduction(3,2,"$Ab$")
171170
av.step();
172-
//frame 32
173-
av.umsg("The resulting Grammar is the Left Linear Grammar for the original Right Linear Grammar.")
171+
//frame 31
172+
av.umsg("Exactly. The resulting Grammar is the Left Linear Grammar for the original Right Linear Grammar.")
174173
grammerMatrix.unhighlight(3);
175174
GToFAConverter.grammerMatrix.show();
176175
av.recorded();
177-
178176
});

0 commit comments

Comments
 (0)