Acta Cybernetica, Volume 5

Volume 5, 1981

Zoltán Ésik: Decidability results concerning tree transducers I. 1-20
Balázs Imreh: On isomorphic representations of commutative automata with respect to alpha_i-products. 21-32
J. Virágh: Deterministic ascending tree automata I. 33-42
László Csirmaz: Iterated grammars. 43-47
Gábor Czédli: d-dependency structures in the relational model of data. 49-57
L. Varga: Synthesis of abstract algorithms. 59-76
R. I. Phelfs, L. C. Thomas: On optimal performance in self-organizing paging algorithms. 77-85
J. Tankó: Dominant schedules of a steady job-flow pair. 87-115
András Ádám: On the complexity of codes and pre-codes assigned to finite Moore automata. 117-133
Gheorghe Grigoras: On the isomorphism-complete problems and polynomial time isomorphism. 135-142
Zoltán Ésik, Balázs Imreh: Remarks on finite commutative automat. 143-146
Gábor Horváth: Functor state machines. 147-172
Tamás Legendi, Endre Katona: A 5 state solution of the early bird problem in a one dimensional cellular space. 173-179
László Csirmaz: On the completeness of proving partial correctness. 181-190
Józef Drewniak: Axiomatic systems in fuzzy algebra. 191-206
T. Tankó: Priority schedules of a steady job-flow pair. 207-250
Zoltán Ésik, Balázs Imreh: Subdirectly irreducible commutative automata. 251-260
Zoltán Fülöp: On attributed tree transducers. 261-279
Balázs Imreh: On finite nilpotent automata. 281-293
János Demetrovics, Gy. Gyepesi: On the functional dependency and some generalizations of it. 295-305

Tamás Gergely: Algebraic representation of language hierarchies. 307-323
Ivan Futó, János Szeredi, K. Szenes: A modelling tool based on mathematical logic T-PROLOG. 363-375
S. R. Groß: On fault tolerant L-processors. 377-387
H. C. M. Kleijn, Grzegorz Rozenberg, R. Verraedt: On the role of blocking in rewriting systems. 389-408
Miklós Bartha: An algebraic definition of attributed transformations. 409-421
N. T. Khanh: Simple deterministic machines. 423-440
Hans-Dietrich O. F. Gronau, Chr. Proske: Maximal families of restricted subsets f a finite set. 441-451
I. H. Defeé: A note on the interconnection structure of cellular networks. 453-456
E. Katona: Binary additon and multiplication in cellular space. 457-464
Jan R. Just: Definition of global properties of distributed computer system by the analysis of systems components method. 481-488

Last update Sat May 18 19:59:49 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page