1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Программа дляпроверкиэквивалентностиабстрактных конечныхавтоматов :регистрация программыдля ЭВМ Постников Александр ИвановичМакаров Николай Иванович2015 год

Программа для проверки эквивалентности абстрактных конечных автоматов : регистрация программы для ЭВМ
патент

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Программа для проверки эквивалентности абстрактных конечных автоматов : регистрация программы для ЭВМ / А. И. Постников, Н. И. Макаров ; патентообладатель Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Сибирский федеральный университет» (СФУ). - № 2015613158 ; Заявл. 20.04.2015. - [Б. м. : б. и.], 2015. - Б. ц. - Текст : непосредственный.
Аннотация: Программа предназначена для использования в учебном процессе в дисциплине "Прикладная теория цифровых автоматов" для подготовки бакалавров по направлению 230000 - Информатика и вычислительная техника. Программа позволяет автоматизировать выполнение лабораторной работы по теме "Эквивалентные автоматы" и оформление отчёта по выполненной работе. В процессе выполнения программы по заданной последовательности входных сигналов производится проверка таблиц переходов и выходов абстрактных конечных автоматов - исходного автомата Мура (Мили) и эквивалентного ему автомата Мили (Мура). В случае полного совпадения реакций автоматов автоматически составляется отчёт по лабораторной работе, который включает титульный лист, задание на лабораторную работу, таблицы переходов и выходов и графы автоматов.
Год издания: 2015
Авторы: Постников Александр Иванович, Макаров Николай Иванович
Авторский коллектив: Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Сибирский федеральный университет» (СФУ)
Держатель оригинала документа: Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Сибирский федеральный университет» (СФУ)
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

Похожие публикации

Программа дляформированияэталонных реакцийабстрактных конечныхавтоматов Постников Александр ИвановичМакаров Николай Иванович2015 год

Программа для формирования эталонных реакций абстрактных конечных автоматов : регистрация программы для ЭВМ

  • Постников Александр Иванович и др.
  • 2015 год
Программа для подборатипов триггеров икодов состояний присинтезефункциональных схемконечных цифровыхдвоичных… Постников Александр ИвановичАстафьева Татьяна Владимировна2016 год

Программа для подбора типов триггеров и кодов состояний при синтезе функциональных… : регистрация программы для ЭВМ

  • Постников Александр Иванович и др.
  • 2016 год
Программа дляавтоматизацииразработки автоматаМура (синхронногореверсивногодвоичного счётчика) Постников Александр ИвановичТитов Александр АлексеевичКустикова Ксения Александровна2026 год

Программа для автоматизации разработки автомата Мура (синхронного реверсивного… : регистрация программы для ЭВМ

  • Постников Александр Иванович и др.
  • 2026 год

Теория конечных автоматов

  • Каширская Е. Н. и др.
  • 2021 год
Программа-эмуляторуправляющих автоматовс программируемойлогикой Постников Александр ИвановичМакаров Николай Иванович2016 год

Программа-эмулятор управляющих автоматов с программируемой логикой : регистрация программы для ЭВМ

  • Постников Александр Иванович и др.
  • 2016 год

Теория конечных автоматов. Практикум

  • Руднева Л. Ю. и др.
  • 2022 год
Программа дляформированияэталонных реакцийэмулятора управляющихавтоматов спрограммируемойлогикой Постников Александр ИвановичМакаров Николай Иванович2016 год

Программа для формирования эталонных реакций эмулятора управляющих автоматов с… : регистрация программы для ЭВМ

  • Постников Александр Иванович и др.
  • 2016 год

Теория конечных автоматов: практикум

  • Каширская Е. Н. и др.
  • 2023 год

Показать ещё

Программа дляформирования базывариантов заданий наавтоматизированноепроектированиеавтомата Мура(синхронного… Постников Александр ИвановичТитов Александр АлексеевичВерхошенцева СветланаЛеонидовна2026 год

Программа для формирования базы вариантов заданий на автоматизированное… : регистрация программы для ЭВМ

  • Постников Александр Иванович и др.
  • 2026 год

Конечные автоматы и формальные языки : Учебник

  • Алымова Елена Владимировна и др.
  • 2018 год
О задаче проверкипринадлежности дляконечных автоматовнад симметрическимигруппами Хашаев А. А.2021 год

О задаче проверки принадлежности для конечных автоматов над симметрическими группами : статья из журнала

  • Хашаев А. А.
  • 2021 год

Теория цифроаналогового синтеза частот с помощью конечных автоматов

  • Никитин Ю. А.
  • 2024 год

Разработка модели конечного автомата транспортной системы : учебно-методическое пособие

  • Руднева Л. Ю.
  • 2023 год
Структурнаямодификация конечногоавтомата для решенияпроблемыэкспоненциальноговзрыва Бернадотт А.2022 год

Структурная модификация конечного автомата для решения проблемы экспоненциального взрыва : статья из журнала

  • Бернадотт А.
  • 2022 год
Программный модульуправленияавтоматическойпроверки bashскриптов Макуха Любовь ВитальевнаСидоров Анатолий Юрьевич2016 год

Программный модуль управления автоматической проверки bash скриптов : регистрация программы для ЭВМ

  • Макуха Любовь Витальевна и др.
  • 2016 год
Разработка алгоритмаавтоматизациипреобразованияконечного автомата всеть Петри Ахмедов М. А.Гусейнзаде Ш. С.Насирова Е. А.2019 год

Разработка алгоритма автоматизации преобразования конечного автомата в сеть Петри : статья из журнала

  • Ахмедов М. А. и др.
  • 2019 год