[ Prev ]
2020-04-27

-- Apr 22 In-Class Exercise Thread
Resource Description for Snapchat-395858165.jpg
((resource:Snapchat-395858165.jpg|Resource Description for Snapchat-395858165.jpg))

-- Apr 22 In-Class Exercise Thread
Let N = {Q, ∑, Γ, δ, q, H}
Q = {q1, q2} ∑ = {1} Γ = {0, □}
δ = { (q1 ,1) -> (q1, 0, R), (q1, 1) -> (q2, □, L) } H = {q2}
input: (q1, 0) | - (q2, 0)
Let N = {Q, ∑, Γ, δ, q, H} Q = {q1, q2} ∑ = {1} Γ = {0, □} δ = { (q1 ,1) -> (q1, 0, R), (q1, 1) -> (q2, □, L) } H = {q2} input: (q1, 0) | - (q2, 0)

-- Apr 22 In-Class Exercise Thread
1. N = (Q, Σ, Γ, δ, q, H),
   Q = {q0, q1}, Σ = {a}, Γ = {0, □}, δ = {(q0, q1) -> (q0, a, R), (q1, □, R)}, H = {q1}
2. Input a:
   (q0, a) | - (q1, a)
1. N = (Q, Σ, Γ, δ, q, H), Q = {q0, q1}, Σ = {a}, Γ = {0, □}, δ = {(q0, q1) -> (q0, a, R), (q1, □, R)}, H = {q1} 2. Input a: (q0, a) | - (q1, a)

-- Apr 22 In-Class Exercise Thread
NTM is a set of N = {Q, ∑, Γ, δ, q, H}
Q = {q1, q2}
∑ = {0}
Γ = {0, □}
δ = { (q1 ,0) -> (q1, 0, R), (q1, 0) -> (q2, □, R) }
H = {q2}
2.Input 0:
(q1, 0) | - (q2, 0)
(Edited: 2020-04-27)
NTM is a set of N = {Q, ∑, Γ, δ, q, H} Q = {q1, q2} ∑ = {0} Γ = {0, □} δ = { (q1 ,0) -> (q1, 0, R), (q1, 0) -> (q2, □, R) } H = {q2} 2.Input 0: (q1, 0) | - (q2, 0)

-- Apr 22 In-Class Exercise Thread
Let N = {Q, ∑, Γ, δ, q, H} is a NTM Q = {q1, q2} ∑ = {0} Γ = {0, □} δ = { (q1 ,0) -> (q1, 0, R), (q1, 0) -> (q2, □, R) } H = {q2}
input (q1, 0) | - (q2, 0)
Let N = {Q, ∑, Γ, δ, q, H} is a NTM Q = {q1, q2} ∑ = {0} Γ = {0, □} δ = { (q1 ,0) -> (q1, 0, R), (q1, 0) -> (q2, □, R) } H = {q2} input (q1, 0) | - (q2, 0)

-- Apr 22 In-Class Exercise Thread
Supposed NTM:
N = {Q, ∑, Γ, δ, q, H} where:
Q = {q0, q1},
∑ = {a},
Γ = {a, □},
δ = { (q0 ,a) -> (q0, a, R), (q0, a) -> (q1, □, R) },
H = {q1}
  
Example:
Input a:
(q0, a) | - (q1, a)
(Edited: 2020-04-27)
Supposed NTM: N = {Q, ∑, Γ, δ, q, H} where: Q = {q0, q1}, ∑ = {a}, Γ = {a, □}, δ = { (q0 ,a) -> (q0, a, R), (q0, a) -> (q1, □, R) }, H = {q1} Example: Input a: (q0, a) | - (q1, a)

-- Apr 22 In-Class Exercise Thread
Resource Description for Note Apr 27, 2020.jpg
((resource:Note Apr 27, 2020.jpg|Resource Description for Note Apr 27, 2020.jpg))

-- Apr 22 In-Class Exercise Thread
N = (Q, Σ, Γ, δ, H) Q = {q0, q1} Σ = {a} Γ = {a, □} δ = {(q0, a) -> (q0, a, R)
	 (q0, a) -> (q1, □, R)} 
H = {q1}
String aa: (q0, (□, a, a□) ) |- (q0, (□a, a, □)) |- (q1, (□a□, □, □))
N = (Q, Σ, Γ, δ, H) Q = {q0, q1} Σ = {a} Γ = {a, □} δ = {(q0, a) -> (q0, a, R) (q0, a) -> (q1, □, R)} H = {q1} String aa: (q0, (□, a, a□) ) |- (q0, (□a, a, □)) |- (q1, (□a□, □, □))

-- Apr 22 In-Class Exercise Thread
(Q,Σ,Γ,δ,1,H)
where Q={q1, q2}
Σ = {a}
Γ = {a, □}
δ = { (q1, a) -> (q1, a, R), (q1, a) -> (q2, □, R) }
H = {q2}
(Edited: 2020-04-27)
(Q,Σ,Γ,δ,1,H) where Q={q1, q2} Σ = {a} Γ = {a, □} δ = { (q1, a) -> (q1, a, R), (q1, a) -> (q2, □, R) } H = {q2}

-- Apr 22 In-Class Exercise Thread
{Q, ∑, Γ, δ, q, H} Q = {q1, q2} ∑ = {1} Γ = {0, □} δ = { (q1 ,1) -> (q1, 0, R), (q1, 1) -> (q2, □, L) } H = {q2}
{Q, ∑, Γ, δ, q, H} Q = {q1, q2} ∑ = {1} Γ = {0, □} δ = { (q1 ,1) -> (q1, 0, R), (q1, 1) -> (q2, □, L) } H = {q2}
X