Komputasi sebetulnya bisa diartikan sebagai cara untuk
menemukan pemecahan masalah dari data input dengan menggunakan suatu algoritma.
Hal ini ialah apa yang disebut dengan teori komputasi, suatu sub-bidang dari
ilmu komputer dan matematika. Selama ribuan tahun, perhitungan dan komputasi
umumnya dilakukan dengan menggunakan pena dan kertas, atau kapur dan batu
tulis, atau dikerjakan secara mental, kadang-kadang dengan bantuan suatu tabel.
Namun sekarang, kebanyakan komputasi telah dilakukan dengan menggunakan
komputer.
Secara umum ilmu komputasi adalah bidang ilmu yang mempunyai
perhatian pada penyusunan model matematika dan teknik penyelesaian numerik
serta penggunaan komputer untuk menganalisis dan memecahkan masalah-masalah
ilmu. Dalam penggunaan praktis, biasanya berupa penerapan simulasi komputer
atau berbagai bentuk komputasi lainnya untuk menyelesaikan masalah-masalah
dalam berbagai bidang keilmuan, tetapi dalam perkembangannya digunakan juga
untuk menemukan prinsip-prinsip baru yang mendasar dalam ilmu. Bidang ini
berbeda dengan ilmu komputer (computer science), yang mengkaji komputasi,
komputer dan pemrosesan informasi. Bidang ini juga berbeda dengan teori dan
percobaan sebagai bentuk tradisional dari ilmu dan kerja keilmuan.
Teori komputasi adalah cabang ilmu komputer dan matematika
yang membahas apakah dan bagaimanakah suatu masalah dapat dipecahkan pada model
komputasi, menggunakan algoritma. Bidang ini dibagi menjadi dua cabang: teori
komputabilitas dan teori kompleksitas, namun kedua cabang berurusan dengan
model formal komputasi. Untuk melakukan studi komputasi dengan ketat, ilmuwan
komputer bekerja dengan abstraksi matematika dari komputer yang dinamakan model
komputasi. Ada beberapa model yang digunakan, namun yang paling umum dipelajari
adalah mesin Turing. Sebuah mesin Turing dapat dipikirkan sebagai komputer
pribadi meja dengan kapasitas memori yang tak terhingga, namun hanya dapat
diakses dalam bagian-bagian terpisah dan diskret. Ilmuwan komputer mempelajari
mesin Turing karena mudah dirumuskan, dianalisis dan digunakan untuk
pembuktian, dan karena mesin ini mewakili model komputasi yang dianggap sebagai
model paling masuk akal yang paling ampuh yang dimungkinkan. Kapasitas memori
tidak terbatas mungkin terlihat sebagai sifat yang tidak mungkin terwujudkan,
namun setiap permasalahan yang "terputuskan" (decidable) yang
dipecahkan oleh mesin Turing selalu hanya akan memerlukan jumlah memori
terhingga. Jadi pada dasarnya setiap masalah yang dapat dipecahkan (diputuskan)
oleh mesin Turing dapat dipecahkan oleh komputer yang memiliki jumlah memori
terbatas.
Teori komputasi bisa menjadi sebuah alternative yang cukup
ampuh untuk menyelesaikan sebuah masalah tertentu yang tidak bisa dipecahkan
secala manual dengan menggunakan sebuah algoritma khusus. Alat seperti mesin
turing ini sangat berguna membantu manusia. Selain itu mesin turing juga mudah
untuk dirumuskan, dianalisis dan digunakan untuk pembuktian dan merupakan model
paling masuk akal.
Tidak ada komentar:
Posting Komentar