Start of FORM5 Interpreter for a Formula
v4.frm at Mon Apr 09 17:16:21 2001
Scanner started
Input program:
# \bigwedge_ { a , b \in B^ { n } ; a \prec^+ b } { _ { a } \to _ { b } } #
Scanned program:
1 9 14 6 125 15 6 126 11 16 14 6 127 8 10 6 125 19 6 126 8 14 6 -128 41 14 6 125 8 26 6 -128 41 14 6 126 8 8 1
Identifiers:a, b, n, x;
Scanner ended
Parser started
| Stack & Word | # | <•\bigwedge_ | { | #i# | a | , | #i# | b | \in | B^ | { | #i# | n | } | ; | #i# | a | \prec^+ | #i# | b | } | { | #i# | | _ | { | #i# | a | } | \to | #i# | | _ | { | #i# | b | } | } | # |
| Stack & Word | # | <•\bigwedge_ | <•{ | #i# | a | , | #i# | b | \in | B^ | { | #i# | n | } | ; | #i# | a | \prec^+ | #i# | b | } | { | #i# | | _ | { | #i# | a | } | \to | #i# | | _ | { | #i# | b | } | } | # |
independent context: {\bigwedge_} is only in 1 LC
P=98 `rajasulg' -> {
| Stack & Word | # | <•\bigwedge_ | =•rajasulg | #i# | a | , | #i# | b | \in | B^ | { | #i# | n | } | ; | #i# | a | \prec^+ | #i# | b | } | { | #i# | | _ | { | #i# | a | } | \to | #i# | | _ | { | #i# | b | } | } | # |
| Stack & Word | # | <•\bigwedge_ | =•rajasulg | <•#i# | , | #i# | b | \in | B^ | { | #i# | n | } | ; | #i# | a | \prec^+ | #i# | b | } | { | #i# | | _ | { | #i# | a | } | \to | #i# | | _ | { | #i# | b | } | } | # |
independent context: {rajasulg ,}
P=6 `graafinimi' -> #i#
| Stack & Word | # | <•\bigwedge_ | =•rajasulg | graafinimi | , | #i# | b | \in | B^ | { | #i# | n | } | ; | #i# | a | \prec^+ | #i# | b | } | { | #i# | | _ | { | #i# | a | } | \to | #i# | | _ | { | #i# | b | } | } | # |
Base of sentential form: \bigwedge_ rajasulg graafinimi
ReadHash ended - the base of sentential form is not the right side of any production