On Predicting the Grammar of a Normal-Form

Alan Bundy, Predrag Janicic, Alan Smaill

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationPCC - Proof, Computation, Complexity International workshop 2004
Number of pages22
Publication statusPublished - 2005


Dive into the research topics of 'On Predicting the Grammar of a Normal-Form'. Together they form a unique fingerprint.

Cite this