Accepts: menyetujui Accepting configuration : adalah konfigurasi yang menyetujui untuk beberapa string w Active tape : tentukan active

tape dari mesin turing M sebagai pecahan terkecil dari tape M yang mencangkup square dibawah read/write head dan semua square yang tidak kosong. Algorithm : langkah-langkah dalam membuat suatu program. Aritmatika : perhitungan Array : deretan Binary: bilangan antara 0 dan 1 Church-turing thesis: Dalam teori komputabilitas, tesis Gereja-Turing (juga dikenal sebagai dugaan Gereja-Turing, tesis Gereja, dugaan Gereja, dan tesis Turing) adalah hipotesis gabungan ("tesis") tentang sifat dari fungsi yang nilainya secara efektif diperhitungkan; yaitu komputasi. Dalam istilah sederhana, ini menyatakan bahwa "segala sesuatu dapat dihitung dapat dihitung oleh mesin Turing." Beberapa upaya dilakukan pada paruh pertama abad ke-20 untuk merumuskan gagasan komputabilitas: * Amerika matematikawan Gereja Alonzo menciptakan sebuah metode untuk menjelaskan fungsifungsi yang disebut -kalkulus, * Matematikawan Inggris Alan Turing menciptakan model teoritis untuk sebuah mesin yang dapat melakukan perhitungan dari input, * Gereja, bersama dengan matematikawan Stephen Kleene dan ahli logika JB Rosser menciptakan definisi formal dari suatu kelas fungsi yang nilainya dapat dihitung dengan rekursi. Ketiga proses komputasi (rekursi, yang, -kalkulus dan mesin Turing) yang akan ditampilkan secara setara-semua tiga pendekatan mendefinisikan kelas yang sama fungsi. Hal ini telah membuat matematikawan dan ilmuwan komputer untuk percaya bahwa konsep komputabilitas secara akurat dicirikan oleh tiga proses setara. Informal negara-negara Gereja-Turing tesis bahwa jika metode tertentu (algoritma) ada untuk melakukan penghitungan, maka perhitungan yang sama juga dapat dilakukan oleh mesin Turing (dan juga oleh fungsi-didefinisikan secara rekursif, dan oleh - fungsi). Tesis Gereja-Turing adalah pernyataan yang mencirikan sifat perhitungan dan tidak dapat dibuktikan secara formal. Meskipun ketiga proses tersebut di atas terbukti setara, premis mendasar di balik gagasan-tesis dari apa artinya bagi fungsi yang harus "efektif diperhitungkan" (komputasi)-adalah "intuitif yang agak kabur" . Dengan demikian, tesis " masih hipotesis. Terlepas dari kenyataan bahwa tidak dapat dibuktikan secara formal, tesis Gereja-Turing sekarang telah diterima dekat-universal. Computable : dapat di perhitungakan

