ماشین محاسبه
preferred label: computation machine @en
type: Concept
narrower: ماشین تورینگ

برهان
preferred label: proof @en
type: Concept
related: ماشین تورینگ

آلن تورینگ
preferred label: Alan Turing @en
type: Concept
related: ماشین تورینگ

ماشین تورینگ جهانی
preferred label: universal Turing machine @en
type: Concept
broader: ماشین تورینگ

قضیه سرعت بالای خطی
preferred label: linear speedup theorem @en
type: Concept
related: ماشین تورینگ

زمان چندجمله‌ای
preferred label: polynomial time @en
type: Concept
related: ماشین تورینگ

ماشین تورینگ
broader: ماشین محاسبه
related: برهان
related: قضیه سرعت بالای خطی
related: آلن تورینگ
related: زمان چندجمله‌ای
type: Concept
narrower: ماشین تورینگ جهانی
preferred label: Turing machine @en
alternative label: ماشین تیورینگ