Unit 5 TAFL
Unit 5 TAFL
UNIT 5
Unit: 5
TAFL
Course Details
(B Tech 4th Sem)
• Introduction
• Formal definition of Turing
machine
• TM Examples
• Universal Turing Machine
• Linear Bounded Automata
• Church’s Thesis
• Recursive Enumerable
• Halting Problem
• Post Correspondence Problem
Prerequisite:
• Basic review of model to perform different operations like
addition, subtraction, multiplication.
Recap:
• PDA is the machine which uses input tapes and stack for
performing operations.
• PDA are more powerful than FA.
• PDA can be converted to CFG.
• CFG can be converted to PDA.
• The model has a facility by which the input at left or right on the
tape can be read easily.
• (q0, a) → (q1, X, R)
• That means in q0 state, if we read symbol 'a' then it will go to state
q1, replaced a by X and move ahead right(R stands for right).
• The simple logic which we will apply is read out each '0' mark it by
A and then move ahead along with the input tape and find out 1
convert it to B. Now, repeat this process for all a's and b's.
• Now we will see how this Turing machine work for 0011.
• Now, we will see how this turing machine will works for 0011.
Initially, state is q0 and head points to 0 as:
Recap: Till now we have studied about Turing Machine and Universal
Turing Machine.
• Link: https://www.youtube.com/watch?v=kFH4X69L1JU
• In 1936, Alonzo Church created a method for defining functions called the
λ-calculus. Within λ-calculus, he defined an encoding of the natural
numbers called the Church numerals.
• Link: https://www.youtube.com/watch?v=EEfNU8AoA-8
• Link: https://www.youtube.com/watch?v=KJD_F-QGLmo
Problem:
Find whether the lists M = (abb, aa, aaa) and N = (bba, aaa, aa)
have a Post Correspondence Solution?
Solution:
x1 x2 x3
M Abb aa aaa
N Bba aaa aa
• Here,
• x2x1x3 = ‘aaabbaaa’
• and y2y1y3 = ‘aaabbaaa’
• We can see that
• x2x1x3 = y2y1y3
• Hence, the solution is i = 2, j = 1, and k = 3.
a. Multiple track
b. Subroutines
c. Recursion
d. Shifting over
a. TRUE
b. FALSE
c. May Be
d. Cant Say
6/23/2023 KCS - 402 TAFL Unit Number: 5 39
MCQ s (Continued)
5. Find the odd one :
a. Multiple track
b. Subroutines
c. Recursion
d. Shifting over