Tba2010 01
Tba2010 01
01
01.01
Model Komputasi
string
string input
input komputer
komputer string
string output
output
2 ^ 10 1024
• Apakah yang dilakukan komputer antara waktu ia menerima input
dan waktu ia menghasilkan jawaban?
Komputer melakukan komputasi.
• Komputasi (Computation) adalah sebarisan langkah-langkah yang
dapat dilaksanakan oleh suatu komputer.
• Prosedur sistematik (algoritme) adalah sebarisan berhingga
langkah-langkah yang dijamin menghasilkan jawaban.
• Agar terlepas dari kerumitan-kerumitan yang tidak perlu, kita tidak
mempelajari objek komputer secara langsung, tetapi kita
melakukan abstraksi.
Kita membuat model-model komputasi, yaitu mesin-mesin abstrak
yang dapat diperlakukan secara sistematik.
L . Y . S . Juni 2010
01.02
01.02
L.Y.S.
01.03
01.03
Model komputasi (Mesin Abstrak) Bahasa yang dapat dikenal
• Decision problem:
Problem komputasional yang setiap kasusnya dapat dijawab
dengan “yes” atau “no.”
Contoh : Given a positive integer n, is it prime?.
Suatu decision-problem dapat dipikirkan sebagai suatu
language-recognition problem.
Input dikodekan sebagai suatu string of symbols.
L.Y.S.
01.04
01.04
Bahasa (Language)
• adalah suatu himpunan string yang terdiri dari simbol-simbol
dari suatu alfabet.
Alfabet adalah suatu himpunan berhingga dari simbol-simbol.
Contoh bahasa: bahasa natural, bahasa pemrograman.
String dalam bahasa natural: kalimat.
String dalam bahasa pemrograman: program.
• Apabila kita membahas suatu bahasa, kita mulai dengan
menentukan suatu alfabet yang mengandung semua simbol
yang dapat dipakai untuk membentuk string-string dalam
bahasa tersebut.
Untuk bahasa pemrograman, alfabet mencakup: 10 angka, 26
huruf kecil, 26 huruf besar, spasi, simbol-simbol punctuation.
L.Y.S.
01.05
01.05
• String
Andaikan ∑ adalah suatu alfabet.
Suatu string atas ∑ adalah nol atau lebih unsur dari ∑ yang
ditulis secara berurutan.
Contoh: untuk ∑ = {a,b} string-string atas ∑ adalah a, aa, ab,
aba, bbaa, …
String kosong (null-string/empty-string), yaitu string tanpa
simbol, dinyatakan dengan notasi ε.
Sebagai kesepakatan, ε ∉ ∑.
• Panjang string.
Jika x adalah suatu string atas ∑, panjang dari x (kita nyatakan
dengan |x|) adalah banyaknya simbol dalam x.
Contoh: ∑ = {a,b}. |aaa| = |aab| = |bab| = 3.
|ε| = 0. |b| = |a| = 1
L.Y.S.
01.06
01.06
L.Y.S.
01.07
01.07
L.Y.S.
01.08
01.08
L.Y.S.
01.09
01.09
L.Y.S.
01.10
01.10
L.Y.S.
01.11
01.11
L.Y.S.