Circular Instance Declarations

Ashley Yakeley ashley@semantic.org
Sun, 07 Sep 2003 21:28:27 -0700


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