Apa itu Mesin Abstrak?

Mesin abstrak, juga disebut automata, adalah unsur dari ilmu komputer teoretis.Mesin abstrak menyerupai fungsi dalam matematika.Ini menerima input dan menghasilkan output sesuai dengan aturan yang ditentukan.Mesin abstrak berbeda dari mesin yang lebih literal karena diasumsikan berfungsi sempurna dan independen dari perangkat keras.Mereka dibagi lagi menjadi tipe berdasarkan karakteristik seperti bagaimana mereka melakukan operasi mereka dan jenis input apa yang dapat mereka terima.

Wanita melakukan handstand dengan komputer

Saat mengklasifikasikan mesin abstrak, salah satu perbedaan paling sederhana menyangkut jumlah operasi yang diizinkan untuk dilakukan pada titik tertentu.Mesin abstrak disebut deterministik jika selalu hanya ada satu cara untuk melanjutkannya.Ini adalah nondeterministik jika beberapa kemungkinan ada untuk mesin di setidaknya satu dari kemungkinan keadaannya.Sebuah robot “pushdown” adalah salah satu yang memiliki kapasitas untuk memanipulasi tumpukan inputnya, daripada hanya menanggapinya satu per satu sesuai urutan kemunculannya.

Wolfram MathWorldmemberikan dua contoh terkenal dari mesin abstrak.Salah satu contohnya adalah permainan kehidupan Conway, yang merupakan mesin abstrak deterministik karena hanya satu konfigurasi yang dapat muncul dari konfigurasi lainnya.Game ini menggunakan kisi di mana setiap kotak, atau sel, dapat memiliki status “hidup” atau “mati”.Keadaan seluruh grid ditentukan berdasarkan keadaan sebelumnya.Jika sebuah sel hidup menyentuh tepat dua atau tiga sel hidup lainnya, ia akan terus hidup.Jika memiliki satu, dua, atau lebih dari tiga tetangga (hingga kemungkinan delapan), ia mati.Sel mati dengan tepat tiga tetangga akan hidup kembali;jika tidak, itu akan tetap mati.

Contoh lain,mesin Turing, adalah salah satu mesin abstrak paling dasar dan mendasar dalam ilmu komputer.Mesin Turing melakukan operasi pada pita—rangkaian simbol—dengan ukuran tak terbatas.Ini berisi instruksi baik untuk mengubah simbol dan untuk mengubah simbol di mana ia beroperasi.Mesin Turing sederhana mungkin hanya memiliki instruksi “transformasi simbol ke 1, lalu pindah ke kanan.”Mesin ini tidak akan menghasilkan apa-apa selain string 1.Mesin Turing sederhana ini bersifat deterministik, tetapi juga memungkinkan untuk membuat mesin Turing nondeterministik yang dapat melakukan beberapa operasi berbeda dengan input yang sama.

Mesin abstrak ini dapat melayani banyak tujuan.Mereka bisa menjadi mainan teoretis yang menyenangkan, tetapi mereka juga dapat berfungsi sebagai caral untuk sistem komputer nyata.Mesin abstrak adalah jantung dari ilmu komputer sebagai suatu disiplin.

Related Posts