Nissim Francez, Brent Hailpern, et al.
Science of Computer Programming
This paper connects between notions of pure formal language theory and nondeterministic programming. The notion of a fair derivation in a context-free grammar is defined, whereby for every variable appearing infinitely often in sentential forms of an infinite derivation, each of its rules is used infinitely often. A context-free language is fairly generated if it has a grammar all of whose fair derivations are finite. It is proved that a context-free grammar is fairly terminating iff it is non-expansive. © 1982 Academic Press, Inc.
Nissim Francez, Brent Hailpern, et al.
Science of Computer Programming
Tzilla Elrad, Nissim Francez
Theoretical Computer Science
Inbal Ronen, Nurit Dor, et al.
CASCON 2006
Alok Aggarwal, Maria M. Klawe, et al.
Algorithmica