Что такое дифавтомат, чем отличается от обычного и для чего нужен