HOA: Canonical Acceptance Conditions

The Hanoi Omega Automata Format supports common ω-regular acceptance conditions via the acc-name-header. This web page provides a playground for investigating those acceptance conditions and the corresponding canonical Acceptance specifications in the HOA format.

Acceptance condition:

HOA Headers:

Syntax Tree:


Visualization using Dagre-d3 and d3.js. Joachim Klein <klein@tcs.inf.tu-dresden.de> 2017-06-27