Computation : komputasi./ bisa diartikan sebagai cara untuk menemukan pemecahan masalah dari data input dengan menggunakan suatu algoritma. Computation history: sejarah komputasi Configuration : pengaturan. Context sensitive languages : bahasa konteks-sensitif adalah bahasa formal yang dapat didefinisikan oleh tata bahasa kontekssensitif. Itulah salah satu dari empat jenis tata bahasa dalam hierarki Chomsky. Dari empat, ini yang paling sering digunakan, baik dalam teori dan praktek. bahasa konteks-sensitif setara dengan mesin Turing linier dibatasi nondeterministic, juga disebut robot dibatasi linier. Itu merupakan mesin Turing non-deterministik dengan pita sel k dan n saja, di mana n adalah ukuran masukan dan k adalah konstanta yang terkait dengan mesin. Ini berarti bahwa setiap bahasa formal yang dapat diputuskan oleh seperti mesin adalah bahasa konteks-sensitif, dan setiap bahasa konteks-sensitif dapat diputuskan oleh seperti mesin. Dalil turing: beberapa argument untuk menerima dalil turing sebagai definisi dari komputasi mekanis adalah: 1. semua yang bisa dilakukan oleh komputer digital bisa dilakukan juga oleh mesin turing. 2. belum ada yang bisa mengajukan masalah yang bisa dipecahkan dengan algoritma, yang mana tidak bisa dibuat mesin Turing untuknya. 3. model-model alternative telah diajukan untuk komputasi mekanis, tetapi tak ada yang lebih powerful daripada mesin turing. Deskripsi seketika: deskripsi seketika di perlukan untuk menyatakan secara formal konfigurasi mesin turing pada suatu saat. Perubahan dari suatu kondisi ke berikutnya dipisahkan dengan tanda |. Di sini untuk symbol yang sedang di tunjuk head dituliskan dengan garis bawah _. Decides : menentukan Decidable: dapat diputuskan. Sebuah bahasa L dapat diputuskan jika dalam mesin turing M dapat menentukannya. Duplicate: salinanan/copian dari yang asli. Entscheidungsproblem : The Entscheidungsproblem meminta suatu algoritma yang akan mengambil input deskripsi bahasa formal dan pernyataan matematika dalam bahasa dan menghasilkan sebagai output baik "Benar" atau "Salah" menurut pernyataannya benar atau salah. Algoritma ini tidak perlu membenarkan jawabannya, atau memberikan bukti, asalkan selalu benar. Algoritma tersebut akan dapat memutuskan, misalnya, apakah pernyataan seperti dugaan Goldbach atau hipotesis Riemann adalah benar, walaupun tidak ada bukti atau pembantahan dari laporan diketahui. The Entscheidungsproblem telah sering diidentifikasi secara khusus dengan keputusan untuk masalah logika orde pertama (yaitu, masalah algorithmically menentukan apakah pernyataan orde pertama adalah berlaku universal). Tahun 1936 dan 1937 Alonzo Gereja dan masing-masing Alan Turing [1], yang diterbitkan koran independen menunjukkan bahwa tidak mungkin untuk memutuskan apakah algorithmically laporan

dalam aritmatika adalah benar atau salah, dan dengan demikian solusi umum bagi Entscheidungsproblem tidak mungkin. Hasil ini sekarang dikenal sebagai Gereja Teorema Teorema atau Gereja-Turing (tidak harus bingung dengan tesis Gereja-Turing). Fungsi transisi: adalah gambaran suatu proses perpindahan state berdasarkan input yang di terima. Grammar: tata bahasa. Head moving machine: Posisi yang di akses oleh pita dapat di tunjukan oleh sebuah head, head dapat bergerak ke kanan atau ke kiri atau menbaca input dari pita dan sekaligus juga bisa melakukan penulisan padapita/mengubah isi pita. Input: value yang akan di masukan kedalam suatu program. Linear bounded automata: Sebuah linear bouded automata atau (LBA) B=( K, , , s, H) adalah sebuah nondeterministic turing mesin yang tidak dapat berpinda pada bagian tape dan memulai dari kosong kepada bagian kiri dari input dan berakhir di bagian kosong setelah input. Linear dibatasi automata adalah akseptor untuk kelas bahasa konteks-sensitif. Pembatasan hanya ditempatkan pada tata bahasa untuk bahasa-bahasa tersebut adalah bahwa tidak ada peta produksi string ke string yang lebih pendek. Jadi tidak ada derivasi string dalam bahasa masing-masing fungsi dapat berisi formulir sentensial lebih panjang dari string itu sendiri. Karena ada korespondensi satuke-satu antara linier-automata terbatas dan tata bahasa tersebut, tidak ada tape lebih dari itu ditempati oleh string asli diperlukan untuk string yang akan diakui oleh robot tersebut. Loop: pengulangan. Mapping reducing : Dalam teori komputabilitas dan teori kompleksitas komputasi, banyak pengurangan-satu adalah pengurangan yang mengubah contoh dari satu masalah keputusan dalam kasus masalah keputusan kedua. Pengurangan karena itu digunakan untuk mengukur kesulitan komputasi relatif dua masalah. Banyak-satu pengurangan adalah kasus khusus dan bentuk pengurangan Turing kuat. Dengan banyaksatu pengurangan pintar dapat dipanggil hanya sekali di akhir dan jawabannya tidak dapat dimodifikasi. Markov algorithm Algoritma Markov adalah string menulis ulang sistem yang menggunakan aturan tata bahasa-seperti untuk beroperasi pada string simbol. algoritma Markov telah terbukti Turing-lengkap, yang berarti bahwa mereka cocok sebagai model umum perhitungan dan dapat mewakili setiap ekspresi dari notasi matematika sederhana. Refal adalah bahasa pemrograman berbasis pada algoritma Markov. Algoritma Aturan adalah urutan sepasang string, biasanya disajikan dalam bentuk penggantian pola . Beberapa aturan mungkin terminating. Mengingat string input: 1. Periksa Aturan dalam urutan dari atas ke bawah untuk melihat apakah ada pola dapat ditemukan

