Как правильно переставить команды в НАМ?

Question

[sashx]

Нужно переставить команды в НАМ так, чтобы алгоритм делал что-то осмысленное. Как решать такие задачи?

a1->1a
0a->b1
1c->b1
0c->b0
1b->b0
1a->c0
c->10*
0b->1*
b->1*
a0->0a
->a