Sesuai
tugas softskill yang di berikan pada mata kuliah Pengantar Komputasi modern
yaitu mengenai teori komputasi, disini saya akan menjelaskan pengertian dari
komputasi itu sendiri serta beberapa model komputasi.
Teori komputasi adalah cabang ilmu
komputer dan matematika yang membahas apakah dan bagaimanakah
suatu masalah dapat dipecahkan pada model komputasi,
menggunakan algoritma. Algoritma yang digunakan yaitu untuk menemukan
suatu cara dalam memecahkan masalah dari sebuah data input. Data input disini
adalah sebuah masukan yang berasal dari luar lingkungan sistem. Komputasi ini
merupakan bagian dari ilmu komputer berpadu dengan ilmu matematika. 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 (sains). Dalam
penggunaan secara umum, biasanya berupa penerapan simulasi komputer atau
berbagai bidang keilmuan, tetapi dalam perkembangannya digunakan juga untuk menemukan
prinsip-prinsip baru yang mendasar terhadap bidang ilmu yang mendasari teori
ini.
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. Dalam ilmu alam, pendekatan ilmu komputasi dapat
memberikan berbagai pemahaman baru, melalui penerapan model-model matematika
dalam program komputer berdasarkan landasan teori yang telah berkembang, untuk
menyelesaikan masalah-masalah nyata dalam ilmu tersebut.
Beberapa
model komputasi :
- Finite
State Automata (FSA)/Finite State Machine (FSM). Finite State
Automata (FSA) adalah mesin abstrak berupa sistem model matematika
dengan masukan dan keluaran diskrit yang dapat mengenali bahasa paling
sederhana (bahasa reguler) dan dapat diimplementasikan secara nyata.
- Push Down
Automata (PDA). Pushdown automata adalah automata yang mempunyai kendali
terhadap tape masukan dan stack yang berdisplin LIFO
(Last In, First Out). Push Down
automata adalah recognizer nondeterministik satu arah yang
memiliki penyimpanan sementara tak berhingga berisi pushdown list.
- Mesin Turing
(Turing Machine) atau TM. 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)
Sumber
:
0 comments:
Post a Comment