SZTAKI Közlemények 33. (1985)
CONTENTS Page G. ANGELOVA: Tableaux and their applications................... 7-27 N.N. KARABUTOV - I. HADREVI: Stochastic stability of adaptive observers using vector Ljapunov functions. 29-35 + L. KOVÁCS: Automated protocol verification ..................... 37-45 NGUYEN CONG THANH: The negative unstability implies the existence of 2-period point ............................................ 47-54 K. G. PEEVA: On fuzzy automata and fuzzy grammars ... 55-67 R.L. £>CEPANOVIC: Linear complexity of some translation operators ..................................................................................... 69-85 L. Zs. VARGA: Comments on a problem of continuous and periodic functions ..................................................................... 87-94 Y.P. VELINOV: Nets, polycategories and semantics of parallel programs ....................................................................... 95-112 VU DUC THI: Algorithms for finding minimal keys and antikeys of relational data bases ............................. 113-143 BOOK REVIEW ......................................................................................................... 145-146 M. Vukobratovic, N„ Kircanski: "Real time dynamics of manipulation robots," .................. 145 J, Ackermann: "Sampled-data control systems" ........... 146