Teori-teori komputasi dikategorikan menjadi 3 (tiga) ranting, yaitu: teori automata, teori komputabilitas, dan teori kompleksitas. Teori automata (automata theory) adalah teori mengenai mesin-mesin abstrak yang berkaitan erat dengan teori bahasa formal. Secara umum, automata mampu menerima dan menerjemahkan bahasa manusia (kalimat manusia) ke dalam bahasa mesin (komputer), atau dari bahasa mesin (komputer) ke dalam bahasa manusia. Seorang ilmuwan yang mula-mula mengemukakan teori automata pada bidang sistem logika matematika, dan menyatakan bahwa algoritma umum untuk pembuktian (seluruh) persoalan matematika secara otomatis mampu menentukan salah benarnya sembarang posisi matematika, yaitu... A. Kurt Gödel B. David Hilbert C. John McKenzie D. William Shakespeare String merupakan alfabet dengan urutan terbatas, atau bisa juga disebut dengan kata. Panjang string merupakan jumlah simbol dalam string. Angka 10001010110 akan memiliki nilai string sepanjang .... bit. A. 14 B. 11 C. 8 D. 5 Teori komputabilitas bertujuan untuk memeriksa apakah persoalan komputasi dapat dipecahkan pada suatu model komputasi teoritis. Teori komputabilitas berguna untuk mengkaji kebutuhan waktu dan ruang dalam memecahkan persoalan yang diselesaikan dengan pendekatan yang berbeda-beda. Dengan kata lain, teori komputabilitas tersebut akan mengklasifikasikan persoalan menjadi dua bentuk, yaitu.... A. desible dan undesible B. capable dan uncapable C. solvable dan unsolvable D. compatible dan uncompatible Teori kompleksitas (computational complexity theory) akan melakukan klasifikasi persoalan sebagai persoalan mudah (easy) atau persoalan sukar (hard). Teori ini juga memperkenalkan beberapa konsep yang digunakan di dalam teori kompleksitas, sedangkan teori automata mengacu pada definisi dan sifat-sifat model komputasi. Model komputasi yang sering dipakai di dalam teori komputasi, adalah.... A. turing machine skah Soal TO II INFORMATIKA UTAMA DOKUMEN NEGARA SANGAT RAHASIA B. mesin fotocopy C. mesin komputasi D. petri-net machine

Question

Teori-teori komputasi dikategorikan menjadi 3 (tiga) ranting, yaitu: teori automata, teori komputabilitas, dan teori kompleksitas. Teori automata (automata theory) adalah teori mengenai mesin-mesin abstrak yang berkaitan erat dengan teori bahasa formal. Secara umum, automata mampu menerima dan menerjemahkan bahasa manusia (kalimat manusia) ke dalam bahasa mesin (komputer), atau dari bahasa mesin (komputer) ke dalam bahasa manusia. Seorang ilmuwan yang mula-mula mengemukakan teori automata pada bidang sistem logika matematika, dan menyatakan bahwa algoritma umum untuk pembuktian (seluruh) persoalan matematika secara otomatis mampu menentukan salah benarnya sembarang posisi matematika, yaitu... A. Kurt Gödel B. David Hilbert C. John McKenzie D. William Shakespeare String merupakan alfabet dengan urutan terbatas, atau bisa juga disebut dengan kata. Panjang string merupakan jumlah simbol dalam string. Angka 10001010110 akan memiliki nilai string sepanjang .... bit. A. 14 B. 11 C. 8 D. 5 Teori komputabilitas bertujuan untuk memeriksa apakah persoalan komputasi dapat dipecahkan pada suatu model komputasi teoritis. Teori komputabilitas berguna untuk mengkaji kebutuhan waktu dan ruang dalam memecahkan persoalan yang diselesaikan dengan pendekatan yang berbeda-beda. Dengan kata lain, teori komputabilitas tersebut akan mengklasifikasikan persoalan menjadi dua bentuk, yaitu.... A. desible dan undesible B. capable dan uncapable C. solvable dan unsolvable D. compatible dan uncompatible Teori kompleksitas (computational complexity theory) akan melakukan klasifikasi persoalan sebagai persoalan mudah (easy) atau persoalan sukar (hard). Teori ini juga memperkenalkan beberapa konsep yang digunakan di dalam teori kompleksitas, sedangkan teori automata mengacu pada definisi dan sifat-sifat model komputasi. Model komputasi yang sering dipakai di dalam teori komputasi, adalah.... A. turing machine skah Soal TO II INFORMATIKA UTAMA DOKUMEN NEGARA SANGAT RAHASIA B. mesin fotocopy C. mesin komputasi D. petri-net machine

Answer 1

36. B. David Hilbert37. A. 1438. C. solvable dan unsolvable39. A. turing machine

Answer 2

1. Pada pertanyaan ke-36, kita diminta untuk menentukan siapa ilmuwan yang pertama kali mengemukakan teori automata dalam sistim logika matematika dan beranggapan bahwa algoritma bagi pembuktian persoalan matematika dapat memastikan kebenaran setiap posisi matematik. Dalam hal ini, kita perlu memahami dasar sejarah tentang teori automata.2. Pada pertanyaan ke-37, kita ditanya tentang berapa panjang sebuah string dalam program komputer. Kita harus mengetahui cara mendapatkan panjang bit dari string dalam komputasi.3. Pada pertanyaan ke-38, kita mengenal teori komputabilitas, dan memeriksa klasifikasi atas persoalan berdasarkan ini. Dengan mengetahui singkatan dari teori ini, kita dapat menjawab pertanyaan.4. Pada pertanyaan ke-39, kita memperkenal model komputasi yang sering digunakan dalam teori komputasi. Untuk menjawabnya, kita perlu memiliki pengetahuan tentang teori kompleksitas dan model komputasi dalam teori komputasi.

Pertanyaan

Solusi

Jawaban

Penjelasan