برنامه‌سازی غیرمستدل
heuristic programming
منطق احتمالاتی
probabilistic logic
روبات‌شناسی
robotics
دستور زبان رایانه‌ای
computational grammar
رده هم‌ارز
equivalence class
منطق صوری
formal logic
محاسبه‌پذیری و تصمیم‌پذیری
computability and decidability
سامانه یادگیری
learning system
سامانه تطبیقی
adaptive system
روبات
robot
automata theory
نظریه خودکارافزار
نظریه محاسبه
computation theory
ماشین ترتیبی
sequential machine
Turing machine
ماشین تورینگ