Synthesis of digital automata [electronic resource] / Edited by V.G. Lazarev and A.D. Zakrevskii. Translated from Russian by Edwin S. Spiegelthal.

The present collection is devoted to algorithmic methods, and computer algorithms, for the synthesis of digital computers and controlling machines. The work reported in the papers collected here was performed at the Institute for ProbƯ lems of Information Transmission of the Academy of Science of t...

Full description

Saved in:
Bibliographic Details
Online Access: Full Text (via Springer)
Other Authors: Lazarev, V. G. (Vladimir Georgievich), 1925- (Editor), Zakrevskiĭ, A. D. (Editor)
Other title:Problemy sinteza t︠s︡ifrovykh avtomatov. English.
Format: Electronic eBook
Language:English
Russian
Published: New York : Consultants Bureau, 1969.
Subjects:
Table of Contents:
  • Approximate Methods of Solving Logical Problems
  • Certain Questions in the Coding of Finite Automata
  • Some Methods of Increasing the Reliability of Finite Automata
  • Some Algorithms for Synthesizing Schemes of Minimal Depth
  • Construction of Minimal Disjunctive Normal Forms
  • One Method of Synthesizing Normal Forms
  • Optimization of the Search for a Shortest Covering
  • Minimizing the Number of Arguments of Boolean Functions
  • Experimental Evaluation of One Method of Minimizing the Number of States of Discrete Automata
  • Economizing of Memory Utilization
  • Algorithm for Minimizing Operational Memory
  • Synthesis of Optimal Algorithms for Recognizing Boolean Functions
  • Economizing Program Memory of Special-Purpose Digital Computers
  • Synthesizing a Stochastic Automaton
  • Constructing Tests for Finite Automata by Means of the Language of Regular Expressions
  • APPENDIX. Description of the LYaPAS Language
  • A.D. Zakrevskii.