TEORI KOMPUTASI
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 :
1.
Teori Otomata (automata theory)
2.
Teori Komputabilitas (computability
theory)
3.
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
IMPLEMENTASI
Implementasi Komputasi Modern
pada Bidang Kimia
Implementasi komputasi modern di bidang kimia adalah
Computational Chemistry yaitu penggunaan ilmu komputer untuk membantu
menyelesaikan masalah kimia, contohnya penggunaan super komputer untuk
menghitung struktur dan sifat molekul. Istilah kimia teori dapat didefinisikan
sebagai deskripsi matematika untuk kimia, sedangkan kimia komputasi biasanya
digunakan ketika metode matematika dikembangkan dengan cukup baik untuk dapat
digunakan dalam program komputer. Perlu dicatat bahwa kata “tepat” atau
“sempurna” tidak muncul di sini, karena sedikit sekali aspek kimia yang dapat
dihitung secara tepat. Hampir semua aspek kimia dapat digambarkan dalam skema
komputasi kualitatif atau kuantitatif hampiran.
Implementasi Komputasi Modern
pada Bidang Matematika.
Menyelesaikan sebuah masalah yang berkaitan dengan
perhitungan matematis, namun dalam pengertian yang akan dibahas dalam
pembahasan komputasi modern ini merupakan sebuah sistem yang akan menyelesaikan
masalah matematis menggunakan komputer dengan cara menyusun algoritma yang
dapat dimengerti oleh komputer yang berguna untuk menyelesaikan masalah
manusia.
Implementasi Komputasi Modern
pada Bidang Ekonomi
Pemrograman yang didesain khusus untuk komputasi ekonomi,
dan pengembangan alat bantu dalam pendidikan komputasi ekonomi. Karena dibidang
ekonomi pasti memiliki permasalahan yang harus dipecahkan oleh algoritma
contohnya adalah memecahkan teori statistika untuk memecahkan permasalahan
keuangan.
Salah satu contoh komputasi di bidang ekonomi adalah
komputasi statistik. Komputasi statistik adalah jurusan yang mempelajari teknik
pengolahan data, membuat program, dan analisis data serta teknik penyusunan
sistem informasi statistik seperti penyusunan basis data, komunikasi data,
sistem jaringan, dan diseminasi data statistik.
