Synthesis of Digital Automata / Problemy Sinteza Tsifrovykh Avtomatov / Проƃлемы Синтеза Цифровых Автоматов

  • Vladimir Georgievich Lazarev
  • A. V. Zakrevskii

Table of contents

  1. Front Matter
    Pages i-x
  2. N. A. Gorbovitskaya, I. Sh. Pinsker
    Pages 47-64
  3. A. M. Kukinov
    Pages 65-75
  4. A. D. Zakrevskii, V. I. Ostrovskii
    Pages 76-86
  5. S. V. Bykova
    Pages 99-102
  6. N. V. Bukhgol’ts, V. F. D’yachenko, V. G. Lazarev, K. K. Chernyshev, V. A. Sharov
    Pages 103-109
  7. V. M. Chentsov
    Pages 125-134
  8. V. I. Kaznacheev
    Pages 135-140
  9. Back Matter
    Pages 141-172

About this book

Introduction

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 the USSR, in the section for computational techniques of the Institute of Mathematics of the Siberian Division of the Academy of Science of the USSR, and in the Problem Laboratory of Computing Devices of the Siberian Physics -Engineering Ins titute. The paper by A. D. Zakrevskii is devoted to the discussion of ways of solving basic prob­ lems in the area of computer solution of logical problems, including the problem of automata synthesis. In the paper by E. I. Piil' a methodology is presented for coding internal states and input states of finite automata which is suitable for computer realization. The suggested coding al­ gorithms permit one to take account simultaneously of constraints on inadmissible critical races of memory elements, speed and simplicity of structure of the automaton's logical transformer. E. N. Turuta's paper investigates certain methods of synthesizing reliable automata, based on the introduction of redundancy into the automaton's memory block. The paper by Ya. I. Fet contains a solution to the problem of synthesizing schemes of minimal depth for one of the most widely used bases of elements in computer technology.

Keywords

Area Boolean function Division Finite algorithms automata computer constraint finite automata information mathematics memory optimization regular expression technology

Editors and affiliations

  • Vladimir Georgievich Lazarev
    • 1
  • A. V. Zakrevskii
    • 1
  1. 1.Laboratory of Automatic Control Devices, Institute for Problems of Information TransmissionAcademy of Sciences of the USSRMoscowUSSR

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4684-9033-6
  • Copyright Information Springer-Verlag US 1995
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4684-9035-0
  • Online ISBN 978-1-4684-9033-6
  • About this book