design a turing machine that accepts word1#word2 where word 2 is substring of word1.
the regular expression for word1 and word2 is (a+b+c+d)*
Initial State: A
Final State: Z

Explanation
design a turing machine that accepts word1#word2 where word 2 is substring of word1. the regular...
determine if the language is regular, context-free, Turing-decidable, or undecidable. For languages that are regular, give a DFA that accepts the language, a regular expression that generates the language, and a maximal list of strings that are pairwise distinguishable with respect to the language. For languages that are context-free but not regular, prove that the language is not regular and either give a context- free grammar that generates the language or a pushdown automaton that accepts the language. You need...
determine if the language is regular, context-free, Turing-decidable, or undecidable. For languages that are regular, give a DFA that accepts the language, a regular expression that generates the language, and a maximal list of strings that arc pairwise distinguishable with respect to the language. For languages that are context-free but not regular, prove that the language is not regular and either give a context- free grammar that generates the language or a pushdown automaton that accepts the language. You need...
(a) Turing Machines can easily be designed to recognize regular languages. Construct either a Turing Machine that accepts the language denoted by the regular expression 0^*1 for the alphabet Σ = {0, 1}. Choose a random string in the language and trace through it (step by step) using your machine
Design a TM (Turing Machine) which writes the reverse of the
input word on the tape after reading the first blank after the
word. The input alphabet is = { &, c, d), and assume the word
starts with &, then with a word from (c+d)*
As an example: input tape is &ccdd..., after
executing the Turing Machine, the tap would contain
&ccddddcc
We were unable to transcribe this imageWe were unable to transcribe this imageWe were unable to transcribe...
How do I design a Turing Machine which accepts strings that begin with 'a' and end with two 'b's. For example, the strings abb and aaabb should be accepted. While the strings bbaa and ab should not be accepted.
Design a Turing machine that recognizes the language L := {vSw : u, w E {0,1)" and u is a substring of u For example, 0801 E L' 10$010 E L, but i 00$10101 ¢ L. Describe the High Level algorithm informally and define the corresponding Turing Machine in details.
Design a Turing machine that recognizes the language L := {vSw : u, w E {0,1)" and u is a substring of u For example, 0801 E L' 10$010 E...
40 points) Please design a Turing machine T to recognize the union of the languages of two Turing machines Mi and M2. That is, T accepts an input string w, if and only if either Mi or M2 or both accept string w. Please describe the high-level idea (or algorithm) of your Turing machine T. You do not need to draw the low-level state transition diagram of your Turing machine. Note that the difficulty is that Mi or M2 may...
2. Let L = {hMi: M is a Turing machine that accepts at least two
binary strings}. a) Define the notions of a recognisable language
and an undecidable language. [5 marks] b) Is L Turing-recognisable?
Justify your answer with an informal argument. [5 marks] c) Prove
that L is undecidable. (Hint: use Rice’s theorem.) [20 marks] d)
Bonus: Justify with a formal proof your answer to b). [20
marks]
2. Let L-M M): M is a Turing machine that accepts...
For a regular language below, write an equivalent regular expression and draw an FA that accepts the language. L = {w ∈ {a,b}*:w contains the substring aba}
I'm not sure how to answer this problem. Can someone help me
with this. thanks
5. Let M be the Turing machine BIBR 9 9 ala R a) Give a regular expression for L(M. b) Using the techniques from Theorem 10.1.3, give the rules of an unrestricted gram- mar G that accepts L(M. c) Trace the computation of M when run with input bab and give the corresponding derivation in G.
5. Let M be the Turing machine BIBR 9...