حالت شروع : که عامل از آنجا شروع میشود
توصیفی از فعالیت های ممکن عامل
مدل گذار یا مدل تغیر حالت
آزمون هدف:تعین میکند آیا حالت خاصی حالت هدف است یا خیر
هزینه ی مسیر: برای هر مسیر یک هزینه عددی در نظر می گیرد
فضای حالت: مجموعه ای از حالت هاست که از حالت اولیه می توان به آنها رسید. به صورت گراف نمایش داده می شود
حالتها: گره های گراف
فعالیتها: یال هال گراف
مسیر فضای حالت: دنباله ای از حالتها که توسط دنباله ای از فعالیتها به هم متصل می شوند.
مساله های اسباب بازی
حالتها
8 حالت عامل در یکی از دو مکان است که هرکدام ممکن است کثیف باشند یا نباشند.
حالت شروع
هر حالتی می تواند به عنوان حالت اولیه طراحی شود
تابع مدل گذار یا تغیر حالت
حالتهای معتبری را تولید می کند که از 3 عملیات (Left, Right, Suck) ناشی می شود.
آزمون هدف
تمیز بودن تمام مربع ها
هزینه مسیر
هزینه هر مرحله 1 است. هزینه مسیر برابر تعداد مراحل در مسیر است
