title: Equivalence and reduction of expansive tree grammars.
abstract: The equivalence of nonterminals of an expansive tree grammar is considered. Algorithms are presented for constructing sets of equivalent nonterminals for an expansive tree grammar, for reducing the grammar, and for determining whether two grammars generate the same language.
authors.affiliation: Department of Electrical Engineering, University of Tennessee, Knoxville, TN 37916.
authors.forename: A
authors.initials: A
authors.lastname: Barrero
authors.forename: R C
authors.initials: RC
authors.lastname: Gonzalez
authors.forename: M G
authors.initials: MG
authors.lastname: Thomason