Drastic
23-09-2004, 18:09
Problems:
1. Consider the problem
Does the regular expression R describe a language, which contains
at least one string starting with 11 and ending with 0?
Express the problem as a language RU110 (similar in style to ATM). Prove
that RU110 is decidable.
2. Let us call a Turing machine repetitive, if it only loops forever if we encounter
the same configuration C more than once during a computation. Is ATM
undecidable for the class of repetitive Turing machines?
1. Consider the problem
Does the regular expression R describe a language, which contains
at least one string starting with 11 and ending with 0?
Express the problem as a language RU110 (similar in style to ATM). Prove
that RU110 is decidable.
2. Let us call a Turing machine repetitive, if it only loops forever if we encounter
the same configuration C more than once during a computation. Is ATM
undecidable for the class of repetitive Turing machines?