Logic, automata, and algorithms /
Collection : Mathematics in science and engineering ; . vol. 79 Détails physiques : 1 online resource (xii, 433 pages) : illustrations. ISBN :9780120463503; 0120463504; 9780080955872 (e-book); 0080955878 (e-book).
|
Logic, Symbolic and mathematical.
|
Algorithms.
|
Machines séquentielles (Théorie)
|
Logique symbolique et mathématique.
|
Algorithmes.
|
TECHNOLOGY & ENGINEERING
--
Automation.
|
Electronic books.
|
Algorithms.
|
Logic, Symbolic and mathematical.
|
Sequential machine theory.
Elements of mathematical logic -- Engineering applications of propositional calculus -- Finite automata and sequential machines ; basic concepts -- Abstract structure and nets -- Technical embodiment of finite automata and sequential machines -- Autonomous finite automata and sequential machines -- Representation of events in finite automata and sequential machines -- Recognition of realizability of a given specification, abstratc synthesis of finite automata and sequential machines -- Equivalence and minimization of sequential machines -- Transformation of clock rates of sequential machines -- Determination of the properties of sequential machines from their response to finite input sequences -- Algorithms -- Turing machines -- Conclusion -- Problems.
Originally published as 'Logika, avtomaty, algoritmy'. Moscow: Literatury, 1963.
Includes bibliographical references and index.
Description based on print version record.
Il n'y a pas de commentaire pour ce document.