Talk:Omega-regular language
Appearance
![]() | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||||||||||||||||||||||||||||
|
Untitled
[edit]There is an error in this article, LTL cannot describe all omega regular set. The linear mu-calculus can.
Categories:
- Stub-Class Computer science articles
- Unknown-importance Computer science articles
- WikiProject Computer science articles
- Stub-Class Computing articles
- Unknown-importance Computing articles
- All Computing articles
- Stub-Class Philosophy articles
- Low-importance Philosophy articles
- Stub-Class logic articles
- Low-importance logic articles
- Logic task force articles