Pada pembahasan kali in saya akan membahas mengenai pengertian
dari teori komputasi modern. Pada teori ilmu computer dan matematika,
teori komputasi adalah cabang yang berhubungan dengan bagaimana masalah dapat
dipecahkan pada sebuah model komputasi secara efisien menggunakan algoritma. Jadi
bisa disimpulkan bahwa komputasi merupakan sebuah konsep yang digunakan untuk
memecahkan permasalahan dari sebuah data input dengan menggunakan algoritma.
Sedangkan komputasi modern merupakan sebuah konsep sistem
yang menerima intruksi-intruksi dan menyimpannya dalam sebuah memory, memory
disini bisa juga dari memory komputer. Oleh karena itu pada
saat ini kita melakukan komputasi menggunakan komputer maka bisa dibilang
komputer merupakan sebuah komputasi modern.
Komputasi modern digunakan untuk memecahkan masalah yang ada,
perhitungan komputasi yaitu seperti :
·
Akurasi (bit, floating point)
·
Kecepatan (dalam satuanHZ)
·
Problem Volume Besar (parallel)
·
Modeling (NN dan GA)
·
Kompleksitas (menggunakan teori big O)
Sejarah Komputasi Modern
Sejarah komputer modern dimulai dengan dua teknologi yang
terpisah -perhitungan otomatis dan dapat di program- tapi tidak ada satu
perangkat pun yang dapat dikatakan sebagai komputer, karena sebagian penerapan
yang tidak konsisten terhadap istilah tersebut.
Salah satu tokoh yang paling berpengaruh terhadap perkembangan
komputasi modern adalah John Von Neumann (1903-1957).
Teori Automata Dan Bahasa Formal
Teori Otomata adalah teori mengenai mesin-mesin abstrak,
dan berkaitan erat dengan teori bahasa formal. ada
beberapa hal yang berkaitan dengan Otomata, yaitu Grammar. Grammar adalah
bentuk abstrak yang dapat diterima (accept) untuk membangkitkan suatu kalimat
otomata berdasarkan suatu aturan tertentu.
Teori Bahasa adalah konsep-konsep pada "string alpabet
V" dalam penyambungan karakter-karakter alpabet untuk membentuk suatu
makna (bahasa).
Finite State Machine
FSM adalah sebuah
metodologi perancangan sistem kontrol yang menggambarkan tingkah laku atau
prinsip kerja sistem dengan menggunakan tiga hal berikut: State (Keadaan),
Event (kejadian) dan action (aksi). Pada satu saat dalam periode waktu yang
cukup signifikan, sistem akan berada pada salah satu state yang aktif.
Mesin Turing
Mesin Turing adalah model komputasi teoretis yang ditemukan
oleh Alan Turing, berfungsi sebagai model ideal
untuk melakukan perhitungan matematis. Walaupun model ideal ini diperkenalkan
sebelum komputer nyata
dibangun, model ini tetap diterima kalangan ilmu komputer sebagai
model komputer yang sesuai untuk menentukan apakah suatu fungsi dapat
selesaikan oleh komputer atau tidak (menentukan computable function).
Mesin Turing terkenal dengan ungkapan " Apapun yang bisa dilakukan oleh
Mesin Turing pasti bisa dilakukan olehkomputer ".
Sumber: