Parser

Start of form8 Parser for a Formula v5.frm at Wed Jun 18 11:37:09 2003

Scanner started
Input program:
# odd ( x _{ a , a } : a \in V( G ) ) #
Scanned program:
1 12 3 8 127 57 8 128 58 8 128 29 13 8 128 23 24 8 129 5 5 1

Identifiers:x, a, G;
Scanner ended
Parser started

Stack & Word # <•odd ( #i# x _{ #i# a , #i# a } : #i# a \in V( #i# G ) ) #

Stack & Word # <•odd <•( #i# x _{ #i# a , #i# a } : #i# a \in V( #i# G ) ) #

Stack & Word # <•odd =•prefpar #i# x _{ #i# a , #i# a } : #i# a \in V( #i# G ) ) #
Parsing tree
prefpar
(

Stack & Word # <•odd =•prefpar <•#i# _{ #i# a , #i# a } : #i# a \in V( #i# G ) ) #

Stack & Word # <•odd =•prefpar <•logvar _{ #i# a , #i# a } : #i# a \in V( #i# G ) ) #
Parsing tree
logvar
x

Stack & Word # <•odd =•prefpar <•logvar =•_{ #i# a , #i# a } : #i# a \in V( #i# G ) ) #

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•#i# , #i# a } : #i# a \in V( #i# G ) ) #

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•metavariable , #i# a } : #i# a \in V( #i# G ) ) #
Parsing tree
metavariable
a

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•primary , #i# a } : #i# a \in V( #i# G ) ) #
Parsing tree
primary
metavariable
a

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•factor , #i# a } : #i# a \in V( #i# G ) ) #
Parsing tree
factor
primary
metavariable
a

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•term , #i# a } : #i# a \in V( #i# G ) ) #
Parsing tree
term
factor
primary
metavariable
a

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•expression1 , #i# a } : #i# a \in V( #i# G ) ) #
Parsing tree
expression1
term
factor
primary
metavariable
a

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•expression , #i# a } : #i# a \in V( #i# G ) ) #
Parsing tree
expression
expression1
term
factor
primary
metavariable
a

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•index , #i# a } : #i# a \in V( #i# G ) ) #
Parsing tree
index
expression
expression1
term
factor
primary
metavariable
a

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•index <•, #i# a } : #i# a \in V( #i# G ) ) #

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•index =•indexkoma #i# a } : #i# a \in V( #i# G ) ) #
Parsing tree
indexkoma
,

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•index =•indexkoma <•#i# } : #i# a \in V( #i# G ) ) #

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•index =•indexkoma <•metavariable } : #i# a \in V( #i# G ) ) #
Parsing tree
metavariable
a

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•index =•indexkoma <•primary } : #i# a \in V( #i# G ) ) #
Parsing tree
primary
metavariable
a

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•index =•indexkoma <•factor } : #i# a \in V( #i# G ) ) #
Parsing tree
factor
primary
metavariable
a

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•index =•indexkoma <•term } : #i# a \in V( #i# G ) ) #
Parsing tree
term
factor
primary
metavariable
a

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•index =•indexkoma <•expression1 } : #i# a \in V( #i# G ) ) #
Parsing tree
expression1
term
factor
primary
metavariable
a

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•index =•indexkoma <•expression } : #i# a \in V( #i# G ) ) #
Parsing tree
expression
expression1
term
factor
primary
metavariable
a

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•index =•indexkoma <•index } : #i# a \in V( #i# G ) ) #
Parsing tree
index
expression
expression1
term
factor
primary
metavariable
a

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•index =•indexkoma =•indexes1 } : #i# a \in V( #i# G ) ) #
Parsing tree
indexes1
index
expression
expression1
term
factor
primary
metavariable
a

Stack & Word # <•odd =•prefpar <•logvar =•_{ <•indexes1 } : #i# a \in V( #i# G ) ) #
Parsing tree
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
indexkoma
,
indexes1
index
expression
expression1
term
factor
primary
metavariable
a

Stack & Word # <•odd =•prefpar <•logvar =•_{ =•indexes } : #i# a \in V( #i# G ) ) #
Parsing tree
indexes
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
indexkoma
,
indexes1
index
expression
expression1
term
factor
primary
metavariable
a

Stack & Word # <•odd =•prefpar <•logvar =•_{ =•indexes =•} : #i# a \in V( #i# G ) ) #

Stack & Word # <•odd =•prefpar <•literal : #i# a \in V( #i# G ) ) #
Parsing tree
literal
logvar
x
_{ indexes
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
indexkoma
,
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
}

Stack & Word # <•odd =•prefpar <•logterm : #i# a \in V( #i# G ) ) #
Parsing tree
logterm
literal
logvar
x
_{ indexes
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
indexkoma
,
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
}

Stack & Word # <•odd =•prefpar <•clause : #i# a \in V( #i# G ) ) #
Parsing tree
clause
logterm
literal
logvar
x
_{ indexes
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
indexkoma
,
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
}

