Logic, automata, and algorithms /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
New York ; London :
Academic Press,
1971.
|
| Series: | Mathematics in science and engineering ;
v. 79. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of 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.