Un exemplu de model mai bun este dat in continuare:

!problema/robo?robo2.jpg!
 

ROBO observa ca (spre exemplu) **aba** si **bbba** sunt secvente de actiuni care conduc la repararea statiei si in modelul imbunatatit.
ROBO e convins ca poate gasi un model si mai bun. Acesta este cel din figura urmatoare:

!problema/robo?robo3.jpg!
 

ROBO nu poate gasi un model mai bun decat acesta din urma - unul cu numar de stari mai mic decat 3.
Pentru un model oarecare **M**, ROBO cauta **numarul de stari** al modelului cel mai bun - adica numarul minim de stari cu care putem reprezenta **M** astfel incat exact aceleasi secvente de actiuni din **M** conduc la reparatia statiei si in modelul imbunatatit.