STUDI KASUS TEORI KOMPUTASI

 

Teori komputasi adalah cabang ilmu komputer dan matematika yang membahas apakah dan bagaimanakah suatu masalah dapat dipecahkan pada model komputasi, menggunakan algoritma. Bidang ilmu ini terutama membahas hal terkait komputabilitas dan kompleksitas, dalam kaitannya dengan formalisme komputasi. Bidang teori komputasi dibagi menjadi tiga cabang besar: teori automata dan bahasa formal, teori komputabilitas dan teori kompleksitas komputasional, dimana dihubungkan dengan pertanyaan: "Apa saja kemampuan dan batasan yang dimiliki komputer?".

Untuk melakukan studi komputasi dengan ketat, ilmuwan komputer bekerja dengan abstraksi matematika dari komputer yang dinamakan model komputasi. Ada beberapa model yang digunakan, tetapi yang paling umum dipelajari adalah mesin Turing. Para ilmuwan mempelajari mesin Turing karena mudah untuk diformulasikan, bisa di analisa dan digunakan untuk membuktikan sebuah hasil, dan karena mesin Turing merepresentasikan model komputasi yang kuat dan "cocok" (lihat Church–Turing thesis). Hal ini sepertinya memiliki potensial kapasitas memori tak terhingga merupakan atribut yang tak disadari, tetapi pada tiap permasalahan logika diselesaikan oleh mesin Turing selalu membutuhkan memori yang terbatas. Sehingga, dalam prinsipnya setiap permasalahan yang bisa diselesaikan (dipilih untuk diselesaikan) oleh mesin Turing bisa diselesaikan oleh komputer ynag memiliki memori yang terbatas. Sebuah mesin Turing dapat dipikirkan sebagai komputer pribadi meja dengan kapasitas memori yang tak terhingga, tetapi 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, tetapi 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.

Komentar

Posting Komentar

Postingan populer dari blog ini

Apa yang akan terjadi pada video game di masa depan?

    Google  mencoba mengubah industri game di dunia dengan memamerkan  Stadia , platform cloud gaming anyar buatannya. Platform ini dijanjikan akan mengubah industri game secara keseluruhan, yaitu bagaimana game itu dijual, didistribusikan, dan bahkan proses pembuatannya. Google pun memprediksikan kalau masa depan game ada di cloud. Memang, masih banyak hal yang belum diungkap Google mengenai Stadia. Utamanya adalah bagaimana model bisnis yang akan mereka terapkan di platform tersebut. Model bisnis Stadia ini, menurut Bos divisi Stadia Phil Harrison, baru akan diungkap setidaknya pada musim panas 2019 ini. Yaitu bagaimana mereka menjual layanan ini, atau mungkin bagaimana developer bisa memperoleh uang dari layanan ini. "Saya pikir ini adalah perubahan fundamental dalam industri game. Selama 40 tahun terakhir kita sudah mempaketkan media dan game dari tahu 1970an sampai sekarang, game adalah perangkat-sentris," ujar Harrison dalam wawancaranya dengan The Verge. Maksu...
Baca selengkapnya

Apakah nasib berita di televisi menjadi usang di era digital?

  Dalam survei yang hasilnya diumumkan pe ngujung bulan lalu, Nielsen juga menga takan bahwa menonton TV tradisional se mua kelompok umur mencapai puncaknya pa da kurun 2009-2010. Sampai saat itu, pe non ton untuk TV telah tumbuh setiap tahun se jak tahun 1949. Kini, angkanya terus merosot. Studi ini adalah yang pertama dilakukan Nielsen secara komprehensif untuk melihat perilaku menonton video melalui TV tradisional, internet, ponsel, dan perangkat lainnya. Data yang mendasari laporan ini menunjukkan bahwa di antara responden usia 18 sampai 34 tahun, penggunaan smartphone, tablet, dan perangkat yang terhubung dengan TV seperti streaming atau game konsol me ning kat lebih dari 25 persen pada Mei di bandingkan dengan periode yang sama ta hun sebelumnya, sekitar 8,5 juta orang per menit. Dalam kategori yang sama, menonton TV turun 10 persen menjadi 8,4 juta orang per menit. Jelas dari studi itu, pemirsa kini menghabiskan lebih banyak waktu pada smartphone, tablet, dan perangkat terhu...
Baca selengkapnya