> Az állapotgép ... és az a feltétel, amit az állapotgép kiértékel? Az mindig kiértékelődik? Nem rövidíti le (szervezi át) az optimalizáció? Mert szerinte, úgy is egyértelmű... szerinted meg nem... (implicit infod van, ami neki nincs) KJ