Technical Report CS0340

TR#:CS0340
Class:CS
Title: Fairness in Context-Free Grammars under Canonical Derivations
Authors: S. Porat and N. Francez
PDFCS0340.pdf
Abstract: In [PFMZ 62] the notion of Fair derivations in context free grammars was introduced and studied. The main result there is a characterization of fairly terminating grammars as non-variable·doubling. In this paper we show that the same characterization is valid under canonical derivations in which the. next variable to be expanded is deterministically chosen, leaving nondeterrninism only to the decision as to which rule to apply. Two families of canonical derivations are introduced and studied: 1) Spinal derivations and 2) Layered derivations.
CopyrightThe above paper is copyright by the Technion, Author(s), or others. Please contact the author(s) for more information

Remark: Any link to this technical report should be to this page (http://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-info.cgi/1984/CS/CS0340), rather than to the URL of the PDF files directly. The latter URLs may change without notice.

To the list of the CS technical reports of 1984
To the main CS technical reports page

Computer science department, Technion
admin