Professional Documents
Culture Documents
Recursive and Recursively Enumerable Language Flip Class Room Activity
Recursive and Recursively Enumerable Language Flip Class Room Activity
Recursive and Recursively Enumerable Language Flip Class Room Activity
Recursively Enumerable
Language
Introduction
Recursively Enumerable
Recursively Enumerable Properties
Outline Recursive Language
Recursive Language Properties
Theorems
What is Turing Machine?
Turing Machine is expressed as 7-tuple (Q, T, B, ∑, δ, q0, F)
Q is a finite set of states
T is the tape alphabet (symbols which can be written on Tape)
B is blank symbol (every cell is filled with B except input alphabet
initially)
Introduction ∑ is the input alphabet (symbols which are part of input alphabet)
δ is a transition function which maps Q × T → Q × T × {L,R}.
Depending on its present state and present tape alphabet (pointed
by head pointer), it will move to new state, change the tape symbol
(may or may not) and move head pointer to either left or right.
q0 is the initial state
F is the set of final states. If any state of F is reached, input string is
accepted.
Problem to
understand
Turing
Machine
A language is recursively enumerable if some Turning Machine
accepts it.
Let L be a recursively enumerable language and M the Turning
Machine that accepts it
Recursively For string w:
Enumerable If w ∈ L then M halts in a final state
If w ∉ L then M halts in a non-final state or loops forever
Union
Properties of Intersection
Recursively Complement
Enumerable
Let’s revise union of sets;
Set 1={a, b, c}
Set 2={b, c, d}
Set 1 Union Set 2 = {a, b, c, d}
Now let’s understand the same concept in Turing Machine;
Suppose a system has 2 Turing Machines, TM1, and TM2.
Union
If TM1 halts then all the system halts.
If TM1 crash then system checks that TM2 is ready to halt or not? If
TM2 halts then system halts because this is union and the union
means that
If TM1 halts then system halts
If TM1 does not halt, and TM2 halts then system halts
If TM1 and TM2 or TMn halts then system halts
Let’s revise the intersection of sets;
Set 1={a, b, c}
Set 2={b, c, d}
Set 1 Intersection Set 2 = {b, c}
Now let’s understand the same concept in Turing Machine;
Suppose a system has 2 Turing Machines, TM1, and TM2.
Intersection If TM1 crash then all the system crash.
If TM1 halts then system checks that TM2 is ready to halt or not?
After this, If TM2 halts then system halts because this is
intersection and the intersection means that
If TM1 crash then system crash
If TM1 halts then check TM2 or TMn, and if TM2 is also halted, the
system halts.
If TM1 and TM2 or TMn crash then the system crash
Suppose a system has 2 Turing Machines, TM1, and TM2.
If TM1 crash then all the system crash.
Complement If TM1 halts then system check TM2 or TMn. If TM1 halts and TM2
also halts then system crash.
If TM1 halts then system check TM2 or TMn. If TM1 halts and TM2
crash then system halts.
A language is recursive if some turing machine accepts it and halts
on any input string.
In other words:
A language is recursive if there is a membership algorithm for it.
Recursive Let L be a recursive language and M the Turning Machine that
accepts it
For string w:
If w ∈ L then M halts in a final state
If w ∉ L then M halts in a non-final state
Union
Properties of Concatenation
Union &
Concatenation