Jump to content

Talk:Omega-regular language

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by Cewbot (talk | contribs) at 07:47, 22 February 2024 (Maintain {{WPBS}}: 3 WikiProject templates. Keep majority rating "Stub" in {{WPBS}}. Remove 3 same ratings as {{WPBS}} in {{WikiProject Computer science}}, {{WikiProject Computing}}, {{WikiProject Philosophy}}.). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Untitled

[edit]

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