автоматизована система керування повітряним рухом, автоматизированная система управления воздушным движением, АСУВД
Рассматривается класс логико-математических моделей, обладающих конечной памятью и обычно называемых конечными автоматами.
Пособие написано на основе материала лекций, читающих для студентов, обучающихся по специальности "Автоматизированные системы обработки информации и управления" в Московском авиационном институте в течении ряда лет.
Данное пособие может быть полезно инженерам, аспирантам и студентам технических специальностей для первоначального знакомства с вопросами.
