IEK: Автоматы дифференциальные (АВДТ)