widening picker

Прибавочник (круглочулочного автомата)