раздел математики, изучающий общие свойства автоматов
Основные понятия теории
Определение 1
Теория автоматов – это раздел дискретной математики, изучающий...
Теория автоматов позволяет доказывать разрешимость различных утверждений, записанных формальными средствами...
, с помощью математической логики и теории алгоритмов....
Замечание 1
В настоящее время теория автоматов и формальных языков применяется в сфере искусственного...
Автоматы-распознаватели отличаются от автоматов-преобразователей тем, что функции выходов и переходов
Одним из выдающихся основоположников «Искусственного интеллекта», создателем кибернетики, которую трактовал как общую теорию автоматов, является Дж. Фон Нейман. Он был членом Национальной академии наук США, принимал личное участие в создании первых электронных цифровых машин. Им опубликована книга «Теория самовоспроизводящихся автоматов». Редактор перевода Артур В. Берке не только подготовил к печати черновые записи Дж. Фон Неймана, но и закончил его работу, завершил конструкцию самовоспроизводящегося автомата и придав книге законченный вид.
Общие сведения о цифровых автоматах
Под цифровым автоматом следует понимать дискретный преобразователь...
Существуют следующие классы автоматов:
Синхронные автоматы.
Асинхронные автоматы....
Теория цифровых автоматов
Управление - это такая организация технологического процесса, которая способна...
Теория цифровых автоматов является разделом современной науки и техники, основой которого выступают как...
В теории цифровых автоматов, управляющих техническими устройствами, принято разбивать систему на совокупность
Рассматриваемые в этой статье алгебраические модели программ являются обобщением двух моделей программ, введенных в работах А.А. Ляпунова и А.А. Летичевского. Центральное место в теории таких моделей занимает проблема эквивалентности схем программ, заменивших формализованные программы. Доказана разрешимость этой проблемы в широком классе алгебраических моделей программ. Методика получения этого результата восходит к разрешимости проблемы эквивалентности конечных автоматов. Задача статьи состоит в выявлении этого обстоятельства.
преобразование плоскости (пространства), переводящее каждую точку P в такую точку P′, лежащую на луче OP , что OP̅ · OP̅′ = c, где O — фиксированная точка (центр, или полюс инверсии) и c ≠ 0 — постоянная (коэффициент, или степень инверсии)
эрмитова матрица
кривая, имеющая конечную длину
