The following pages link to Index sets for ω‐languages (Q4798202):
Displaying 4 items.
- Decision problems for Turing machines (Q990079) (← links)
- Complete interpretations of \(\Omega\)-languages and free algebras of \(\Omega\)-elements (Q1280914) (← links)
- The exact complexity of the infinite Post Correspondence Problem (Q2345861) (← links)
- THREE APPLICATIONS TO RATIONAL RELATIONS OF THE HIGH UNDECIDABILITY OF THE INFINITE POST CORRESPONDENCE PROBLEM IN A REGULAR ω-LANGUAGE (Q4923292) (← links)