2017
DOI: 10.4204/eptcs.256.16
|View full text |Cite
|
Sign up to set email alerts
|

Beyond ωBS-regular Languages: ωT-regular Expressions and Counter-Check Automata

Abstract: In the last years, various extensions of ω-regular languages have been proposed in the literature, including ωB-regular (ω-regular languages extended with boundedness), ωS-regular (ω-regular languages extended with strict unboundedness), and ωBS-regular languages (the combination of ωB-and ωS-regular ones). While the first two classes satisfy a generalized closure property, namely, the complement of an ωB-regular (resp., ωS-regular) language is an ωS-regular (resp., ωB-regular) one, the last class is not close… Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
3

Citation Types

0
4
0

Year Published

2020
2020
2020
2020

Publication Types

Select...
1

Relationship

1
0

Authors

Journals

citations
Cited by 1 publication
(4 citation statements)
references
References 15 publications
0
4
0
Order By: Relevance
“…Equivalent characterisations of extended ω-regular languages are given in [7,8] in terms of automata (ωB-, ωS-, and ωBS-automata) and classical logic (fragments of WS1S+U, i.e., the extension of WS1S with the unbounding quantifier U [14], that allows one to express properties which are satisfied by finite sets of arbitrarily large size). 1 In [8], the authors also show that the complement of an ωB-regular language is an ωS-regular one and vice versa, and that ωBS-regular languages, featuring both B-and S-constructors, strictly extend ωB-and ωS-regular languages and are not closed under complementation.…”
Section: Introductionmentioning
confidence: 97%
See 3 more Smart Citations
“…Equivalent characterisations of extended ω-regular languages are given in [7,8] in terms of automata (ωB-, ωS-, and ωBS-automata) and classical logic (fragments of WS1S+U, i.e., the extension of WS1S with the unbounding quantifier U [14], that allows one to express properties which are satisfied by finite sets of arbitrarily large size). 1 In [8], the authors also show that the complement of an ωB-regular language is an ωS-regular one and vice versa, and that ωBS-regular languages, featuring both B-and S-constructors, strictly extend ωB-and ωS-regular languages and are not closed under complementation.…”
Section: Introductionmentioning
confidence: 97%
“…This paper is an extended and merged version of [1] and [2]. A preliminary partial account of the work on the T (resp., T s ) operator appeared in [1] (resp., [2,16]).…”
Section: Introductionmentioning
confidence: 99%
See 2 more Smart Citations