Вивчаються властивості, можливо, нескінченного класу ініціальних скінченних автоматів, коли кожен вхід-вихідний сигнал із фіксованої множини породжують не більше як одним станом. Знайдено точні умови скінченності цього класу та його важливих підкласів, а також точні умови існування контрольних експериментів щодо цих класів. Далі визначено умови існування експериментів, що розпізнають такі автомати.

Разработаны принципы формирования цифровых автоматов ЭВМ, в частности, комбинационного ядра, реализуемого на базе программируемых логических матриц. На основе изоморфизма логических и специальных кусочно-постоянных функций исследованы формы представления логических функций (ЛФ), охарактеризованы подходы к преобразованию их форм представления. Освещены вопросы минимизации ЛФ, изложены методы минимизации в классической, алгебраической, в Рид - Мюллеровских формах представления. Рассмотрено использование пакета прикладных программ для решения задачи линейного программирования, в частности, программного продукта LINDO. Приведен каталог минимальных форм ЛФ, методика формирования оптимальных реализаций в классической и альтернативной формах представления, апробированы новые операции с базой данных, приложена инструкция по ее инсталляции.

Дисертацію присвячено вивченню зображень вільних груп та напівгруп автоматними перетвореннями над скінченними алфавітами. Розвинуто техніку обчислень у вінцевих добутках за нескінченними послідовностями напівгруп перетворень. Доведено, що у сенсі Бера "більшість" скінченно породжених піднапівгруп напівгрупи автоматних перетворень над скінченним алфавітом є вільними. Побудовано континуальну серію прикладів вільних напівгруп автоматних підстановок. Знайдено зображення вільних неабелевих груп рангу 2 як скінченними, так і нескінченними автоматами над двоелементним алфавітом. Описано відношення Гріна в напівгрупі автоматних перетворень над скінченним алфавітом.

Розглядається модель взаємодіючих скінченних автоматів, які обмінюються повідомленням через два 1-спрямованих канали. Показано межу алгоритмічної розв'язності проблем тупика, несанкційованого прийому та обмеженості.

Рассмотрены основные положения алгебры логики, в частности, функционально полные системы, базис, совершенная дизъюнктивная и конъюнктивная нормальная формы, минимизация булевых функций, а также и их применение к построению комбинационных логических схем на элементах малой и средней степени интеграции.

Висвітлено питання проектування моделей цифрових керуючих автоматів, поведінку яких представлено на мові VHDL. Для дотримання стандарту VHDL розроблено моделі змістовних графів переходів цифрових автоматів, орієнтованих на технологічне рішення задач генерації тестів, перевірки справності та верифікаційного моделювання. Запропоновано стратегію тестування керуючого автомата, яка містить чотири алгоритми обходу верхівок та дуг графа; модифікований П-алгоритм для знаходження рішень у вигляді вхідних наборів, які приводять автомат у необхідний стан. Моделі опису, генерації тестів реалізовано у вигляді програмного продукту ASFTEST, який сумісний з системою Active - HDL і підтримує стандарти мов Active, Verilog.

Викладено спосіб опису і реалізацію дискретного автомата великої розмірності вроздріб у вигляді окремих автоматів, кожний із яких має свою власну пам'ять внутрішніх станів. Розглянуто питання організації зв'язків між автоматами. Наведено конкретний приклад реалізації автомата.

Описаны методы графического синтеза и анализа цифровых последовательных автоматов, общие положения и правила, которые позволяют получить минимальную форму изображения логической функции автомата непосредственно из графического изображения алгоритма управления.

Изложены результаты исследований проблемы использования оптимальной формы представления логических функций в цифровых автоматах. Предложена методология определения мощности подмножеств логических функций, требующих неклассической реализации.

