Teori komputasi
caption: Representasi artistik dari mesin Turing. Mesin Turing biasanya digunakan sebagai model teoritis untuk komputasi.
caption: Inklusi Himpunan yang dideskripsikan pada Hierarki Chomsky