Abstract
An infinite word over an alphabet A, or ω-word, is an infinite sequence of symbols of A. A ω is the set of ω-words on A. An ω-language on A is a subset of A ω. Moreover, A ∞ = A ⋆ ∪A ω. An ω-word may be written as \(\alpha = \alpha (0)\alpha (1)\ldots \), where α(i) ∈ A for every i ≥ 0; if n ≤ m, \(\alpha (n,m) = \alpha (n)\ldots \alpha (m - 1)\alpha (m)\) and \(\alpha (n,\infty ) = \alpha (n)\alpha (n + 1)\ldots \). The notations ∃ω n stands for ’there are infinitely many n’ and ∃< ω n stands for ’there are finitely many n’.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
For a Büchi automaton ϕ is a disjunctive formula representing the subset of states F ⊆ Q; for a co-Büchi automaton ϕ is \(\neg \overline{F}\), where \(\overline{F}\) is disjunctive formula representing the set Q ∖ F; for a Muller automaton ϕ is \({\vee }_{F\in \mathcal{F}}({\wedge }_{f\in F}f\ {\wedge }_{q\not\in F}\neg q)\), where \(\mathcal{F}\subseteq {2}^{Q}\); for a Rabin automaton ϕ is \({\vee }_{i=1}^{n}({L}_{i} \wedge \neg (\overline{{U}_{i}}))\), where L i , U i , 1 ≤ i ≤ n, are disjunctive formulas; for a Street automaton ϕ is \({\wedge }_{i=1}^{n}({L}_{i} \wedge \neg (\overline{{U}_{i}}))\), where L i , U i , 1 ≤ i ≤ n, are disjunctive formulas.
- 2.
We thank V. Bushkov, University of Tomsk, for discussions on Example 4.5.
- 3.
We thank A. Chebotarev, Ukrainian Academy of Sciences, Kiev, for discussions on Example 4.6.
- 4.
We thank D. Bresolin, University of Verona, for discussions on Example 4.7.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2012 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Villa, T., Yevtushenko, N., Brayton, R.K., Mishchenko, A., Petrenko, A., Sangiovanni-Vincentelli, A. (2012). Equations Over ω-Automata. In: The Unknown Component Problem. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-68759-9_4
Download citation
DOI: https://doi.org/10.1007/978-0-387-68759-9_4
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-34532-1
Online ISBN: 978-0-387-68759-9
eBook Packages: EngineeringEngineering (R0)