Pengertian Teori Komputasi

Pada postingan kali ini saya akan membahas tentang pengertian teori komputasi. Komputasi dapat digambarkan sebagai suatu cara dalam memecahkan suatu persoalan atau masalah dari data input dengan menggunakan suatu algoritma. Komputasi biasanya dapat dilakukan dengan menggunakan pena atau kertas dengan bantuan suatu table. Namun dizaman yang semakin modern ini, kini komputas telah banyak dilakukan oleh masyarakat dengan menggunakan computer.

Pengertian komputasi secara umum merupakan suatu algoritma yang digunakan untuk memecahkan suatu masalah dari sebuah input data. Data input yang dimagsud adalah suatu data yang berasal dari luar lingkungan dari system. Komputasi juga merupakan bagian dari ilmu matematika dan teknik penyelesaian numeric serta penggunaan computer untuk menganalisis dan memecahkan berbagai permasalahan ilmu (sains).

Teori komputasi merupakan bagian dari cabang ilmu komputer dan matematika yang membahas mengenai solusi untuk penyelesaian suatu masalah yang dapat dipecahkan dengan model komputasi dengan menggunakan algoritma. Secara umum, terori komputasi dapat diibaratkan sebagai suatu cara untuk dapat menyelesaikan suatu permasalahan yang berasal dari data input dengan menggunakan suatu algoritma.

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 meisn Turing dapat dipecahkan oleh komputer yang memiliki jumlah memori terbatas.

Sumber: link