Одиссей +380444960470

Скінченні автомати. Теорія, алгоритми, складність. Підручник для студентів ВНЗ. Сергій Лук'янович Кривий. Букрек


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

Контакти
Ви можете надіслати нам запит електронною поштою
  Очистити

Пока никто не оставлял комментарии! Будьте первыми!


Новинки!
Ви нещодавно дивилися
немає товарів
Скінченні автомати. Теорія, алгоритми, складність. Підручник для студентів ВНЗ. Сергій Лук'янович Кривий. Букрек вибрати та придбати за нормальною вартістю в інтернет каталозі літератури Одіссей з оперативною доставкою у будь-який куточок України. Наберіть нашому фахівцеві у інтернет каталозі літератури Одіссей і ми зробимо доставку у Львів, Павлоград, Вінниця та інші регіони країни. Книги по рубриках: Спорт, Маркетинг. Реклама. Зв`язки з громадськістю, Нормативні правові акти. Довідкова література або інший аналог унікальних виробів від виробника, можна вибрати та придбати з великого вибору продукції. Краща пропозиція купити Скінченні автомати. Теорія, алгоритми, складність. Підручник для студентів ВНЗ. Сергій Лук'янович Кривий. Букрек на сайті Одіссей або за номером (067) 440 97 59.