Сколько дифавтоматов