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 | ) | ) | # |
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 | ) | ) | # |
logvar
|
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 | ) | ) | # |
metavariable
|
Stack & Word | # | <odd | =prefpar | <logvar | =_{ | <primary | , | #i# | a | } | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
primary
|
Stack & Word | # | <odd | =prefpar | <logvar | =_{ | <factor | , | #i# | a | } | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
factor
|
Stack & Word | # | <odd | =prefpar | <logvar | =_{ | <term | , | #i# | a | } | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
term
|
Stack & Word | # | <odd | =prefpar | <logvar | =_{ | <expression1 | , | #i# | a | } | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
expression1
|
Stack & Word | # | <odd | =prefpar | <logvar | =_{ | <expression | , | #i# | a | } | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
expression
|
Stack & Word | # | <odd | =prefpar | <logvar | =_{ | <index | , | #i# | a | } | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
index
|
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 | ) | ) | # |
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 | ) | ) | # |
metavariable
|
Stack & Word | # | <odd | =prefpar | <logvar | =_{ | <index | =indexkoma | <primary | } | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
primary
|
Stack & Word | # | <odd | =prefpar | <logvar | =_{ | <index | =indexkoma | <factor | } | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
factor
|
Stack & Word | # | <odd | =prefpar | <logvar | =_{ | <index | =indexkoma | <term | } | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
term
|
Stack & Word | # | <odd | =prefpar | <logvar | =_{ | <index | =indexkoma | <expression1 | } | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
expression1
|
Stack & Word | # | <odd | =prefpar | <logvar | =_{ | <index | =indexkoma | <expression | } | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
expression
|
Stack & Word | # | <odd | =prefpar | <logvar | =_{ | <index | =indexkoma | <index | } | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
index
|
Stack & Word | # | <odd | =prefpar | <logvar | =_{ | <index | =indexkoma | =indexes1 | } | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
indexes1
|
Stack & Word | # | <odd | =prefpar | <logvar | =_{ | <indexes1 | } | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
indexes1
|
Stack & Word | # | <odd | =prefpar | <logvar | =_{ | =indexes | } | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
indexes
|
Stack & Word | # | <odd | =prefpar | <logvar | =_{ | =indexes | =} | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
Stack & Word | # | <odd | =prefpar | <literal | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
literal
|
Stack & Word | # | <odd | =prefpar | <logterm | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
logterm
|
Stack & Word | # | <odd | =prefpar | <clause | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
clause
|
Stack & Word | # | <odd | =prefpar | <leftpart | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
leftpart
|
Stack & Word | # | <odd | =prefpar | <formula | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
formula
|
Stack & Word | # | <odd | =prefpar | <bigformula | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
bigformula
|
Stack & Word | # | <odd | =prefpar | =bigformula1 | : | #i# | a | \in | V( | #i# | G | ) | ) | # |
bigformula1
|
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 | ) | ) | # |
metavariable
|
Stack & Word | # | <odd | =prefpar | =bigformula1 | =: | <metavariables1 | \in | V( | #i# | G | ) | ) | # |
metavariables1
|
Stack & Word | # | <odd | =prefpar | =bigformula1 | =: | <metavariables | \in | V( | #i# | G | ) | ) | # |
metavariables
|
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 | ) | ) | # |
graphname
|
Stack & Word | # | <odd | =prefpar | =bigformula1 | =: | <metavariables | =\in | =V( | =graphname1 | ) | ) | # |
graphname1
|
Stack & Word | # | <odd | =prefpar | =bigformula1 | =: | <metavariables | =\in | =V( | =graphname1 | =) | ) | # |
Stack & Word | # | <odd | =prefpar | =bigformula1 | =: | <limit | ) | # |
limit
|
Stack & Word | # | <odd | =prefpar | =bigformula1 | =: | =limits | ) | # |
limits
|
Stack & Word | # | <odd | =prefpar | =bigformula1 | =: | =limits | =) | # |
Stack & Word | # | <bigformula | # |
bigformula
|
Stack & Word | # | <metaformula | # |
metaformula
|
Stack & Word | # | =family | # |
family
|
family
|
i1=x | i2=a | i3=G |