برنامه‌سازی غیرمستدل
type: Concept
preferred label: heuristic programming @en
related: نظریه خودکارافزار

روبات
type: Concept
preferred label: robot @en
related: نظریه خودکارافزار

دستور زبان رایانه‌ای
type: Concept
preferred label: computational grammar @en
related: نظریه خودکارافزار

رده هم‌ارز
type: Concept
preferred label: equivalence class @en
related: نظریه خودکارافزار

روبات‌شناسی
type: Concept
preferred label: robotics @en
related: نظریه خودکارافزار

سامانه تطبیقی
type: Concept
preferred label: adaptive system @en
related: نظریه خودکارافزار

سامانه یادگیری
type: Concept
preferred label: learning system @en
related: نظریه خودکارافزار

ماشین ترتیبی
type: Concept
broader: نظریه خودکارافزار
preferred label: sequential machine @en

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

نظریه خودکارافزار
type: Concept
broader: نظریه محاسبه
narrower: ماشین ترتیبی
narrower: ماشین تورینگ
preferred label: automata theory @en
related: منطق احتمالاتی
related: روبات‌شناسی
related: دستور زبان رایانه‌ای
related: رده هم‌ارز
related: منطق صوری
related: محاسبه‌پذیری و تصمیم‌پذیری
related: سامانه یادگیری
related: سامانه تطبیقی
related: روبات
related: برنامه‌سازی غیرمستدل

محاسبه‌پذیری و تصمیم‌پذیری
type: Concept
preferred label: computability and decidability @en
related: نظریه خودکارافزار

منطق احتمالاتی
type: Concept
preferred label: probabilistic logic @en
related: نظریه خودکارافزار

منطق صوری
type: Concept
preferred label: formal logic @en
related: نظریه خودکارافزار

نظریه محاسبه
type: Concept
narrower: نظریه خودکارافزار
preferred label: computation theory @en