Vol. 8 No. 2 (1987)

Regular articles

• On metric equivalence of vi-products

  Ferenc Gécseg, Balázs Imreh

  129-134

  • PDF

• EBE: a language for specifying the expected behavior of programs during debugging

  Huu Chien Nguyen

  177-190

  • PDF

• An infinite hierarchy of tree transformations in the class NDR

  Sándor Vágvölgyi, Zoltán Fülöp

  153-168

  • PDF

• A finite axiomatization of flowchart schemes

  Miklós Bartha

  203-217

  • PDF

• On αi-product of tree automata

  Ferenc Gécseg, Balázs Imreh

  135-141

  • PDF

• Some remarks on the algorithm of Lucchesi and Osborn

  Ho Thuan

  191-193

  • PDF

• On isomorphic realization of automata with α0-products

  Zoltán Ésik

  119-127

  • PDF

• Evaluated grammars

  Alexander Meduna

  169-176

  • PDF

• O veroâtnostnyh metodah optimizacii na diskretnyh množestvah

  S. V. Âkovlev

  219-226

  • PDF (Русский)

• On a problem of Ádám concerning precodes assigned to finite Moore automata

  Masashi Katsura, András Ádám

  143-151

  • PDF

• Strong dependencies and s-semilattices

  Vu Duc Thi

  195-202

  • PDF