Моделирование функционирования шахты средствами алгебры конечных автоматов DTAдоклад на конференции