Titlebook: Mathematical Foundations of Computer Science 1984; 11th Symposium Praha M. P. Chytil,V. Koubek Conference proceedings 1984 Springer-Verlag

VEN

Traces, histories, graphs: Instances of a process monoid,

bile648

Nondeterminism is essential for two-way counter machines,

可商量

hen Schlaganfallgesellschaft, der Deutschen Gesellschaft für Neurointensivmedizin, Gründungs- und Ehrenpr?sident der Europ?ischen Schlaganfallorganisation. Prof. Hacke war und ist Aut978-3-662-46892-0Series ISSN 0937-7433 Series E-ISSN 2512-5214

Minuet

Endoscope

esthetician

克制

Computability of probabilistic parameters for some classes of formal languages,e regular sets, with matricial algorithms on Markov chains related to deterministic finite-state automata ; at the end, the prefix-free languages of palindrom words, for which the use of counting generating series yields new results in the equally likely case, already studied in [BT 83], and allows to give partial answers in the general case.

aqueduct

A truely morphic characterization of recursively enumerable sets,on of the recursively enumerable sets, which says: For every recursively enumerable set L there exist four homomorphisms such that L=f. ° ° f.({$}) and L=h. ° . ° h.({$}), and four homomorphisms are minimal for such representations.

盟軍

龍蝦

VLSI algorithms and architectures,the cube-connected-cycles — which emulate the binary cube. Finally, we illustrate the mechanisms of pipelining, pleating, and mixing, which play a significant role in matching algorithms and architectures.