reduced machine

Мат. приведенная машина