Separation Property for wB- and wS-regular Languages

DOI10.2168/LMCS-10(1:8)2014zbMath1325.68134arXiv1401.3214MaRDI QIDQ5404473

Michał Skrzypczak

Publication date: 24 March 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.3214

zbMATH Keywords

\(\omega\)-regular languagescounter automataprofinite monoid\(\omega\)S-regular languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70)

Related Items (2)

Unnamed Item ⋮ Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts

This page was built for publication: Separation Property for wB- and wS-regular Languages