- [[Zk/ref/アラン・チューリング|アラン・チューリング]]が提唱したコンピュータの理論的基盤のこと