Зайцев Д.А. Математичні моделі дискретних систем

Навчальний посібник з дисципліни «Математичне моделювання інформаційних систем» для підготовки магістрів у галузі зв’язку. Подано моделі, що вони відіграють ключову роль у комп'ютерних науках та теорії
телекомунікацій: скінченні автомати, сітки Петрі, машини Тюринга. Викладено ос-
новні теоретичні результати в означеній галузі, подано методи аналізу й синтезу си-
стем, розглянуто області застосовування. Для закріплення знань наведено контроль-
ні запитання та задачі. Посібник призначено для підготовки магістрів у галузі
зв’язку. Зайцев Д.А. Математичні моделі дискретних систем: Навч. посібник. – Одеса:
ОНАЗ ім. О.С. Попова, 2004. – 40 стор. Скінченні автомати
Визначення скінченного автомата
Автомати Мілі й Мура
Мінімізація скінченних автоматів Сітки Петрі
Сітки Петрі й моделювання систем
Рівняння станів та властивості сіток Петрі
Структурний аналіз сіток Петрі
Граф покривних маркувань Машини Тюринга
Інтуїтивне поняття алгоритму
Опис машини Тюринга
Алгоритмічно нерозв'язні проблеми
Метод зведення