TY - GEN
T1 - On Predicting the Grammar of a Normal-Form
AU - Bundy,Alan
AU - Janicic,Predrag
AU - Smaill,Alan
PY - 2005
Y1 - 2005
N2 - We introduce the problem of predicting the formal grammar
of the normal-form that is generated from a class of expressions by ex-
haustive application of a set of rewrite rules. We describe and implement
a sound but incomplete procedure for solving this problem and report
on its theoretical and experimental properties.
AB - We introduce the problem of predicting the formal grammar
of the normal-form that is generated from a class of expressions by ex-
haustive application of a set of rewrite rules. We describe and implement
a sound but incomplete procedure for solving this problem and report
on its theoretical and experimental properties.
M3 - Conference contribution
BT - PCC - Proof, Computation, Complexity International workshop 2004
ER -