A Note on Star-Free Events
From MaRDI portal
Publication:5631023
DOI10.1145/321510.321513zbMath0224.94060MaRDI QIDQ5631023
Publication date: 1969
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/321510.321513
68Q45: Formal languages and automata
Related Items
Power-separating regular languages, Remarks on algebraic decomposition of automata, Families of recognizable sets corresponding to certain varieties of finite monoids, On the expressive power of temporal logic for infinite words, \(\omega\)-languages accepted by finite automata whose structures are cascade products o resets, Star-free trace languages, Modulo-counting quantifiers over finite trees, Alternating finite automata and star-free languages, On the expressive power of temporal logic, Dot-depth of star-free events, Classification of noncounting events, Theme and Variations on the Concatenation Product, Extensions of an idea of McNaughton, On the Krohn-Rhodes Cascaded Decomposition Theorem, First-order properties of trees, star-free expressions, and aperiodicity