Scopul nostru este sprijinirea şi promovarea cercetării ştiinţifice şi facilitarea comunicării între cercetătorii români din întreaga lume.
Domenii publicaţii > Ştiinţe informatice + Tipuri publicaţii > Articol în revistã ştiinţificã
Autori: Gabriel Istrate
Editorial: Information Processing Letters, 62(4), p. 171-176, 1997.
Rezumat:
We define a version of structural equivalence of ET0L grammars, called strong equivalence, that takes into account their matrix structure, and prove its decidability.
Cuvinte cheie: structural complexity, ET0L grammars