- Source: Tesis Church Turing
Mesin Turing sudah berkembang menuju arah yang lebih univers setelah Alonzo Church mengusulkan tesis Church- Turing menyatakan bahwasanya Mesin Turing Univers ini sangat mampu menyerap informasi-informasi secara efektif, logis, matematis, dan menyajikan informasi berupa prosedur mekanis yang dapat diketahui mesin yang disebut algoritme (algorithma). Mesin Turing ini dapat digambarkan sebagai alat yang Mengetahui informasi dari seutas pita panjang atau tape (dapat dipahami seperti pita kaset) mengunakan mata baca yang dikatakan head.
Penelusuran
Alan Turing filsafatnya yang memberikan fondasi bagi kecerdasan buatan (artificial intelligence) menjadikan Alan Turing sebagai Bapak Ilmu Komputer. Didalam dunia bisnis, industri komputer yang Tersiri dari perangkat keras (hardware) dan perangkat lunak (software) mendominasi hampir seluruh kehidupan manusia. Perkantoran, Universitas, pasar, dan perumahan di daerah perkotaan hampir selalu membutuhkan komputer. Komputer juga mampu membantu kita untuk mengerjakan pekerjaan kita dari kantor, maupun kampus. Sama seperti Finite State Automata dan Push Down Automata yang dapat mengetahui bahasa formal, maka mesin Turing dapat juga berperan sebagai mesin pengenal bahasa formal. Bahasa yang dikenal oleh Mesin Turing adalah bahasa tanpa-batasan (non-restricted language), yang disebut juga himpunan terenumerasi rekursif (recursively enumerable set).
Referensi
Kata Kunci Pencarian:
- Tesis Church Turing
- Algoritma
- Ilmu komputer
- Alonzo Church
- Komputasi kuantum
- List of villages in Oyo State
- List of minor planets: 10001–11000
