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

Open

Documents

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

Abstract

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.

ID: 24274181