http://selftiming.ru/new/2012/10/05/princzipy-postroeniya-sredstv-otladki-rekurrentnogo-vychislitelya/