Datori
Computers
Simboliskā un matemātiskā loģika
Logic, Symbolic and mathematical
Mākslīgais intelekts
Artificial intelligence
Algoritmi
Algorithm
Kodēšanas teorija
Coding theory
Robotika
Robotics
Machine theory
Automaattien teoria
Abstraktie automāti
Abstraktās mašīnas
Matemātiskā mašīnu teorija
Mašīnu teorija (algoritmi)
Šeit apkopoti darbi par ierīču abstraktiem matemātiskajiem modeļiem, kuri darbojas konsekventā loģiskā sistēmā atbilstoši dotajam algoritmam; šādu matemātisko teoriju var lietot kā projektēšanas pamatojumu, bet tā neattiecas uz pašu aparatūru.
Source: Latvijas padomju enciklopēdija, 1981:
Automata theory
Automātu teorija
Varbūtiski automāti
Probabilistic automata
Pārslēgšanas teorija
Switching theory
Rekursīvās funkcijas
Recursive functions
M2M komunikācija
M2M communications