[
Lists Home |
Date Index |
Thread Index
]
David Tolpin:
> Bob Foster:
> > > Why isn't it done?
> >
> > Good question. It should be. Of course, the notation suggests to most
> > compsci people that recursion will be permitted, i.e., that this is a
> > context-free instead of regular grammar, and that's probably not what
> > you intended.
>
> The technique to detect recursions and stop context-grammars early is
> just concatenate. If there is a recursion, the Scheme interpreter
> will run out of space and the validator will immediately report an error
> in the expression.
Bob,
thank you; after thinking about it again, I've added the explicit check
for recursion, it is cleaner this way. And just two lines of code.
David
|
