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 algoritma (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. Di dalam 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 

Kategori:Mesin turing