Дифавтомат - принцип работы и определение