dalam string input. 2. Jika tidak ada yang ditemukan, algoritma berhenti. 3. Jika satu (atau lebih) ditemukan, mengganti teks yang cocok paling kiri pada string input dengan penggantian dalam aturan yang berlaku pertama. 4. Jika aturan yang diterapkan adalah yang berakhir, algoritma berhenti. 5. Kembali ke langkah 1 dan melanjutkan. Contoh berikut menunjukkan operasi dasar dari sebuah algoritma Markov. 1. "A" -> "apple" 2. "B" -> "tas" 3. "S" -> "toko" 4. "T" -> "itu" 5. "Toko" -> "kakak saya" 6. "Tidak pernah digunakan" -> "terminating aturan." Nondeterministic function computation : a nondeterministic Turing machine M= (K, , , s, H) dengan fungsi menghitung iff, *

Nondeterministic semideciding : adalah gabungan dari M tupel dengan bahasa semicedes. Nondeterministic turing machine: adalah mesin turing yang memiliki 6 tupel (K, , , s, H ), dimana K, , , s, and H adalah standard untuk mesin turing dan adalah subset dari ((K - H) x ) x (K x x { }). Dengan kata lain fungsi transisi digantikan dengan relasi transisi Dalam ilmu komputer teoretis, mesin Turing adalah mesin teoretis yang digunakan dalam pikiran eksperimen untuk menguji kemampuan dan keterbatasan komputer. Pada dasarnya, mesin Turing adalah dibayangkan sebagai sebuah komputer sederhana yang membaca dan menulis simbol satu demi satu pada pita strip kehabisan kertas dengan ketat mengikuti seperangkat aturan. Ini menentukan tindakan apa yang harus dilakukan berikutnya sesuai dengan internal negara-nya "" dan apa yang nomor itu saat melihat. Contoh salah satu aturan Turing Machine dengan demikian mungkin: "Jika Anda berada dalam keadaan 2 dan Anda melihat 'A', ubahlah ke B dan bergerak ke kiri." Dalam mesin Turing deterministik, rangkaian peraturan mengatur paling banyak satu tindakan yang akan dilakukan untuk situasi tertentu. Mesin Turing non-deterministik (NTM), sebaliknya, mungkin memiliki sekumpulan aturan yang mengatur lebih dari satu tindakan untuk situasi tertentu. Misalnya, mesin Turing non-deterministik mungkin memiliki keduanya "Jika Anda berada dalam keadaan 2 dan Anda melihat 'A', ubahlah ke 'B' dan bergerak ke kiri" dan "Jika Anda berada dalam keadaan 2 dan Anda melihat 'A', mengubahnya ke kanan 'C' dan bergerak "dalam menetapkan kekuasaannya. Seorang biasa (deterministik) Mesin Turing (DTM) memiliki fungsi transisi bahwa, untuk sebuah negara tertentu dan simbol di bawah kepala tape, menetapkan tiga hal: simbol yang akan ditulis ke tape, arah (kiri atau kanan) di mana kepala harus bergerak, dan negara berikutnya dari kontrol terbatas. Sebagai contoh, sebuah X di rekaman di negara 3 mungkin membuat DTM menulis Y dalam rekaman, gerakkan kepala satu posisi ke kanan, dan beralih ke negara 5. Mesin Turing non-deterministik (NTM) berbeda dalam negara dan simbol unik kaset tidak lagi menentukan hal ini, melainkan tindakan yang berbeda mungkin berlaku untuk kombinasi yang sama, negara dan simbol. Sebagai contoh, sebuah X di rekaman di negara bagian 3 sekarang bisa memungkinkan NTM untuk menulis Y, benar bergerak, dan beralih ke negara 5 atau menulis X, bergerak ke kiri, dan tinggal di negara 3.

