Ilmu komputer teoretis
caption: Representasi artistik dari mesin Turing . Mesin Turing digunakan untuk memodelkan perangkat komputasi umum.