Teori komputasi (theory of computation)
adalah cabang ilmu komputer teoritis (theoritical computer science). Teori
komputasi berkaitan dengan studi bagaimana persoalan (problem) dapat diselesaikan
pada sebuah model dengan menggunakan algoritma. Model tersebut dinamakan model
komputasi. Teori komputasi dibagi lagi menjadi 3 ranting :
- Teori Otomata (automata theory)
- Teori Komputabilitas (computability theory)
- Teori Kompleksitas (computational complexity theory)
Teori komputabilitas bertujuan untuk
memeriksa apakah persoalan komputasi dapat dipecahkan pada suatu model
komputasi teoritis. Dengan kata lain, teori komputabilitas mengklasifikasikan
persoalan sebagai dapat dipecahkan (solvable) atau persoalan yang tidak dapat
dipecahkan (unsolvable). Teori kompleksitas bertujuan untuk mengkaji kebutuhan
waktu dan ruang untuk memecahkan persoalan yang diselesaikan dengan pendekatan
yang berbeda-beda.
Dengan kata lain, teori kompleksitas
mengklasifikasikan persoalan sebagai persoalan mudah (easy) atau persoalan
sukar (hard). Teori komputabilitas memperkenalkan beberapa konsep yang
digunakan di dalam teori kompleksitas. Teori otomata mengacu pada definisi dan
sifat-sifat model komputasi. Di dalam teori komputasi, model komputasi yang
sering dipakai adalah Mesin Turing.
Beberapa model komputasi :
- Finite State Automata (FSA)/Finite State Machine (FSM)
- Push Down Automata (PDA)
- Mesin Turing (Turing Machine) atau TM
Komputasi Modern
Komputasi modern bisa disebut sebuah
konsep sistem yang menerima intruksi-intruksi dan menyimpannya dalam sebuah
memory, memory disini bisa juga dari memory komputer. Oleh karena pada saat ini
kita melakukan komputasi menggunakan komputer maka bisa dibilang komputer
merupakan sebuah komputasi modern. Konsep ini pertama kali digagasi oleh John
Von Neumann (1903-1957). Dalam kerjanya komputasi modern menghitung dan mencari
solusi dari masalah yang ada, dan perhitungan yang dilakukan itu meliputi:
Ø Akurasi
Ø Kecepatan
Ø Problem Volume Besar
Ø Modelling
Ø Kompleksitas
Komputasi modern terbagi menjadi tiga macam, yaitu :
- Mobile Computing atau komputasi bergerak adalah kemajuan teknologi komputer sehingga dapat berkomunikasi menggunakan jaringan tanpa kabel dan mudah dibawa dan mudah di pindah – pindahkan. Contoh dari perangkat komputasi bergerak, seperti smartphone, GPS, dll
- Grid Computing atau komputasi grid menggunakan komputer yang terpisah oleh geografis, didistribusikan dan terhubung oleh jaringan untuk menyelesaikan masalah komputasi skala besar, ada beberapa daftar yang dapat digunakan untuk mengenali sistem komputasi grid, adalah:
- Sistem untuk koordinat sumber daya komputasi tidak dibawah kendali pusat.
- Sistem menggunakan standart dan protocol yang terbuka.
- Sistem mencoba mencapai kualitas pelayanan yang canggih, yang lebih baik diatas kualitas komponen individu pelayanan komputasi grid.
- Cloud Computing atau Komputasi cloud merupakan gaya komputasi yang terukur dinamis dan sumber daya virtual yang sering menyediakan layanan melalui internet, Komputasi cloud menggambarkan pelengkap baru, konsumsi, dan layanan IT berbasis model dalam internet dan biasanya melibatkan ketentuan dari keterukuran dinamis dan sumber daya virtual yang sering menyediakan layanan melalui internet.
Perbedaan diantara ketigannya adalah:
- Komputasi Mobile menggunakan teknologi komputer yang bekerja seperti handphone, sedangkan komputasi grid dan cloud menggunakan komputer.
- Biaya untuk tenaga komputasi mobile lebih mahal dibandingkan dengan komputasi grid dan cloud.
- Komputasi mobile tidak membutuhkan tempat dan mudah dibawa kemana – mana, sedangkan grid dan cloud membutuhkan tempat yang khusus.
- Untuk komputasi mobile, proses tergantung si pengguna. Komputasi grid proses tergantung pengguna mendapatkan server atau tidak, dan komputasi cloud prosesnya membutuhkan jaringan internet sebagai penghubungnya.
https://deadydiedy.wordpress.com/2015/04/05/komputasi-teori-komputasi/
https://id.wikipedia.org/wiki/Teori_komputasi
Tidak ada komentar:
Posting Komentar