Номинальные машины: Принципы работы и примеры