Talk:Omega-regular language
{{WikiProject banner shell|class=Start|1=
{{WikiProject Computer science}}
{{WikiProject Computing}}
{{WikiProject Philosophy|importance=Low|logic=yes}}
}}
Untitled
There is an error in this article, LTL cannot describe all omega regular set. The linear mu-calculus can.