BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020...
Transcript of BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020...
![Page 1: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/1.jpg)
BU CS 332 – Theory of Computation
Lecture 10:• Turing Machines• TM Variants
Reading:Sipser Ch 3.1-3.2
Mark BunFebruary 26, 2020
![Page 2: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/2.jpg)
Turing Machines – MotivationSo far in this class we’ve seen several limited models of computation
Finite Automata / Regular Expressions• Can do simple pattern matching (e.g., substrings), check
parity, addition• Can’t recognize palindromes
Pushdown Automata / Context-Free Grammars• Can count and compare, parse math expressions• Can’t recognize 𝑎𝑎𝑛𝑛𝑏𝑏𝑛𝑛𝑐𝑐𝑛𝑛 𝑛𝑛 ≥ 0}
2/26/2020 CS332 - Theory of Computation 2
![Page 3: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/3.jpg)
Turing Machines – MotivationGoal:Define a model of computation that is
1) General purpose. Captures all algorithms that can be implemented in any programming language.
2) Mathematically simple. We can hope to prove that things are not computable in this model.
2/26/2020 CS332 - Theory of Computation 3
![Page 4: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/4.jpg)
A Brief History
2/26/2020 CS332 - Theory of Computation 4
![Page 5: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/5.jpg)
1900 – Hilbert’s Tenth Problem
2/26/2020 CS332 - Theory of Computation 5
David Hilbert 1862-1943
Given a Diophantine equation with any number of unknown quantities and with rational integral numerical coefficients: To devise a process according to which it can be determined in a finite number of operations whether the equation is solvable in rational integers.
![Page 6: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/6.jpg)
1928 – The Entscheidungsproblem
2/26/2020 CS332 - Theory of Computation 6
David Hilbert 1862-1943
The “Decision Problem”
Is there an algorithm which takes as input a formula (in first-order logic) and decides whether it’s logically valid?
Wilhelm Ackermann 1896-1962
![Page 7: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/7.jpg)
1936 – Solution to the Entscheidungsproblem
2/26/2020 CS332 - Theory of Computation 7
Alonzo Church 1903-1995
Alan Turing 1912-1954
"An unsolvable problem of elementary number theory“
Model of computation: 𝜆𝜆-calculus (CS 320)
“On computable numbers, with an application to the Entscheidungsproblem”
Model of computation: Turing Machine
![Page 8: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/8.jpg)
Turing Machines
2/26/2020 CS332 - Theory of Computation 8
![Page 9: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/9.jpg)
The Basic Turing Machine (TM)
2/26/2020 CS332 - Theory of Computation 9
Tape 𝑎𝑎 𝑏𝑏 𝑎𝑎 𝑎𝑎
Finite control
…
• Input is written on an infinitely long tape• Head can both read and write, and move in both
directions• Computation halts when control reaches
“accept” or “reject” state
Input
![Page 10: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/10.jpg)
0 → 0,𝑅𝑅
⊔→ ⊔,𝑅𝑅
𝑞𝑞accept
𝑞𝑞reject
0 → 0,𝑅𝑅
⊔→ ⊔,𝑅𝑅
Example
𝑞𝑞0 𝑞𝑞1
![Page 11: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/11.jpg)
Example
0 → 0,𝑅𝑅
⊔→ ⊔,𝑅𝑅
𝑞𝑞accept
𝑞𝑞reject
0 → 0,𝑅𝑅
⊔→ ⊔,𝑅𝑅
0 → 0,𝑅𝑅⊔→ ⊔, 𝐿𝐿
𝑞𝑞0 𝑞𝑞1
𝑞𝑞3
![Page 12: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/12.jpg)
TMs vs. Finite / Pushdown Automata
2/26/2020 CS332 - Theory of Computation 12
![Page 13: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/13.jpg)
Three Levels of AbstractionHigh-Level DescriptionAn algorithm (like CS 330)
Implementation-Level DescriptionDescribe (in English) the instructions for a TM• How to move the head• What to write on the tape
Low-Level DescriptionState diagram or formal specification
2/26/2020 CS332 - Theory of Computation 13
![Page 14: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/14.jpg)
Example
Decide if 𝑤𝑤 ∈ 𝐴𝐴 = 02𝑛𝑛 𝑛𝑛 ≥ 0}
High-Level Description
Repeat the following:• If there is exactly one 0 in 𝑤𝑤, accept• If there is an odd number of 0s in 𝑤𝑤 (> 1), reject• Delete half of the 0s in 𝑤𝑤
2/26/2020 CS332 - Theory of Computation 14
![Page 15: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/15.jpg)
ExampleDecide if 𝑤𝑤 ∈ 𝐴𝐴 = 02𝑛𝑛 𝑛𝑛 ≥ 0}
Implementation-Level Description
1. While moving the tape head left-to-right:a) Cross off every other 0b) If there is exactly one 0 when we reach the right end of the
tape, acceptc) If there is an odd number of 0s when we reach the right
end of the tape, reject2. Return the head to the left end of the tape3. Go back to step 1
2/26/2020 CS332 - Theory of Computation 15
![Page 16: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/16.jpg)
Example
Decide if 𝑤𝑤 ∈ 𝐴𝐴 = 02𝑛𝑛 𝑛𝑛 ≥ 0}Low-Level Description
2/26/2020 CS332 - Theory of Computation 16
![Page 17: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/17.jpg)
Formal Definition of a TMA TM is a 7-tuple 𝑀𝑀 = (𝑄𝑄, Σ, Γ, 𝛿𝛿, 𝑞𝑞0, 𝑞𝑞accept, 𝑞𝑞reject)• 𝑄𝑄 is a finite set of states• Σ is the input alphabet (does not include ⊔)• Γ is the tape alphabet (contains ⊔ and Σ)• 𝛿𝛿 is the transition function
…more on this later• 𝑞𝑞0 ∈ 𝑄𝑄 is the start state• 𝑞𝑞accept ∈ 𝑄𝑄 is the accept state• 𝑞𝑞reject ∈ 𝑄𝑄 is the reject state (𝑞𝑞reject ≠ 𝑞𝑞accept)
2/26/2020 CS332 - Theory of Computation 17
![Page 18: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/18.jpg)
TM Transition Function𝛿𝛿 ∶ 𝑄𝑄 × Γ → 𝑄𝑄 × Γ × {𝐿𝐿,𝑅𝑅}
𝐿𝐿 means “move left” and 𝑅𝑅 means “move right”𝛿𝛿 𝑝𝑝, 𝑎𝑎 = (𝑞𝑞, 𝑏𝑏,𝑅𝑅) means:
• Replace 𝑎𝑎 with 𝑏𝑏 in current cell• Transition from state 𝑝𝑝 to state 𝑞𝑞• Move tape head right
𝛿𝛿 𝑝𝑝, 𝑎𝑎 = (𝑞𝑞, 𝑏𝑏, 𝐿𝐿) means:• Replace 𝑎𝑎 with 𝑏𝑏 in current cell• Transition from state 𝑝𝑝 to state 𝑞𝑞• Move tape head left UNLESS we are at left end of tape, in
which case don’t move
2/26/2020 CS332 - Theory of Computation 18
![Page 19: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/19.jpg)
Configuration of a TMA string with captures the state of a TM together with the contents of the tape
2/26/2020 CS332 - Theory of Computation 19
1 0 1 0 1 1 1 ⊔
𝑞𝑞5
…
![Page 20: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/20.jpg)
Configuration of a TM: FormallyA configuration is a string 𝑢𝑢𝑞𝑞𝑢𝑢 where 𝑞𝑞 ∈ 𝑄𝑄 and 𝑢𝑢, 𝑢𝑢 ∈ Γ∗
• Tape contents = 𝑢𝑢𝑢𝑢 (followed by blanks ⊔)• Current state = 𝑞𝑞• Tape head on first symbol of 𝑢𝑢
2/26/2020 CS332 - Theory of Computation 20
1 0 1 0 1 1 1 ⊔
𝑞𝑞5
…
Example: 101𝑞𝑞50111
![Page 21: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/21.jpg)
How a TM Computes
Start configuration: 𝑞𝑞0𝑤𝑤
One step of computation:• 𝑢𝑢𝑎𝑎 𝑞𝑞 𝑏𝑏𝑢𝑢 yields 𝑢𝑢𝑎𝑎𝑐𝑐 𝑞𝑞𝑞 𝑢𝑢 if 𝛿𝛿 𝑞𝑞, 𝑏𝑏 = (𝑞𝑞𝑞, 𝑐𝑐,𝑅𝑅)• 𝑢𝑢𝑎𝑎 𝑞𝑞 𝑏𝑏𝑢𝑢 yields 𝑢𝑢 𝑞𝑞𝑞 𝑎𝑎𝑐𝑐𝑢𝑢 if 𝛿𝛿 𝑞𝑞, 𝑏𝑏 = (𝑞𝑞𝑞, 𝑐𝑐, 𝐿𝐿)• 𝑞𝑞 𝑏𝑏𝑢𝑢 yields 𝑞𝑞𝑞 𝑐𝑐𝑢𝑢 if 𝛿𝛿 𝑞𝑞, 𝑏𝑏 = (𝑞𝑞𝑞, 𝑐𝑐, 𝐿𝐿)
Accepting configuration: 𝑞𝑞 = 𝑞𝑞acceptRejecting configuration: 𝑞𝑞 = 𝑞𝑞reject
2/26/2020 CS332 - Theory of Computation 21
![Page 22: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/22.jpg)
How a TM Computes𝑀𝑀 accepts input 𝑤𝑤 if there is a sequence of configurations 𝐶𝐶1, … ,𝐶𝐶𝑘𝑘 such that:• 𝐶𝐶1 = 𝑞𝑞0𝑤𝑤• 𝐶𝐶𝑖𝑖 yields 𝐶𝐶𝑖𝑖+1 for every 𝑖𝑖• 𝐶𝐶𝑘𝑘 is an accepting configuration
𝐿𝐿(𝑀𝑀) = the set of all strings 𝑤𝑤 which 𝑀𝑀 accepts𝐴𝐴 is Turing-recognizable if 𝐴𝐴 = 𝐿𝐿(𝑀𝑀) for some TM 𝑀𝑀:• 𝑤𝑤 ∈ 𝐴𝐴 ⟹ 𝑀𝑀 halts on 𝑤𝑤 in state 𝑞𝑞accept• 𝑤𝑤 ∉ 𝐴𝐴 ⟹ 𝑀𝑀 halts on 𝑤𝑤 in state 𝑞𝑞reject OR
𝑀𝑀 runs forever2/26/2020 CS332 - Theory of Computation 22
![Page 23: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/23.jpg)
Recognizers vs. Deciders𝐿𝐿(𝑀𝑀) = the set of all strings 𝑤𝑤 which 𝑀𝑀 accepts
𝐴𝐴 is Turing-recognizable if 𝐴𝐴 = 𝐿𝐿(𝑀𝑀) for some TM 𝑀𝑀:• 𝑤𝑤 ∈ 𝐴𝐴 ⟹ 𝑀𝑀 halts on 𝑤𝑤 in state 𝑞𝑞accept• 𝑤𝑤 ∉ 𝐴𝐴 ⟹ 𝑀𝑀 halts on 𝑤𝑤 in state 𝑞𝑞reject OR
𝑀𝑀 runs forever
𝐴𝐴 is (Turing-)decidable if 𝐴𝐴 = 𝐿𝐿(𝑀𝑀) for some TM 𝑀𝑀which halts on every input
• 𝑤𝑤 ∈ 𝐴𝐴 ⟹ 𝑀𝑀 halts on 𝑤𝑤 in state 𝑞𝑞accept• 𝑤𝑤 ∉ 𝐴𝐴 ⟹ 𝑀𝑀 halts on 𝑤𝑤 in state 𝑞𝑞reject
2/26/2020 CS332 - Theory of Computation 23
![Page 24: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/24.jpg)
Back to Hilbert’s Tenth ProblemComputational Problem: Given a Diophantine equation, does it have a solution over the integers?𝐿𝐿 =
• 𝐿𝐿 is Turing-recognizable
• 𝐿𝐿 is not decidable (1949-70)
2/26/2020 CS332 - Theory of Computation 24
![Page 25: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/25.jpg)
TM Variants
2/26/2020 CS332 - Theory of Computation 25
![Page 26: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/26.jpg)
How Robust is the TM Model?Does changing the model result in different languages being recognizable / decidable?
So far we’ve seen…- We can require that FAs/PDAs have a single accept state- (CFGs can always be put in Chomsky Normal Form)- Adding nondeterminism does not change the languages
recognized by finite automata
Turing machines have an astonishing level of robustness
2/26/2020 CS332 - Theory of Computation 26
![Page 27: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/27.jpg)
Extensions that do not increase the power of the TM model• TMs that are allowed to “stay put” instead of moving
left or right𝛿𝛿 ∶ 𝑄𝑄 × Γ → 𝑄𝑄 × Γ × 𝐿𝐿,𝑅𝑅, 𝑆𝑆
Proof that TMs with “stay put” are no more powerful:Simulation: Convert any TM 𝑀𝑀 with “stay put” into an equivalent TM 𝑀𝑀𝑞 without
Replace every “stay put” instruction in 𝑀𝑀 with a move right instruction, followed by a move left instruction in 𝑀𝑀’
2/26/2020 CS332 - Theory of Computation 27
![Page 28: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/28.jpg)
Extensions that do not increase the power of the TM model• TMs with a 2-way infinite tape, unbounded left to right
Proof that TMs with 2-way infinite tapes are no more powerful:Simulation: Convert any TM 𝑀𝑀 with 2-way infinite tape into a 1-way infinite TM 𝑀𝑀𝑞 with a “two-track tape”
2/26/2020 CS332 - Theory of Computation 28
Tape 𝑎𝑎 𝑏𝑏 𝑎𝑎 …
Input
…
![Page 29: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/29.jpg)
TMs are equivalent to… • TMs with “stay put”• TMs with 2-way infinite tapes• Multi-tape TMs• Nondeterministic TMs• Enumerators• Finite automata with access to an unbounded queue =
2-stack PDAs• Primitive recursive functions• Cellular automata…
2/26/2020 CS332 - Theory of Computation 29
![Page 30: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/30.jpg)
2/26/2020 CS332 - Theory of Computation 30
0 →⊔,𝑅𝑅
⊔→ ⊔,𝑅𝑅
𝑞𝑞accept𝑞𝑞reject
0 → 𝑥𝑥,𝑅𝑅
𝑥𝑥 → 𝑥𝑥,𝑅𝑅 ⊔→ ⊔,𝑅𝑅
𝑥𝑥 → 𝑥𝑥,𝑅𝑅
0 → 0, 𝐿𝐿𝑥𝑥 → 𝑥𝑥, 𝐿𝐿
𝑥𝑥 → 𝑥𝑥,𝑅𝑅⊔→ ⊔, 𝐿𝐿⊔ → ⊔,𝑅𝑅
0 → 𝑥𝑥,𝑅𝑅0 → 0,𝑅𝑅
⊔→ ⊔,𝑅𝑅𝑥𝑥 → 𝑥𝑥,𝑅𝑅
𝑞𝑞0 𝑞𝑞1
𝑞𝑞2
𝑞𝑞3
𝑞𝑞4
![Page 31: BU CS 332 – Theory of Computation€¦ · 1936 – Solution to the Entscheidungsproblem 2/26/2020 CS332 - Theory of Computation 7 Alonzo Church 1903-1995 ... 2/26/2020 CS332 - Theory](https://reader036.fdocuments.net/reader036/viewer/2022070212/61067da6dc3c0e25d24f705e/html5/thumbnails/31.jpg)
2/26/2020 CS332 - Theory of Computation 31
0 → 0,𝑅𝑅
⊔→ ⊔,𝑅𝑅
𝑞𝑞accept
𝑞𝑞reject
0 → 0,𝑅𝑅
⊔→ ⊔,𝑅𝑅
0 → 0,𝑅𝑅⊔→ ⊔, 𝐿𝐿
𝑞𝑞0 𝑞𝑞1
𝑞𝑞3