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).