Logic, automata, and algorithms
| Other Authors: | Aĭzerman, M. A. 1913-1992., ScienceDirect (Online service) |
|---|---|
| Format: | eBook |
| Language: | English Russian |
| Published: |
New York ; London :
Academic Press,
1971.
|
| Physical Description: |
1 online resource (xii, 433 pages) : illustrations. |
| Series: |
Mathematics in science and engineering ;
v. 79. |
| Subjects: |
| Item Description: |
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. |
|---|---|
| Physical Description: |
1 online resource (xii, 433 pages) : illustrations. |
| Bibliography: |
Includes bibliographical references and index. |
| ISBN: |
9780120463503 0120463504 9780080955872 0080955878 |