Sciweavers

2 search results - page 1 / 1
» Deterministic Automata and Extensions of Weak MSO
Sort
View
FSTTCS
2009
Springer
13 years 11 months ago
Deterministic Automata and Extensions of Weak MSO
Mikolaj Bojanczyk, Szymon Torunczyk
STACS
2009
Springer
13 years 11 months ago
Weak MSO with the Unbounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
Mikolaj Bojanczyk