Talk:Omega-regular language

Untitled edit

There is an error in this article, LTL cannot describe all omega regular set. The linear mu-calculus can.