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

مجموعه حاضر به روش‌های الگوریتمی و الگوریتم‌های رایانه‌ای برای سنتز رایانه‌های دیجیتال و ماشین‌های کنترلی اختصاص دارد. کار گزارش شده در مقالات جمع آوری شده در اینجا در موسسه مشکلات انتقال اطلاعات آکادمی علوم اتحاد جماهیر شوروی، در بخش تکنیک های محاسباتی موسسه ریاضیات بخش سیبری آکادمی علوم انجام شد. اتحاد جماهیر شوروی، و در آزمایشگاه مسائل محاسباتی دستگاه های فیزیک سیبری - موسسات مهندسی. مقاله A. D. Zakrevskii به بحث در مورد راه های حل مسائل اساسی در زمینه حل رایانه ای مسائل منطقی، از جمله مسئله سنتز خودکار اختصاص دارد. در مقاله E.I. Piil یک روش برای کدگذاری حالت های داخلی و حالت های ورودی خودکارهای محدود ارائه شده است که برای تحقق کامپیوتری مناسب است. الگوریتم‌های کدگذاری پیشنهادی به فرد اجازه می‌دهند که همزمان محدودیت‌های مربوط به رقابت‌های بحرانی غیرقابل قبول عناصر حافظه، سرعت و سادگی ساختار ترانسفورماتور منطقی خودکار را در نظر بگیرد. مقاله E. N. Turuta به بررسی روش‌های خاصی برای سنتز خودکارهای قابل اعتماد، بر اساس معرفی افزونگی در بلوک حافظه خودکار می‌پردازد. مقاله توسط Ya. I. Fet حاوی راه حلی برای مشکل سنتز طرح‌های حداقل عمق برای یکی از پرکاربردترین پایه‌های عناصر در فناوری رایانه است.

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.