Computability - Turing Machines Flashcards
Define a Turing Machine
Define: Configuration of a Turing Machine
Define: the language of a Turing machine
Define the class R
Define the class RE
Define the class co-RE
Define the class R using other classes
What is an Enumerator, and what does it have to do with RE?
What is the language Atm?
Does the language Atm belong to:
R
RE
co-RE
Does ATMc belong to RE?
Define HALTTM
What is a Universal TM?
Is HALTTM in R? is it in RE?
Define a mapping reduction from A to B
What is the Reduction Theorem?
Define the language HALTėTM , Does it belong to R?
Define the language REGTM.
To where does it belong?
REGTM = {M : L(M) is regular}
REGTM ∈ (RE ∪ coRE)c
Define: An accepting run of a TM
Define the language NONTRIVIALTM.
To what class does it belong?
Define the language INFTM.
To what class does it belong?
INFTM ∈ (RE ∪ coRE)c
What is Rice’s Theorem?
Define a nondeterministic TM.
When does a word belong to the language of such a machine?
When is such a machine considered a decider?
What is The Rice’s Theorem Lemma?
Compare the languages of non deterministic TMs and deterministic TMs.
Define REACHTM, to what class does it belong?
Define EQTM, to what class does it belong?
if L is in R, is Lc in R?
Is R closed for concatenation?
Is R closed to union?
Yes, Yes and Yes
Let L be a language in RE/coRE.
What language is definitely not in RE?
Lc
What are different ways to show that a language L is in R?
- Build a Turing Machine that decides L and prove correctness and Computability.
- (If applicable) Show that L is built from sub-languages in R. Use closure properties of R to show that L is also in R.
- Use 2 reductions: L < (Language in RE) and Lc < (Language in RE).
How would you prove that a language L belongs to RE\R?
You could show that:
- L ∈ RE.
- L ∉ R. Alternatively: L ∉ coRE.
How would you show that a language L is not in R?
By using Rice’s theorem or by showing a reduction from a language not in R to L.
How will we prove that a language belongs to (coRE ∪ RE)c ?
Does the language ∑* belong to RE
Yes
Is RE closed to intersection?
RE is closed to intersection.
Define the language HALT All
How can you show that some languages are not in coRE?
Rice’s Theorem.
What is the structure of the proof?
How could you prove that a language L is in (RE U coRE)c?
By showing a reduction from a language in (RE U coRE)c.
For example: ALLTM < L.
ALLTM is not in RE and not in coRE, and therefore neither is L.
What’s and easy way to prove that a language is in RE?
Describe a TM that recognizes the language.
What MUST you do before selecting that a language L belongs to (RE U coRE)-complete?
Check if L-Complete belongs to RE (And therefore L belongs to coRE).
Important Question:
Note how the reduction is from to (i.e. form TM to TM) and still takes into account what M’ does on a word w. (This should be obvious).
The languages of what TMs are contained in RE?
The language of every TM is in RE.
L(M) belongs to RE for every TM M, because M recognizes L(M).
So L is the set of all TMs.
important Question
2017 moed A
Note the connection between a TM and a tree, as well as that the reduction does not nead to be polynomeal.
2017 moead A
Note the connection between ND-TMs and a configuration tree.
Note that the TM that recognizes L2 doesn’t run M on w as you may have expected, because that doesn’t promis recognition of the language (because the TM is Non deterministic), but instead examins the configuration tree.
Important example of such a reduction where new TMs need to be created.
2018 Moed A
2018 Moed A
2018 Moed A
2018 Moed B
- Note that here when proving a language is in RE, it is simpler to descripte the recognizing TM, as opposed to using a reduction.
- Note you must do the n thing.
Prove the claim is false.
2018 Moed B
- Note that the reduction is not from Atm. Don’t automaticaly jump to reducing from Atm when showing a language is not in coRE. There are other languages.
How many configurations in a TM?
2018 Moed B
2018 Semester B Moed B
Note:
1. You can’t simply have M’ run M on epsilon to see if it accepts at any point. What if it never does?
2. The way to deal with this is by using some kind of counter, (here we used the length of w to which we have access.)
3. The counter lets us replace:
“If M doesn’t stop - do something”
with
“While M doesn’t stop - do something”.