Что такое дифференциальный автомат, принцип его работы