图灵机是通用计算机的数学模型。这是一种理论上的设备，可以操纵带条上包含的符号。图灵机并不是作为一种实用的计算技术，而是作为代表一台计算机的思想实验-从先进的超级计算机到铅笔和纸的数学家。据信，如果可以通过算法解决问题，则存在解决该问题的图灵机。确实，这是教会－图灵论点的陈述。此外，众所周知，可以在我们今天已知的其他计算模型上计算的所有事物，例如RAM机，Conway的生命游戏，元胞自动机或任何编程语言都可以在Turing机上进行计算。由于图灵机很容易进行数学分析，并且被认为与其他任何计算模型一样强大，因此图灵机是复杂性理论中最常用的模型。
什么是可以通过算法解决问题的科学实验？