In article <Pine.GSO.4.44.0309072012230.3951-100000@blinky>, Brandon Michael Moore <brandon@its.caltech.edu> wrote: > Detecting circularity in a derivation is equivalent to accepting a regular > infinite derivation for instances. Would you have a use for irregular > derivations? Could you give me an example? -- Ashley Yakeley, Seattle WA