Concepto teórico en informática y matemáticas que describe una máquina capaz de simular cualquier computadora o algoritmo computacional. Propuesto por Alan Turing, este concepto es fundamental en la teoría de la computación y demuestra la capacidad de un modelo computacional para realizar cualquier cálculo computacional posible.