Anglais ⇄ Russe +

function mapping states into new states contraintes
intell.	функция отображения состояний на новые состояния (that result from the execution of actions Alex_Odeychuk)