Logic, automata, and algorithms / Mark A. Aiserman [and others] ; translated by Scripta Technica, Inc ; translation editor George M. Kranc

Published:: New York ; London : Academic Press, 1971.
Physical Description:: 1 online resource (xii, 433 pages) : illustrations
Additional Creators:: Aĭzerman, M. A. (Mark Aronovich), 1913-

Access Online

ezaccess.libraries.psu.edu

Availability

Finding items...

Series:

Mathematics in science and engineering ; v. 79.

Contents:

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.

Subject(s):

ISBN:

9780120463503
0120463504
9780080955872 (e-book)
0080955878 (e-book)

Note:

Originally published as 'Logika, avtomaty, algoritmy'. Moscow: Literatury, 1963.

Bibliography Note:

Includes bibliographical references and index.

View MARC record | catkey: 18156678