The strong equivalence of ET0L grammars
✍
Gabriel Istrate
📂
Article
📅
1997
🏛
Elsevier Science
🌐
English
⚖ 444 KB
We define a version of structural equivalence of ETOL grammars, called strong equivalence, that takes into account their matrix structure, and prove its decidability. @ 1997 Elsevier Science B.V.