Start of FORM5 Interpreter for a Formula
v7.frm at Mon Apr 09 17:15:09 2001
Scanner started
Input program:
# \bigvee_ { a \in V ( G ) } { x _ { a , a + a } } #
Scanned program:
1 7 14 6 125 11 12 3 6 126 5 8 14 6 127 41 14 6 125 15 6 125 42 6 125 8 8 1
Identifiers:a, G, x;
Scanner ended
Parser started
| Stack & Word | # | <•\bigvee_ | { | #i# | a | \in | V | ( | #i# | G | ) | } | { | #i# | x | _ | { | #i# | a | , | #i# | a | + | #i# | a | } | } | # |
| Stack & Word | # | <•\bigvee_ | <•{ | #i# | a | \in | V | ( | #i# | G | ) | } | { | #i# | x | _ | { | #i# | a | , | #i# | a | + | #i# | a | } | } | # |
independent context: {\bigvee_} is only in 1 LC
P=98 `rajasulg' -> {
| Stack & Word | # | <•\bigvee_ | =•rajasulg | #i# | a | \in | V | ( | #i# | G | ) | } | { | #i# | x | _ | { | #i# | a | , | #i# | a | + | #i# | a | } | } | # |
| Stack & Word | # | <•\bigvee_ | =•rajasulg | <•#i# | \in | V | ( | #i# | G | ) | } | { | #i# | x | _ | { | #i# | a | , | #i# | a | + | #i# | a | } | } | # |
independent context: {rajasulg \in}
P=81 `var' -> #i#
| Stack & Word | # | <•\bigvee_ | =•rajasulg | <•var | \in | V | ( | #i# | G | ) | } | { | #i# | x | _ | { | #i# | a | , | #i# | a | + | #i# | a | } | } | # |
dependent context: {rajasulg \in}
P=39 `metamuutujad' -> `var'
| Stack & Word | # | <•\bigvee_ | =•rajasulg | <•metamuutujad | \in | V | ( | #i# | G | ) | } | { | #i# | x | _ | { | #i# | a | , | #i# | a | + | #i# | a | } | } | # |
P=113 `raja7' -> `metamuutujad'
| Stack & Word | # | <•\bigvee_ | =•rajasulg | <•raja7 | \in | V | ( | #i# | G | ) | } | { | #i# | x | _ | { | #i# | a | , | #i# | a | + | #i# | a | } | } | # |
| Stack & Word | # | <•\bigvee_ | =•rajasulg | <•raja7 | =•\in | V | ( | #i# | G | ) | } | { | #i# | x | _ | { | #i# | a | , | #i# | a | + | #i# | a | } | } | # |
| Stack & Word | # | <•\bigvee_ | =•rajasulg | <•raja7 | =•\in | =•V | ( | #i# | G | ) | } | { | #i# | x | _ | { | #i# | a | , | #i# | a | + | #i# | a | } | } | # |
| Stack & Word | # | <•\bigvee_ | =•rajasulg | <•raja7 | =•\in | =•V | <•( | #i# | G | ) | } | { | #i# | x | _ | { | #i# | a | , | #i# | a | + | #i# | a | } | } | # |
independent context: {V} is only in 1 LC
P=102 `grsulg' -> (
| Stack & Word | # | <•\bigvee_ | =•rajasulg | <•raja7 | =•\in | =•V | =•grsulg | #i# | G | ) | } | { | #i# | x | _ | { | #i# | a | , | #i# | a | + | #i# | a | } | } | # |
| Stack & Word | # | <•\bigvee_ | =•rajasulg | <•raja7 | =•\in | =•V | =•grsulg | <•#i# | ) | } | { | #i# | x | _ | { | #i# | a | , | #i# | a | + | #i# | a | } | } | # |
independent context: {grsulg} is only in 1 LC
P=6 `graafinimi' -> #i#
| Stack & Word | # | <•\bigvee_ | =•rajasulg | <•raja7 | =•\in | =•V | =•grsulg | =•graafinimi | ) | } | { | #i# | x | _ | { | #i# | a | , | #i# | a | + | #i# | a | } | } | # |
Base of sentential form: raja7 \in V grsulg graafinimi
ReadHash ended - the base of sentential form is not the right side of any production