THE STRONG EQUIVALENCE OF ETOL GRAMMARS

Authors
ISTRATE G
Citation
G. Istrate, THE STRONG EQUIVALENCE OF ETOL GRAMMARS, Information processing letters, 62(4), 1997, pp. 171-176
Citations number
8
Categorie Soggetti
Information Science & Library Science","Computer Science Information Systems
Journal title
Information processing letters → ACNP
ISSN journal
00200190
Volume
62
Issue
4
Year of publication
1997
Pages
171 - 176
Database
ISI
SICI code
0020-0190(1997)62:4<171:TSEOEG>2.0.ZU;2-2
Abstract
We define a version of structural equivalence of ETOL grammars, called strong equivalence, that takes into account their matrix structure, a nd prove its decidability. (C) 1997 Elsevier Science B.V.