Máquinas O de Turing

Las máquinas O son un tipo de máquina abstracta. Generan una salida digital a partir de una entrada digital por medio de un procedimiento paso a paso que …

Conocer Más

¿Quién es Alan Blumlein?

¿Quién es Alan Blumlein?

El proyecto ACE Pilot Model comenzó en la División de Radio de NPL con un equipo de matemáticos e ingenieros provenientes de la División de Matemáticas, la División …

Conocer Más

La Tesis de Turing-Church

La Tesis de Turing-Church

Hay varias formulaciones equivalentes de la tesis de Turing-Church (que también se conoce como tesis de Turing, tesis de Church y tesis de Church-Turing). Una formulación de la …

Conocer Más

¿Qué es una máquina de Turing?

Turing describió por primera vez la máquina de Turing en un artículo publicado en 1936 “On Computable Numbers, with an Application to the Entscheidungsproblem” que apareció en Proceedings …

Conocer Más