"Complessità di calcolo." . . "Automates." . . "fonction récursive." . . "Computable functions." . . "Berechnungstheorie." . . "calculabilité" . . . . "Lògica matemàtica." . . "langage formel." . . "Théorie des automates." . . "Autòmats." . . "Teoria de màquines" . . "teoretisk datalogi" . . "Teoría de las máquinas." . . "matematisk datalogi" . . . . . . . . . . . . . . . . . . . . . . . . . "Theories of computability"@en . "Theories of computability" . . . . . . . . . . . . . . . . . . . . . . . . "Teoria automatów." . . "automate fini." . . "Automates mathématiques, Théorie des." . . "Berechenbarkeit." . . "fonction finie." . . "Macchine - Teoria." . . "Màquines, Teoria de." . . "Theoretische Informatik." . .