Fue hace unos años cuando en Teoría de Autómatas me explicaron que era o que es una máquina de Turing. En primer lugar comentar que la Teoría de Autómatas es una rama de la ciencia de computación que estudia las máquinas abstractas y además estudia los problemas que son capaces de resolver.
Pude aprender que era un lenguaje formal, un Autómata Finito Determinista (AFD) uno no determinista (AFND), etc. Recuerdo además el cálculo de los BNF que es una metodología formal para describir lenguajes formales.
Llegado el caso nos presentaron la jerarquía de gramáticas de Chomsky:
- Gramática de tipo 0 la joya de la corona, son los recursivamente enumerables, y aquí es donde aparece la Máquina de Turing con ella se demostró que había problemas que una máquina no podría resolver.
- Gramática de tipo 1 son conocidos por ser dependientes del contexto es lo contrario a un lenguaje recursivo que no es sensible al contexto.
- Gramática de tipo 2 dando lugar a los lenguajes libres o independientes de contexto, digamos que la mayoría de los lenguajes encajan en este lugar.
- Gramática de tipo 3 de lenguajes regulares, nos encontramos los autómatas finitos, son los lenguajes más simples.
Alan Turing considerado uno de los padres de la computación y precursor de la informática fue el creador de dicha máquina para demostrar que una máquina no era inteligente. Pues bien por fin una máquina o mejor dicho una supercomputadora ha logrado pasar el Prueba de Turing.
Esta supercomputadora paso la prueba haciéndose pasar por un niño de 13 años, para demostrar la inteligencia de la máquina se le pregunta lo siguiente: ¿Las máquinas pueden pensar? quién la practica debe de adivinar si es una máquina o una persona.
Esto se hace para comprobar si una máquina no se puede distinguir de una persona es que puede pensar. Se utilizaron 5 máquinas para ver si las personas podrían distinguirlas, haciendo dichas preguntas. Para ello se necesita un 30% de personas que no logren detectar que hablan con una máquina para poder considerarla inteligente, nunca ninguna computadora había pasado este porcentaje, pero por fin la supercomputadora se hizo pasar por un chico de 13 años logrando convencer a un 33% por ciento de los jueces.
Lo han logrado por primera vez dos ingenieros Vladimir Veselov y Eugene Demchenko. Han creado un sistema capaz de engañar a una buena parte del jurado, convenciéndolos que en el otro lado había un chaval ucraniano de 13 años llamado Eugene Goostman, amante de las hamburguesas y las golosinas.
“Que un ordenador pueda engañar a un humano haciéndole pensar que algo, o una cosa, es una persona en la que poder confiar es una llamada de atención respecto al ciber-crimen”, aseguró
Kevin Warwick, profesor visitante en la Universidad de Reading, donde se llevó a cabo la histórica prueba.
