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

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

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

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

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

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

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

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

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

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

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

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

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

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