Что такое дифференциальный автомат (дифавтомат)? Как он работат.