Fundamentals of Computation Theory : International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings. 1st ed. 1987

種類:

電子ブック

責任表示:

edited by Lothar Budach, Rais G. Bukharajev, Oleg B. Lupanov

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987

著者名:

• Budach, Lothar.
• Bukharajev, Rais G.
• Lupanov, Oleg B.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 278

ISBN:

9783540481386 [3540481389]    

注記:

Possibilities of probabilistic on-line counting machines -- Functional systems on semilattices -- Recognition of properties in k-valued logic and approximate algorithms -- Linearized disjunctive normal forms of boolean functions -- On a stable generating of random sequences by probabilistic automata -- Automata classes induced by Post classes -- Effective lower bounds for complexity of some classes of schemes -- Stable finite automata mappings and Church-Rosser systems -- The recursion theorem, approximations, and classifying index sets of recursively enumerable sets -- Duality of functions and data in algorithms description -- On direct methods of realization of normal algorithms by turing machines -- Verbal operation on automaton -- The new way of probabilistic compact testing -- Computational problems in alphabetic coding theory -- On the synthesis of "Irredundant" automata from a finite set of experiments -- On the equivalence problem of states for cellular automata -- Arsenals and lower bounds -- Chain —
This volume contains abridged versions of most of the sectional talks and some invited lectures given at the International Conference on Fundamentals of Computation Theory held at Kazan State University, Kazan, USSR, June 22-26, 1987. The conference was the sixth in the series of FCT Conferences organized every odd year, and the first one to take place in the USSR. FCT '87 was organized by the Section of Discrete Mathematics of the Academy of Sciences in the USSR, the Moscow State University (Department of Discrete Mathematics), and the Kazan State University (Department of Theoretical Cybernetics). This volume contains selected contributions to the following fields: Mathematical Models of Computation, Synthesis and Complexity of Control Systems, Probabilistic Computations, Theory of Programming, Computer-Assisted Deduction. The volume reflects the fact that FCT '87 was organized in the USSR: A wide range of problems typical of research in Mathematical Cybernetics in the USSR is comprehensively represented.

ローカル注記:

岐阜大学構成員専用E-BOOKS (Gifu University members only)