Report - Promptness in ω-regular Automata · the prompt-Buc¨ hi automaton need not be ω-regular as well. In fact, Buc¨ hi and prompt-Buc¨ hi automata are incomparable in terms of expressive

Please pass captcha verification before submit form