TEORI KOMPUTASI DI BIDANG FISIKA
Teori Komputasi
Teori komputasi adalah cabang ilmu komputer dan matematika yang membahas apakah dan bagaimanakah suatu masalah dapat dipecahkan pada model komputasii, menggunakan algoritma. Bidang ilmu ini terutama membahas hal terkait komputabilitas dan kompleksitas, dalam kaitannya dengan formalisme komputasi.
Teori komputasi melibatkan studi tentang bagaimana memecahkan masalah (problem) menggunakan model algoritma. Model ini disebut model komputasi. Beberapa model digunakan, tetapi yang paling banyak dipelajari adalah mesin Turing. Mesin Turing dapat dianggap sebagai komputer pribadi desktop dengan kapasitas penyimpanan tak terbatas, tetapi hanya bagian individual yang dapat diakses. Ilmuwan komputer mempelajari mesin Turing. Ini karena mudah digunakan dalam formulasi, analisis, dan pembuktian mesin Turing, dan mewakili model komputasi yang dianggap sebagai model dengan performa terbaik dan paling valid. Memori tidak terbatas mungkin merupakan properti yang mustahil, tetapi masalah "dapat ditentukan" yang dipecahkan oleh mesin Turing hanya membutuhkan jumlah memori yang terbatas. Oleh karena itu, pada dasarnya, masalah yang dapat diselesaikan (diputuskan) oleh mesin Turing dapat diselesaikan oleh komputer dengan jumlah memori yang terbatas.
Komentar
Posting Komentar