منطق صوری
preferred label: formal logic @en
type: Concept
related: ماشین تورینگ

ماشین تورینگ
related: منطق صوری
related: رایانه رقمی
broader: نظریه خودکارافزار
preferred label: Turing machine @en
type: Concept

نظریه خودکارافزار
preferred label: automata theory @en
type: Concept
narrower: ماشین تورینگ

رایانه رقمی
preferred label: digital computer @en
type: Concept
related: ماشین تورینگ