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