Кривий С. Л. Скінченні автомати: теорія, алгоритми, складність : підруч. для студентів вищ. навч. закл. / С. Л. Кривий; ред.: О. В. Палагін; Київський національний університет імені Тараса Шевченка. - Чернівці : Букрек, 2020. - 427 c. - Бібліогр.: с. 419-424 - укp.Розглянуто основні поняття теорії скінченних автоматів над словами скінченної та нескінченної довжини. Наведено алгоритми синтезу, аналізу, еквівалентних перетворень скінченних автоматів, а також приклади розв'язання основних алгоритмічних проблем для мов, акцептованих цими автоматами. Описано зв'язки теорії скінченних автоматів з темпоральною лінійною логікою та їх застосування в комп'ютерній алгебрі, трансляції, ідентифікації, генетиці, верифікації тощо. Розглянуто основні поняття теорії скінченних часових автоматів та їх застосування до верифікації властивостей систем з часовими обмеженнями. Описано основні властивості скінченних автоматів над деревами та властивості магазинних автоматів. Індекс рубрикатора НБУВ: З815.1 я73-1
Рубрики:
Шифр НБУВ: ВА851795 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|