P. 1
Mesin Turing

Mesin Turing

|Views: 1,756|Likes:
Dipublikasikan oleh londohollic

More info:

Published by: londohollic on Apr 22, 2011
Hak Cipta:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

06/13/2013

pdf

text

original

Mesin Turing

1
Pertemuan Ke-14
Sri Handayaningsih, S.T., M.T.
Email : ning_s12@yahoo.com
Teknik Informatika
TIU & TIK
Memahami konsep :
1. Definisi Mesin Turing
2. Contoh aplikasi Mesin Turing
3. Mesin Turing sebagai penerima bahasa
4. Mesin Turing sebagai transducer
22
4. Mesin Turing sebagai transducer
Hirarki Bahasa
Bahasa Bebas Konteks
n n n
c b a
ww
?
?
3
* a
Bahasa Reguler
Bahasa Bebas Konteks
n n
b a
R
ww
* *b a
Bahasa Bebas Konteks
n n n
c b a
ww
Bahasa yg diterima
Mesin Turing
4
* a
Bahasa Reguler
Bahasa Bebas Konteks
n n
b a
R
ww
* *b a
Definisi Formal
untuk
Mesin Turing
5
Mesin Turing
Fungsi Transisi
1
q
2
q
R b a , ÷
6
) , , ( ) , (
2 1
R b q a q = o
1
q
2
q
L d c , ÷
Fungsi Transisi
7
) , , ( ) , (
2 1
L d q c q = o
Definisi Mesin Turing:
) , , , , , , (
0
F q Q M ^ I E = o
States
Input
alphabet
Pita
alphabet
8
) , , , , , , (
0
F q Q M ^ I E = o
Fungsi
Transisi
State
awal
kosong
State
akhir
Konfigurasi
^ ^ ^
b
a
1
q
a c
^
9
Diskripsi secara instan : ba q ca
1
^ ^
y x
2
q
a
b
Time 4
^ ^
y x
0
q
a
b
Time 5
^ ^
10
Gerakan :
ayb q x xayb q
0 2

^ ^
y x
2
q
a
b
Time 4
^ ^
y x
0
q
a
b
Time 5
^ ^
Time 6 Time 7
11
b q xxy yb q xx ayb q x xayb q
1 1 0 2
  
^ ^
y x
1
q
x
b ^ ^
y x
1
q
x
b ^ ^
b q xxy yb q xx ayb q x xayb q
1 1 0 2
  
b q xxy xayb q
1 2
-

Notasi yg Equivalen :
12
b q xxy xayb q
1 2

Notasi yg Equivalen :
Initial configurasi:
w q
0
w
string Inputan
13
^ ^ b
a
0
q
a
b ^
Bahasa yg Diterima
Untuk setiap Mesin Turing
M
} : { ) (
2 1 0
x q x w q w M L
f
-
= 
14
2 1 0 f
State awal State akhir
Standar Mesin Turing
• Deterministik
Sebuah mesin dikatakan standar jika :
15
• pita tak terhingga pada kedua arah
•Pita merupakan input/output file
Mesin Turing
...... ......
Tape
Read-Write head
Control Unit
16
Control Unit
Pita
...... ......
Read-Write head
Tidak punya batasan – panjang tak terhingga
17
Read-Write head
head bergerak kiri atau kanan
...... ......
Read-Write head
Langkah head pada setiap waktu :
18
Langkah head pada setiap waktu :
1. Read (membaca) simbol
2. Write (menulis) simbol
3. Bergerak kiri atau kanan
...... ......
Contoh :
Time 0
...... ......
Time 1
a a c
b
19
...... ......
Time 1
1. Reads
2. Writes
a
b
k
c
a
k
3. Bergerak kiri
...... ......
Time 1
a
b
k
c
...... ......
Time 2
20
...... ......
a
k
c f
1. Reads
2. Writes
b
f
3. Bergerak kanan
String inputan
...... ......
^ ^ ^ ^
Simbol kosong
^
a
b
c a
string Inputan
21
head
b
Head mulai pada posisi kiri
pada string inputan
...... ......
^ ^ ^ ^
Simbol kosong
^
a
b
c a
string Inputan
22
head
b
Catatan : string inputan tidak pernah kosong
State & Transisi
q q
L b a , ÷
Read
Write
Bergerak ke kiri
(Left)
23
1
q
2
q
L b a , ÷
1
q
2
q
R b a , ÷
Bergerak
Kanan ( Right)
Contoh :
...... ......
^ ^ ^ ^ ^
a
b
c a
Time 1
1
q
State saat ini
24
1
q
2
q
R b a , ÷
State saat ini
...... ......
^ ^ ^ ^ ^
a
b
c a
Time 1
Time 2
1
q
25
1
q
2
q
R b a , ÷
...... ......
^ ^ ^ ^ ^
a
b
c
b
Time 2
2
q
...... ......
^ ^ ^ ^ ^
a
b
c a
Time 1
Time 2
1
q
Contoh :
26
1
q
2
q
L b a , ÷
...... ......
^ ^ ^ ^ ^
a
b
c
b
Time 2
2
q
...... ......
^ ^ ^ ^ ^
a
b
c a
Time 1
Time 2
1
q
Contoh :
27
1
q
2
q
R g, ÷ ^
...... ......
^ ^ ^ ^
g
a
b
c
b
Time 2
2
q
Deterministik
2
q
R b a , ÷
diterima
Tdk diterima
2
q
R b a , ÷
Mesin Turing adalah deterministik
28
1
q
2
q
3
q
L d b , ÷
1
q
3
q
L d a , ÷
Tidak ada transisi lambda yg mengikuti
Fungsi Transisi Parsial
...... ......
^ ^ ^ ^ ^
a
b
c a
1
q
Contoh :
29
1
q
2
q
R b a , ÷
3
q
L d b , ÷
1
q
Tidak ada transisi
untuk simbol inputan c
Diterima :
Menolak
Mesin akan menolak jika tidak ada
transisi untuk diikuti
30
transisi untuk diikuti
Contoh :
...... ......
^ ^ ^ ^ ^
a
b
c a
1
q
31
1
q
1
q
2
q
R b a , ÷
3
q
L d b , ÷
Transisi tdk mungkin
HALT !!!
State Akhir
1
q
2
q
Diterima
q q
Tdk diterima
32
1
q
2
q
Tdk diterima
•State akhir tdk mempunyai transisi keluar
• pada state akhir mesin ditolak
Penerimaan
Input diterima
Jika mesin ditolak
Pada state akhir
jika mesin halt
33
Input ditolak
jika mesin halt
pada state bukan akhir
atau
jika mesin pada loop
Tak terhingga
Contoh MesinTuring
Tentukan bahasa yg diterima oleh graf
Transisi berikut ini ?
34
0
q
R a a , ÷
L , ^ ÷ ^
1
q
Jawaban
Mesin Turing menerima bahasa : * aa
35
0
q
R a a , ÷
L , ^ ÷ ^
1
q
^ ^ ^ ^
a a
Time 0
0
q
a
36
0
q
R a a , ÷
L , ^ ÷ ^
1
q
^ ^ ^ ^
a a
Time 1
0
q
a
37
0
q
R a a , ÷
L , ^ ÷ ^
1
q
^ ^ ^ ^
a a
Time 2
0
q
a
38
0
q
R a a , ÷
L , ^ ÷ ^
1
q
^ ^ ^ ^
a a
Time 3
0
q
a
39
0
q
R a a , ÷
L , ^ ÷ ^
1
q
^ ^ ^ ^
a a
Time 4
1
q
a
40
0
q
R a a , ÷
L , ^ ÷ ^
1
q
Halt & diterima
Contoh yg ditolak
^ ^ ^ ^
b
a
Time 0
0
q
a
41
0
q
R a a , ÷
L , ^ ÷ ^
1
q
^ ^ ^ ^
b
a
Time 1
0
q
a
Transisi tidak mungkin
42
0
q
R a a , ÷
L , ^ ÷ ^
1
q
Transisi tidak mungkin
Halt & ditolak
Tentukan bahasa yg diterima oleh graf
Transisi berikut ini ?
L b b , ÷
43
0
q
R a a , ÷
L , ^ ÷ ^
1
q
L b b , ÷
Contoh Loop Tdk Berhenti
L b b , ÷
Mesin Turing
untuk bahasa
* ) ( * b a b aa + +
44
0
q
R a a , ÷
L , ^ ÷ ^
1
q
L b b , ÷
^ ^ ^ ^
b
a
Time 0
0
q
a
L b b , ÷
45
0
q
R a a , ÷
L , ^ ÷ ^
1
q
L b b , ÷
^ ^ ^ ^
b
a
Time 1
0
q
a
L b b , ÷
46
0
q
R a a , ÷
L , ^ ÷ ^
1
q
L b b , ÷
^ ^ ^ ^
b
a
Time 2
0
q
a
L b b , ÷
47
0
q
R a a , ÷
L , ^ ÷ ^
1
q
L b b , ÷
^ ^ ^ ^
b
a
Time 2
0
q
a
^ ^ ^ ^
b
a
Time 3
0
q
a
L
o
o
p
t
i
d
a
k
b
e
r
h
e
n
t
i
48
^ ^ ^ ^
b
a
Time 4
0
q
a
^ ^ ^ ^
b
a
Time 5
0
q
a
L
o
o
p
t
i
d
a
k
b
e
r
h
e
n
t
i
kenapa loop tidak berhenti, karena:
•State akhir tidak dapat direached
•Mesin tidak pernah halts
49
•Mesin tidak pernah halts
•inputan tidak diterima
Contoh Mesin Turing Lainya
Tentukan bahasa yg diterima oleh graf
Transisi berikut ini ?
R y y , ÷ L y y , ÷
q
50
0
q
1
q
2
q
3
q
R x a , ÷
R a a , ÷
R y y , ÷
L y b , ÷
L a a , ÷
L y y , ÷
R x x , ÷
R y y , ÷
R y y , ÷
4
q
L , ^ ÷ ^
Jawaban :
Mesin Turing untuk bahasa : } {
n n
b a
R y y , ÷ L y y , ÷
q
51
0
q
1
q
2
q
3
q
R x a , ÷
R a a , ÷
R y y , ÷
L y b , ÷
L a a , ÷
L y y , ÷
R x x , ÷
R y y , ÷
R y y , ÷
4
q
L , ^ ÷ ^
R y y , ÷ L y y , ÷
q
^ ^ b
a
0
q
a
b Time 0 ^
52
0
q
1
q
2
q
3
q
R x a , ÷
R a a , ÷
R y y , ÷
L y b , ÷
L a a , ÷
L y y , ÷
R x x , ÷
R y y , ÷
R y y , ÷
4
q
L , ^ ÷ ^
R y y , ÷ L y y , ÷
q
^ ^ b
x
1
q
a
b ^ Time 1
53
0
q
1
q
2
q
3
q
R x a , ÷
R a a , ÷
R y y , ÷
L y b , ÷
L a a , ÷
L y y , ÷
R x x , ÷
R y y , ÷
R y y , ÷
4
q
L , ^ ÷ ^
R y y , ÷ L y y , ÷
q
^ ^ b
x
1
q
a
b ^ Time 2
54
0
q
1
q
2
q
3
q
R x a , ÷
R a a , ÷
R y y , ÷
L y b , ÷
L a a , ÷
L y y , ÷
R x x , ÷
R y y , ÷
R y y , ÷
4
q
L , ^ ÷ ^
R y y , ÷ L y y , ÷
q
^ ^
y x
2
q
a
b ^ Time 3
55
0
q
1
q
2
q
3
q
R x a , ÷
R a a , ÷
R y y , ÷
L y b , ÷
L a a , ÷
L y y , ÷
R x x , ÷
R y y , ÷
R y y , ÷
4
q
L , ^ ÷ ^
R y y , ÷ L y y , ÷
q
^ ^
y x
2
q
a
b ^ Time 4
56
0
q
1
q
2
q
3
q
R x a , ÷
R a a , ÷
R y y , ÷
L y b , ÷
L a a , ÷
L y y , ÷
R x x , ÷
R y y , ÷
R y y , ÷
4
q
L , ^ ÷ ^
R y y , ÷ L y y , ÷
q
^ ^
y x
0
q
a
b ^ Time 5
57
0
q
1
q
2
q
3
q
R x a , ÷
R a a , ÷
R y y , ÷
L y b , ÷
L a a , ÷
L y y , ÷
R x x , ÷
R y y , ÷
R y y , ÷
4
q
L , ^ ÷ ^
R y y , ÷ L y y , ÷
q
^ ^
y x
1
q
x
b ^ Time 6
58
0
q
1
q
2
q
3
q
R x a , ÷
R a a , ÷
R y y , ÷
L y b , ÷
L a a , ÷
L y y , ÷
R x x , ÷
R y y , ÷
R y y , ÷
4
q
L , ^ ÷ ^
R y y , ÷ L y y , ÷
q
^ ^
y x
1
q
x
b ^ Time 7
59
0
q
1
q
2
q
3
q
R x a , ÷
R a a , ÷
R y y , ÷
L y b , ÷
L a a , ÷
L y y , ÷
R x x , ÷
R y y , ÷
R y y , ÷
4
q
L , ^ ÷ ^
R y y , ÷ L y y , ÷
q
^ ^
y x x y
2
q
^ Time 8
60
0
q
1
q
2
q
3
q
R x a , ÷
R a a , ÷
R y y , ÷
L y b , ÷
L a a , ÷
L y y , ÷
R x x , ÷
R y y , ÷
R y y , ÷
4
q
L , ^ ÷ ^
R y y , ÷ L y y , ÷
q
^ ^
y x x y
2
q
^ Time 9
61
0
q
1
q
2
q
3
q
R x a , ÷
R a a , ÷
R y y , ÷
L y b , ÷
L a a , ÷
L y y , ÷
R x x , ÷
R y y , ÷
R y y , ÷
4
q
L , ^ ÷ ^
R y y , ÷ L y y , ÷
q
^ ^
y x
0
q
x y
^ Time 10
62
0
q
1
q
2
q
3
q
R x a , ÷
R a a , ÷
R y y , ÷
L y b , ÷
L a a , ÷
L y y , ÷
R x x , ÷
R y y , ÷
R y y , ÷
4
q
L , ^ ÷ ^
R y y , ÷ L y y , ÷
q
^ ^
y x
3
q
x y
^ Time 11
63
0
q
1
q
2
q
3
q
R x a , ÷
R a a , ÷
R y y , ÷
L y b , ÷
L a a , ÷
L y y , ÷
R x x , ÷
R y y , ÷
R y y , ÷
4
q
L , ^ ÷ ^
R y y , ÷ L y y , ÷
q
^ ^
y x
3
q
x y
^ Time 12
64
0
q
1
q
2
q
3
q
R x a , ÷
R a a , ÷
R y y , ÷
L y b , ÷
L a a , ÷
L y y , ÷
R x x , ÷
R y y , ÷
R y y , ÷
4
q
L , ^ ÷ ^
R y y , ÷ L y y , ÷
q
^ ^
y x
4
q
x y
^
Halt & diterima
Time 13
65
0
q
1
q
2
q
3
q
R x a , ÷
R a a , ÷
R y y , ÷
L y b , ÷
L a a , ÷
L y y , ÷
R x x , ÷
R y y , ÷
R y y , ÷
4
q
L , ^ ÷ ^
Jika dilakukan modifikasi pada
Mesin untuk bahasa
} {
n n
b a
Observasi:
66
Dengan sangat mudah untuk
menkontruksi mesin untuk
bahasa
} {
n n n
c b a
Mesin untuk L = {vv|v in
{a,b}*} ?
67
{a,b}*} ?
Fungsi Komputasi
dengan
Mesin Turing
68
Mesin Turing
fungsi
) (w f
Domain:
Range:
mempunyai:
D S
) (w f
69
D we
S w f e ) (
) (w f
Fungsi mungkin mempunyai banyak parameter :
y x y x f + = ) , (
Contoh:
Fungsi Penambahan
70
Domain Integer
Binary:
Desimal:
101
0,5
71
Unary: 11111
unary mudah utk dimanipulasi dengan
mesin Turing
Definisi:
fungsi bisa dikomputasi jika
MesinTuring mempunyai hal-hal sbb :
f
M
Configurasi awal Configurasi akhir
72
Configurasi awal Configurasi akhir
D we Domain
^
0
q
^
w
^
f
q
^
) (w f
State akhir State awal
Untuk semua
) (
0
w f q w q
f
-

f
M
Dengan kata lain :
fungsi bisa dikomputasi jika
MesinTuring mempunyai hal-hal sbb :
73
Configurasi awal Configurasi akhir
D we Domain
Untuk semua
Contoh
Fungsi y x y x f + = ) , ( Dapat dikomputasi
Mesin Turing:
y x,
integer
74
Mesin Turing:
string Inputan :
y x0
unary
string Outputan : 0 xy
unary
^ 0
0
q
1 1 ^ 1 1
x y
1  
Mulai
State awal
75
State awal
“0” memrupakan pembatas
Untuk dua nomer yang sama
^ 0
0
q
1 1 ^ 1 1
x y
1  
Start
State awal
76
^ 0
f
q
1 ^ 1
y x +
 1 1
Finish
State akhir
‘0’ membantu ketika digunakan
Sbg kesimpulan untuk operasi lain
77
^ 0
f
q
1 ^ 1
y x +
 1 1
Finish
State akhir
Mesin Turing untuk fungsi
L , 1 1÷
R , 1 1÷
R , 1 1÷
y x y x f + = ) , (
78
0
q
1
q
2
q
3
q
L , ^ ÷ ^ L , 0 1÷
L , 1 1÷
R , ^ ÷ ^
R , 1 0 ÷
R , 1 1÷
4
q
R , 1 1÷
Contoh eksekusi:
11 = x
11 = y
^ 0
0
q
1 1 ^ 1 1
Time 0
x y
(2)
(2)
79
Kesimpulan akhir
^ 0
4
q
1 1 ^ 1 1
y x +
^ 0
0
q
1 1 Time 0 ^
L , 1 1÷
R , 1 1÷
R , 1 1÷
1 1
80
0
q
1
q
2
q
3
q
L , ^ ÷ ^ L , 0 1÷
L , 1 1÷
R , ^ ÷ ^
R , 1 0 ÷
R , 1 1÷
4
q
R , 1 1÷
^
0
q
^
L , 1 1÷
R , 1 1÷
R , 1 1÷
0 1 1 1 1 Time 1
81
0
q
1
q
2
q
3
q
L , ^ ÷ ^ L , 0 1÷
L , 1 1÷
R , ^ ÷ ^
R , 1 0 ÷
R , 1 1÷
4
q
R , 1 1÷
L , 1 1÷
R , 1 1÷
R , 1 1÷
^ 0
0
q
1 1 ^ 1 1 Time 2
82
0
q
1
q
2
q
3
q
L , ^ ÷ ^ L , 0 1÷
L , 1 1÷
R , ^ ÷ ^
R , 1 0 ÷
R , 1 1÷
4
q
R , 1 1÷
L , 1 1÷
R , 1 1÷
R , 1 1÷
^
1
q
^ 1 1 1 1 1 Time 3
83
0
q
1
q
2
q
3
q
L , ^ ÷ ^ L , 0 1÷
L , 1 1÷
R , ^ ÷ ^
R , 1 0 ÷
R , 1 1÷
4
q
R , 1 1÷
L , 1 1÷
R , 1 1÷
R , 1 1÷
^
1
q
1 1 ^ 1 1 1 Time 4
84
0
q
1
q
2
q
3
q
L , ^ ÷ ^ L , 0 1÷
L , 1 1÷
R , ^ ÷ ^
R , 1 0 ÷
R , 1 1÷
4
q
R , 1 1÷
L , 1 1÷
R , 1 1÷
R , 1 1÷
^
1
q
^ 1 1 1 1 1 Time 5
85
0
q
1
q
2
q
3
q
L , ^ ÷ ^ L , 0 1÷
L , 1 1÷
R , ^ ÷ ^
R , 1 0 ÷
R , 1 1÷
4
q
R , 1 1÷
L , 1 1÷
R , 1 1÷
R , 1 1÷
^
2
q
1 1 ^ 1 1 1 Time 6
86
0
q
1
q
2
q
3
q
L , ^ ÷ ^ L , 0 1÷
L , 1 1÷
R , ^ ÷ ^
R , 1 0 ÷
R , 1 1÷
4
q
R , 1 1÷
L , 1 1÷
R , 1 1÷
R , 1 1÷
^
3
q
^ 1 1 1 0 1 Time 7
87
0
q
1
q
2
q
3
q
L , ^ ÷ ^ L , 0 1÷
L , 1 1÷
R , ^ ÷ ^
R , 1 0 ÷
R , 1 1÷
4
q
R , 1 1÷
L , 1 1÷
R , 1 1÷
R , 1 1÷
^
3
q
1 1 ^ 1 0 1 Time 8
88
0
q
1
q
2
q
3
q
L , ^ ÷ ^ L , 0 1÷
L , 1 1÷
R , ^ ÷ ^
R , 1 0 ÷
R , 1 1÷
4
q
R , 1 1÷
L , 1 1÷
R , 1 1÷
R , 1 1÷
^
3
q
^ 1 1 1 0 1 Time 9
89
0
q
1
q
2
q
3
q
L , ^ ÷ ^ L , 0 1÷
L , 1 1÷
R , ^ ÷ ^
R , 1 0 ÷
R , 1 1÷
4
q
R , 1 1÷
L , 1 1÷
R , 1 1÷
R , 1 1÷
^
3
q
1 1 ^ 1 0 1 Time 10
90
0
q
1
q
2
q
3
q
L , ^ ÷ ^ L , 0 1÷
L , 1 1÷
R , ^ ÷ ^
R , 1 0 ÷
R , 1 1÷
4
q
R , 1 1÷
L , 1 1÷
R , 1 1÷
R , 1 1÷
^
3
q
^ 1 1 1 0 1 Time 11
91
0
q
1
q
2
q
3
q
L , ^ ÷ ^ L , 0 1÷
L , 1 1÷
R , ^ ÷ ^
R , 1 0 ÷
R , 1 1÷
4
q
R , 1 1÷
L , 1 1÷
R , 1 1÷
R , 1 1÷
^
4
q
1 1 ^ 1 0 1 Time 12
92
0
q
1
q
2
q
3
q
L , ^ ÷ ^ L , 0 1÷
L , 1 1÷
R , ^ ÷ ^
R , 1 0 ÷
R , 1 1÷
4
q
R , 1 1÷
HALT & diterima
Pustaka
1. Tedy Setiadi, Diktat Teori Bahasa dan Otomata, Teknik
Informatika UAD, 2005
2. Hopcroft John E., Rajeev Motwani, Jeffrey D. Ullman,
Introduction to Automata Theory, Languages, and
Computation, 2rd, Addison-Wesley,2000
3. Martin C. John, Introduction to Languages and Theory
of Computation, McGraw-Hill Internatioanal edition,1991
4. Linz Peter,Introduction to Formal Languages &
93
4. Linz Peter,Introduction to Formal Languages &
Automata, DC Heath and Company, 1990
5. Dulimarta Hans, Sudiana, Catatan Kuliah Matematika
Informatika, Magister Teknik Informatika ITB, 1998
6. Hinrich Schütze, IMS, Uni Stuttgart, WS 2006/07,
Slides based on RPI CSCI 2400

You're Reading a Free Preview

Mengunduh
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->