Sciweavers

2 search results - page 1 / 1
» Deterministic Automata and Extensions of Weak MSO
Sort
View
83
Voted
FSTTCS
2009
Springer
15 years 10 months ago
Deterministic Automata and Extensions of Weak MSO
Mikolaj Bojanczyk, Szymon Torunczyk
STACS
2009
Springer
15 years 10 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