نظریه خودکارافزار
automata theory
Turing machine
ماشین تورینگ
رایانه رقمی
digital computer
منطق صوری
formal logic