Stack & Word # <•odd =•prefpar <•leftpart : #i# a \in V( #i# G ) ) #
Parsing tree
leftpart
clause
logterm
literal
logvar
x
_{ indexes
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
indexkoma
,
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
}

Stack & Word # <•odd =•prefpar <•formula : #i# a \in V( #i# G ) ) #
Parsing tree
formula
leftpart
clause
logterm
literal
logvar
x
_{ indexes
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
indexkoma
,
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
}

Stack & Word # <•odd =•prefpar <•bigformula : #i# a \in V( #i# G ) ) #
Parsing tree
bigformula
formula
leftpart
clause
logterm
literal
logvar
x
_{ indexes
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
indexkoma
,
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
}

Stack & Word # <•odd =•prefpar =•bigformula1 : #i# a \in V( #i# G ) ) #
Parsing tree
bigformula1
bigformula
formula
leftpart
clause
logterm
literal
logvar
x
_{ indexes
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
indexkoma
,
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
}

Stack & Word # <•odd =•prefpar =•bigformula1 =•: #i# a \in V( #i# G ) ) #

Stack & Word # <•odd =•prefpar =•bigformula1 =•: <•#i# \in V( #i# G ) ) #

Stack & Word # <•odd =•prefpar =•bigformula1 =•: <•metavariable \in V( #i# G ) ) #
Parsing tree
metavariable
a

Stack & Word # <•odd =•prefpar =•bigformula1 =•: <•metavariables1 \in V( #i# G ) ) #
Parsing tree
metavariables1
metavariable
a

Stack & Word # <•odd =•prefpar =•bigformula1 =•: <•metavariables \in V( #i# G ) ) #
Parsing tree
metavariables
metavariables1
metavariable
a

Stack & Word # <•odd =•prefpar =•bigformula1 =•: <•metavariables =•\in V( #i# G ) ) #

Stack & Word # <•odd =•prefpar =•bigformula1 =•: <•metavariables =•\in =•V( #i# G ) ) #

Stack & Word # <•odd =•prefpar =•bigformula1 =•: <•metavariables =•\in =•V( <•#i# ) ) #

Stack & Word # <•odd =•prefpar =•bigformula1 =•: <•metavariables =•\in =•V( <•graphname ) ) #
Parsing tree
graphname
G

Stack & Word # <•odd =•prefpar =•bigformula1 =•: <•metavariables =•\in =•V( =•graphname1 ) ) #
Parsing tree
graphname1
graphname
G

Stack & Word # <•odd =•prefpar =•bigformula1 =•: <•metavariables =•\in =•V( =•graphname1 =•) ) #

Stack & Word # <•odd =•prefpar =•bigformula1 =•: <•limit ) #
Parsing tree
limit
metavariables
metavariables1
metavariable
a
\in V( graphname1
graphname
G
)

Stack & Word # <•odd =•prefpar =•bigformula1 =•: =•limits ) #
Parsing tree
limits
limit
metavariables
metavariables1
metavariable
a
\in V( graphname1
graphname
G
)

Stack & Word # <•odd =•prefpar =•bigformula1 =•: =•limits =•) #

Stack & Word # <•bigformula #
Parsing tree
bigformula
odd prefpar
(
bigformula1
bigformula
formula
leftpart
clause
logterm
literal
logvar
x
_{ indexes
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
indexkoma
,
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
}
: limits
limit
metavariables
metavariables1
metavariable
a
\in V( graphname1
graphname
G
)
)

Stack & Word # <•metaformula #
Parsing tree
metaformula
bigformula
odd prefpar
(
bigformula1
bigformula
formula
leftpart
clause
logterm
literal
logvar
x
_{ indexes
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
indexkoma
,
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
}
: limits
limit
metavariables
metavariables1
metavariable
a
\in V( graphname1
graphname
G
)
)

Stack & Word # =•family #
Parsing tree
family
metaformula
bigformula
odd prefpar
(
bigformula1
bigformula
formula
leftpart
clause
logterm
literal
logvar
x
_{ indexes
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
indexkoma
,
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
}
: limits
limit
metavariables
metavariables1
metavariable
a
\in V( graphname1
graphname
G
)
)

the parsing is completed
Parsing tree
family
metaformula
bigformula
odd prefpar
(
bigformula1
bigformula
formula
leftpart
clause
logterm
literal
logvar
x
_{ indexes
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
indexkoma
,
indexes1
index
expression
expression1
term
factor
primary
metavariable
a
}
: limits
limit
metavariables
metavariables1
metavariable
a
\in V( graphname1
graphname
G
)
)
Table of identifiers
i1=x i2=a i3=G

Result tables

File Size
v5.prm 28
v5.t 2620
v5.it 12
v5.kt 0
v5.pt 1872
Parser ended at Wed Jun 18 11:37:09 2003