Talk:Omega-regular language
Add topicAppearance
| This article is rated Start-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:
- Start-Class Computer science articles
- Unknown-importance Computer science articles
- WikiProject Computer science articles
- Start-Class Computing articles
- Unknown-importance Computing articles
- All Computing articles
- Start-Class Philosophy articles
- Low-importance Philosophy articles
- Start-Class logic articles
- Low-importance logic articles
- Logic task force articles
