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