Manipulasi string : manipulasi string adalah salah satu operasi primitive yang bisa di kombinasikan untuk menyelesaikan masalah yang lebih complex terutama dalalm string. Memory: memory pada mesin turing akan berupa suatu pita yang pada dasarnya berupa array atau deretan sebagai sel-sel penyimpanan. Peano arithmetic: Ketika Peano merumuskan aksioma-nya, bahasa logika matematika adalah dalam masa pertumbuhan. Sistem notasi logis yang diciptakan untuk menyajikan aksioma tidak terbukti populer, meskipun asalusul notasi modern untuk keanggotaan set (simbol: , dari Peano) dan implikasi (simbol: , dari terbalik Peano's ' C '). Peano mempertahankan perbedaan yang jelas antara simbol matematis dan logis, yang belum biasa di bidang matematika, seperti pemisahan yang pertama kali diperkenalkan di Begriffsschrif oleh Gottlob Frege, diterbitkan pada tahun 1879 Peano. Tidak menyadari pekerjaan Frege dan independen diciptakan-Nya aparat logis berdasarkan karya Boole dan Schrder .

Peano aksioma mendefinisikan properti aritmatika dari bilangan natural, biasanya direpresentasikan sebagai N mengatur atau \ mathbb (N). Tanda tangan (simbol bahasa formal non-logis) untuk aksioma termasuk simbol konstanta 0 dan simbol fungsi unary S. Pop : teknik mengeluarkan suatu elemen dari sebuah tumpukan. Post machine : mesin pos Post system : sitem pos Proof by contradiction: pembuktian dari suatu permasalahan yang kontradiksi. Pseudocode: langkah-langkah dalam melakukan suatu program Recursive: berulang/suatu sifat yang dapat melakukan berulang kali. Recursively enumerable languages Dalam matematika, logika dan ilmu komputer, bahasa rekursif Enumerable adalah jenis bahasa formal yang juga disebut sebagian Turing-decidable atau diterima. Hal ini dikenal sebagai bahasa-0 jenis dalam hierarki Chomsky bahasa formal. Kelas dari semua bahasa secara rekursif Enumerable disebut RE. Terdapat tiga definisi besar setara untuk konsep bahasa secara rekursif Enumerable. 1. Sebuah bahasa formal secara rekursif Enumerable adalah bagian rekursif Enumerable dalam himpunan semua kata yang mungkin selama alfabet bahasa. 2. Sebuah bahasa secara rekursif Enumerable adalah bahasa formal yang terdapat mesin Turing (atau fungsi komputasi lainnya) yang akan menghitung semua string bahasa valid. Perhatikan bahwa, jika bahasa terbatas, algoritma enumerasi yang disediakan dapat dipilih sehingga menghindari

pengulangan, karena kita dapat menguji apakah string yang dihasilkan untuk nomor n "sudah" diproduksi untuk jumlah yang kurang dari n. Jika sudah diproduksi, gunakan output untuk input n 1 bukan (secara rekursif), tapi sekali lagi, uji apakah itu "baru". 3. Sebuah bahasa secara rekursif Enumerable adalah bahasa formal yang terdapat mesin Turing (atau fungsi komputasi lainnya) yang akan menghentikan dan menerima ketika disajikan dengan string dalam bahasa sebagai masukan tapi entah dapat menghentikan dan menolak atau loop selamanya ketika disajikan dengan string tidak dalam bahasa itu. Kontras ini untuk bahasa rekursif, yang mengharuskan menghentikan mesin Turing dalam semua kasus. Semua, biasa bebas konteks, bahasa konteks-sensitif dan rekursif adalah secara rekursif Enumerable. Teorema Post RE menunjukkan bahwa, bersamaan dengan melengkapi co-RE, sesuai dengan tingkat pertama dari hirarki ilmu hitung. Reduce : mengurangi Rejects: menolak/ mengabaikan/tidak diterima Rejecting configuration: konfigurasi yang menolak string w Semidecides: adalah bahasa *

* iff,

Sel: suatu bagian dari sebuah pita yang dapat menyimpan sebuah simbol tunggal dalam mesin turing State: bagian-bagian yang memiliki fungsi sebagai memori State final: tempat terakhir atau bagian terakhir dalam sebuah proses dari finite state automata Stack: tumpukan. Tag system : tag system sering juga di sebut post machine yaitu mesin finite state yang diperbesar dengan first-in, first out (FIFO) queue. Tupel: simbol-simbol atau bagian dalam sebuah mesin. Turing reduce: Turing pengurangan dari masalah masalah A ke B, nama Alan Turing, adalah pengurangan yang menyelesaikan A, B . Hal ini dapat dipahami sebagai suatu algoritma yang dapat digunakan untuk menyelesaikan A jika itu yang tersedia untuk itu suatu subroutine untuk memecahkan B. Lebih formal, pengurangan Turing adalah fungsi dapat dihitung oleh mesin nubuat dengan nubuat untuk pengurangan B. dapat Turing diberlakukan baik masalah keputusan dan masalah fungsi. Jika pengurangan Turing dari A ke B ada maka setiap algoritma untuk B dapat digunakan untuk menghasilkan algoritma untuk A, dengan memasukkan algoritma untuk B di setiap tempat di mana mesin oracle komputasi A query oracle untuk B. Namun, karena pintar mesin mungkin query pintar sejumlah besar kali, algoritma yang dihasilkan mungkin memerlukan lebih banyak waktu asimtotik dari baik M atau mesin oracle, dan mungkin memerlukan sebagai ruang banyak karena keduanya

bersama-sama. Universal turing machine Setiap mesin Turing menghitung fungsi tertentu dpt dihitung tetap sebagian dari string input lebih dari abjad nya. Dalam arti itu berperilaku seperti komputer dengan program tetap. Namun, kami dapat menyandikan tabel tindakan dari setiap mesin Turing dalam sebuah string. Jadi kita dapat membuat sebuah mesin Turing yang mengharapkan kaset nya string menggambarkan meja tindakan diikuti dengan string menggambarkan input tape, dan menghitung pita mesin Turing yang disandikan akan dihitung. Sebagai Mesin Turing mendorong pembangunan komputer, UTM adalah mendorong pengembangan ilmu-ilmu komputer bibit. Sebuah, awal, jika bukan perakit pertama diusulkan "oleh seorang pemrogram hot-shot muda" untuk EDVAC (Davis 2000:192). "Program yang serius Von Neumann pertama ... [adalah] untuk sekadar mengurutkan data secara efisien" (Davis 2000:184). Knuth mengamati bahwa pengembalian subroutine tertanam dalam program itu sendiri bukan dalam register khusus yang timbul dari von Neumann dan Goldstine [2]. Knuth lebih lanjut menyatakan bahwa Turing teori fungsi komputasi antedated namun belum banyak mempengaruhi aktual konstruksi luas komputer digital. Kedua aspek teori dan praktek telah dikembangkan hampir seluruhnya secara independen satu sama lain. Alasan utamanya adalah diragukan lagi bahwa ahli logika tertarik dalam pertanyaan radikal yang berbeda dari orang-orang dengan yang diterapkan matematikawan dan insinyur listrik terutama prihatin. Tidak bisa, bagaimanapun, gagal untuk menyerang satu sebagai agak aneh yang sering konsep yang sama dapat dinyatakan dengan istilah yang sangat berbeda di kedua perkembangan "(Wang 1954, 1957:63.) Wang berharap bahwa kertas itu akan "menghubungkan dua pendekatan." Memang, Minsky menegaskan hal ini: "bahwa rumusan pertama dari teori Turing-mesin dalam model komputer seperti muncul di Wang (1957)" (Minsky 1967:200). Minsky melanjutkan dengan menunjukkan Turing kesetaraan mesin counter. Sehubungan dengan pengurangan sederhana Turing komputer untuk model yang setara (dan sebaliknya), penunjukan Minsky's Wang sebagai telah membuat "perumusan pertama" terbuka untuk diperdebatkan. Sedangkan kertas kedua Minsky's tahun 1961 dan kertas Wang tahun 1957 yang dikutip oleh Shepherdson dan Sturgis (1963), mereka juga mengutip dan merangkum secara rinci beberapa karya matematikawan Eropa Kaphenst (1959), Ershov (1959), dan Peter (1958). Nama Hermes matematika (1954, 1955, 1961) dan Kaphenst (1959) muncul dalam bibliografi kedua Sheperdson-Sturgis (1963) dan Elgot-Robinson (1961). Dua nama lain yang penting adalah peneliti Kanada Melzak (1961) dan Lambek (1961). Untuk melihat lebih setara mesin Turing; referensi dapat ditemukan di mesin Register. Word problem: kata bermasalah/kata yang salah.