QR код

State of B\"uchi Complementation

Complementation of B\"uchi automata has been studied for over five decades since the formalism was introduced in 1960. Known complementation constructions can be classified into Ramsey-based, determinization-based, rank-based, and slice-based approaches. Regarding the performance of these approaches...

Повний опис

Збережено в:
Бібліографічні деталі
Автори: Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay
Формат: Artigo
Мова:Inglês
Опубліковано: Logical Methods in Computer Science e.V. 2014-12-01
Серія:Logical Methods in Computer Science
Предмети:
Онлайн доступ:https://lmcs.episciences.org/1059/pdf
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!