x Кривий С. Л. "Скінченні автомати: теорія, алгоритми, складність"

Корзина

Корзина пуста

валюта:

Кривий С. Л.

"Скінченні автомати: теорія, алгоритми, складність"

ГоловнаКнигиНаукові книгиКривий С. Л. → "Скінченні автомати: теорія, алгоритми, складність"

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

Підручник призначений для наукових співробітників, аспірантів, викладачів та студентів старших курсів вищих навчальних закладів.

 

Кривий Сергій. Скінченні автомати: теорія, алгоритми, складність: підручник для студентів вищих навчальних закладів / під. заг. ред. Палагіна О. В. Київ-Чернівці: "Букрек", 2020. 428 с.: рис.
ISBN 978-617-7770-45-8 

 

 


Обкладинкатверда
Рік видання2020
Кількість сторінок428

250.00 грн.
←  Чернівці: документальні нариси з історії забудови міста     Георгій Рудько "Україна, яку ми втрачаємо" →

Відгуки про книгу

Відгуків немає. Можливо ви?

Залишити відгук

Ваше ім'я

Число: