Mesin Turing minangka model komputasi teoretis sing dikenalake dening Alan Turing ing taun 1936. Iku kasusun saka tape dawa tanpa wates sing dipérang dadi sel, sirah maca/nulis sing bisa mindhah ing sadawane tape, lan unit kontrol sing nemtokake prilaku mesin. . Pita kasebut wiwitane kosong, lan input menyang mesin diwenehake ing tape input sing kapisah. Output saka komputasi ditulis ing tape output.
Kanggo ngetung fungsi, mesin Turing nderek sakumpulan instruksi sing diarani program. Program kasebut nemtokake cara mesin kudu tumindak adhedhasar kahanan saiki lan simbol sing diwaca saka tape kasebut. Mesin diwiwiti ing kahanan wiwitan, lan bola-bali nindakake langkah-langkah ing ngisor iki:
1. Waca: Mesin maca simbol saiki ing sirah maca/nulis.
2. Proses: Adhedhasar negara saiki lan simbol diwaca, mesin nemtokake negara sabanjuré lan simbol kanggo nulis ing tape.
3. Pindhah: Mesin gerakane maca/nulis sirah siji sel menyang kiwa utawa tengen.
4. Baleni: Mesin bali menyang langkah 1 lan terus nganti tekan negara mandheg.
Peran saka tape input yaiku nyedhiyakake input kanggo komputasi. Pita input wiwitane diisi karo simbol input, sing diwaca dening mesin sajrone ngitung. Pita input mung diwaca, tegese mesin ora bisa ngowahi isine.
Peran saka tape output kanggo nyimpen output saka komputasi. Nalika mesin ngolah simbol input, bisa nulis simbol ing tape output kanggo ngasilake output sing dikarepake. Pita output mung nulis, tegese mesin mung bisa nulis lan ora bisa maca isine.
Kemampuan mesin Turing kanggo ngitung fungsi adhedhasar kemampuan kanggo ngapusi simbol ing tape miturut aturan. Aturan kasebut ngidini mesin bisa nindakake operasi aritmetika, operasi logis, lan komputasi liyane. Kanthi ngetutake aturan kasebut, mesin Turing bisa nggawe simulasi komputasi algoritma.
Contone, nimbang mesin Turing sing ngitung jumlah rong nomer. Pita input bakal ngemot rong nomer, dipisahake dening simbol khusus. Mesin bakal maca simbol input, nindakake operasi tambahan, lan nulis asil ing tape output.
Mesin Turing ngétung fungsi kanthi nuruti set instruksi sing ditemtokake dening program. Pita input nyedhiyakake input kanggo komputasi, lan tape output nyimpen output komputasi. Mesin manipulates simbol ing tape kanggo nindakake komputasi, saéngga bisa simulasi komputasi algoritma.
Pitakonan lan jawaban anyar liyane babagan Fungsi sing bisa diitung:
- Apa tegese kanggo macem-macem variasi Mesin Turing padha karo kemampuan komputasi?
- Nerangake hubungan antarane fungsi komputasi lan orane mesin Turing sing bisa ngitung.
- Apa pentinge mesin Turing sing tansah mandheg nalika ngitung fungsi sing bisa diitung?
- Bisa mesin Turing diowahi kanggo tansah nampa fungsi? Nerangake apa utawa apa ora.
- Apa fungsi komputasi ing konteks teori kompleksitas komputasi lan kepiye ditetepake?