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.

Produktinformation

Utgivningsdatum1987-12-09
Mått155 x 235 x 29 mm
Vikt785 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor508
Upplaga1987
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540187400

Tillhör följande kategorier

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 — like model of programs communication.- Structor automata.- On A-completeness for some classes of bounded determinate functions.- Structure synthesis of parallel programs (Methodology and Tools).- Saturating flows in networks.- On the number of DNF minimal relatively arbitrary measures of complexity.- Soliton automata.- On development of dialogue concurrent systems.- Discrete analogue of the Neumann method is not optimal.- A simplest probability model of asynchronous iterations.- Semantic foundations of programming.- Conditions for existence of nontrivial parallel decompositions of sequential machines.- On the digital system diagnostics under uncertainty.- The implicating vector problem and its applications to probabilistic and linear automata.- Some asymptotic evalutions ofcomplexity of information searching.- On the complexity of approximate realization of continuous functions by schemes and formulas in continuous bases.- Codes, connected with a fraction linear functions group and their decoding.- On the capabilities of alternating and nondeterministic multitape automata.- Fast parallel algorithms for optimal edge-colouring of some tree-structured graphs.- On the complexity of elementary periodical functions realized by switching circuits.- Efficient algorithmic construction of designs.- On the complexity of Lie algebras.- A characterization of sequential machines by means of their behaviour fragments.- Some observations about NP complete sets.- Three-dimensional traps and barrages for cooperating automata.- Efficient implementation of structural recursion.- Minimal numberings of the vertices of trees — Approximate approach.- Dyck1-reductions of Context-free Languages.- Information flow and width of branching programs.- On some operations of partial monotone boolean function simplifying.- On complexity of computations with limited memory.- On the problem of completeness for the regular mappings.- The number and the structure of typical Sperner and k-non-separable families of subsets of a finite set.- A criterion of polynomial lower bounds of combinational complexity.- On generalized process logic.- Verification of programs with higher-order arrays.- On the complexity of analyzing experiments for checking local faults of an automaton.- Exponential lower bounds for real-time branching programs.- On the conditions of supplementicity in functional systems.- On one approximate algorithm for solving systems of linear inequalities with boolean variables.- The problem of minimal implicating vector.- Built-in self-testing of logic circuitsusing imperfect duplication.- Algebras with approximation and recursive data structures.- Procedural implementation of algebraic specifications of abstract data types.- On the complexity of realizing some systems of the functions of the algebra of logic by contact and generalized contact circuits.- On construction of A complete system of compression functions and on complexity of monotone realization of threshold boolean functions.- Diophantine complexity.- The power of nondeterminism in polynomial-size bounded-width branching programs.- Estimation algorithms of infinite graphs percolation threshold.- A solving of problems on technological models.- Some formal systems of the logic programming.- On the Programs with finite development.- D-Representing code problem solution.- Metric properties of random sequence.- Adaptive strategies for partially observable controlled random series.- The degrees of nondeterminism in pushdown automata.- Statistically effective algorithms for automata control.- Linear test procedures of recognition.- Evaluation of cardinalities of some families of ?-classes in $$P_{\aleph _0 }$$ .- On the temporal complexity of boolean mappings realizations in two-dimensional homogeneous automata.- On approximate solution of the problem of equivalent transformations of programs.- Randomized parallel computation.- On checking correctness of some classes of control systems.- The parallel complexity of some arithmetic and algebraic operations.- On difficulties of solving a problem of decomposition of the system of boolean equations.- The number of fuzzy monotone functions.- Bounded set theory and polynomial computability.- Index sets of factor-objects of the Post numbering.- On realization of boolean functions by schemes consisting of checkedelements.- The complexity of the sequential choice mechanism.- Nondeterministic finite algorithmic procedures as the models of abstract computability.- The reducibility of random sequences by automata.- On structure complexity of normal basis of finite field.- On comparison of boolean bases.- A tradeoff between pagenumber and width of book embeddings of graphs.- On metric properties of automata and ?-approximation of automaton mappings.- Algorithmization of obtaining the converse comparison theorems based on solving a logical equation.- Synthesis of universal finite automats.- On cartesian powers of P2.- Complexity gaps of Turing machines on infinite words.- Distributed infimum approximation.- On the number of keys in relational databases.- Complexity and depth of formulas realizing functions from closed classes.- Reliable networks from unreliable gates with almost minimal complexity.- On the standard and pseudostandard star height of regular sets.- To automation of theorem synthesis.- On efficiency of prefix word-encoding of binary messages.- Deductive program synthesis and Markov's principle.- Complexity of the problem of approximation of stochastic matrix by rational elements.- To the functional equivalence of Turing machines.- Theorem proving in intermediate and modal logics.- The analysis of concurrent logic control algorithms.- On a connection between the resolution method and the inverse method.

Mer från samma författare

Del 35

Automaten Und Funktoren

Lothar Budach, Hans J Hoehnke

Inbunden, 1975

2 959 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Du kanske också är intresserad av

ESEC '87

Howard K. Nichols, Dan Simpson

Häftad, 1987

749 kr

Theology Interpreted

Joseph Pungur

Inbunden, 1987

819 kr

Del 1293

Monodromy Groups of Isolated Singularities of Complete Intersections

Wolfgang Ebeling

Häftad, 1987

369 kr

Parallel Algorithms and Architectures

Andreas Albrecht, Hermann Jung, Kurt Mehlhorn

Häftad, 1987

449 kr