ВИКОРИСТАННЯ УЗГОДЖЕННЯ ЛОГІЧНИХ СПЕЦИФІКАЦІЙ АВТОМАТІВ ПРИ РОЗВ’ЯЗАННІ ІГРОВИХ ЗАДАЧ

Анотація. Ігрові моделі широко використовуються при розв’язанні задач реалізовності, синтезу та верифікації реактивних систем. Для розв’язання таких задач у статті розглянуто автоматний підхід, який базується на понятті узгодженості автоматів або їхніх логічних специфікацій. Відповідні методи суттєво відрізняються від тих, що застосовуються в ігровому контексті. Показано, як ці методи можуть викори¬стовуватися для синтезу виграшної стратегії у грі двох осіб, не пов’язаній з проектуванням реактивних систем. Бібліогр.: 12 назв.

Ключові слова: мова специфікації L, узгодженість автоматів, синтез автомата, модель гри, виграшна стратегія.