Edinburgh Research Explorer

On Predicting the Grammar of a Normal-Form

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

Related Edinburgh Organisations

Open Access permissions



Original languageEnglish
Title of host publicationPCC - Proof, Computation, Complexity International workshop 2004
Number of pages22
Publication statusPublished - 2005


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.

Download statistics

No data available

ID: 24274181