Рассмотрены понятия алгоритма, алфавитного оператора, алгоритмических системы и неразрешимости. Охарактеризованы алгоритмические системы А.М.Тьюринга и А.А.Маркова. Изложены арифметические основы цифровых автоматов, устанавливающие общепринятые правила преобразования арифметических величин. Описаны способы представления и кодирования цифровых величин. На основе математического аппарата приведено формальное описание цифровых автоматов без памяти. Представлены алгоритмы минимизации для отдельных полностью и неполностью определенных функций и систем. Приведены классические методы структурного синтеза управляющих автоматов, рассмотрены подходы к проблеме кодирования состояний и конкретные алгоритмы кодирования.

Розглянуто загальні питання побудови цифрових автоматів. Наведено основні відомості про цифрові автомати та описано форми їх задання. Зроблено абстрактний аналіз та викладено логічні основи роботи цифрових автоматів. Запропоновано приклади структурного синтезу керуючого цифрового автомата та перебірних автоматів.

Описана разработанная методика анализа последовательных цифровых автоматов при отсутствии или неопределенности алгоритма управления. Применение методики анализа позволяет проверить обоснованность использования ячеек памяти, минимальность и работоспособность управляющего автомата.

Приведено описание двоичных биномиальных систем счисления, а также алгоритмов и устройств на их основе. Представлена характеристика различных видов биномиальных счетчиков (помехоустойчивого, с повышенной глубиной контроля, с дешифрацией состояний, с помехоустойчивой дешифрацией состояний, вычитающего помехоустойчивого счетчика, а также быстродействующего суммирующего с коррекцией ошибок и реверсивного). Рассмотрены счетчики равновесных кодов, отличающиеся повышенной надежностью и быстродействием, созданные на основе биномиальных структур. Представлена информация о специальных биномиальных преобразователях, позволяющих получать равновесные коды и производить их нумерацию. Предложено решение задачи сжатия двоичной информации и разработаны соответствующие ей цифровые устройства с возможностью защиты сообщений от несанкционированого доступа.

Впервые описана структура цифрового автомата с псевдослучайными переходами для систем защиты информации при ее передаче.

Разработаны абстрактные модели комбинационных многоверсионных цифровых автоматов (МВЦА). Предложены элементы синтеза МВЦА. Приведены результаты исследования безотказности и достоверности функционирования комбинационных МВЦА.

Розроблено нові ефективні моделі та методи для використання в САПР цифрових керуючих пристроїв (ЦКП). На підставі відомої ознаки жорсткості моделі та новоутворених ознак її ширини та загальності розроблено класифікацію моделей керування та цифрових обчислювальних систем (ЦОС). Визначено місце традиційних моделей керування ЦОС у даній класифікації, виявлено їх недоліки. Показано недосконалість методів проектування, розроблених з використанням традиційних моделей керування ЦОС. Запропоновано нові моделі низького та високого рівнів для ЦКП, в яких усунуто виявлені недоліки традиційних моделей. Розроблено ефективні методи синтезу ЦКП за його описом на основі нових моделей керування ЦОС. Удосконалено методи оптимального кодування станів цифрового автомата, впровадження яких сприяє зменшенню апаратних витрат на реалізацію функції переходів ЦКП. Розроблено інформаційну технологію автоматизованого проектування ЦКП, в якій об'єднано традиційні й нові моделі та методи в єдиний формалізований процес, спрямований на підвищення ефективності кінцевого результату. Здійснено практичну апробацію розробленої інформаційної технології в САПР ЦКП.

Рассмотрен цифровой автомат, перебирающий сочетания в возрастающем порядке. Кроме решения основной задачи, он также обнаруживает ошибки в своей работе.

Рассмотрены вопросы синтеза цифровых автоматов, перебирающих композиции, на основании многозначных биномиальных чисел. Приведен пример синтеза такого автомата.

Рассмотрены понятия определенности и корректности цифрового автомата. Предложены методы проектирования отказоустойчивых цифровых систем с программируемой логикой на основании частично определенных и частично корректных автоматов, которые синтезируются с помощью генетических алгоритмов.

Методом индукции построены для конкретных параметров виртуальной последовательности ориентированные графы переходов цифровых автоматов с псевдослучайными переходами.