TY  - BOOK
AU  - Сопронюк,Т.М.
ED  - Чернів. нац. ун-т ім. Юрія Федьковича.
TI  - Системне програмування: навч. посіб.
PY  - 2008///
CY  - Чернівці
PB  - Рута
KW  - Математика
KW  - Прикладна математика
KW  - Математичне програмування
KW  - Системне програмування
KW  - Навчальні видання
N2  - У навчальному посібнику вивчаються елементи теорії формальних мов (форми Бекуса-Наура, регулярні вирази, формальні граматики, розпізнавачі, скінченні автомати, магазинні автомати) та теорії скінченних автоматів. Детальніше описано регулярні мови. Розглядаються алгоритми перетворення різних форм представлення автоматних мов з одного вигляду в інший, напрклад, регулярного виразу - в праволінійну граматику та навпаки, а також алгоритми перетворення недетермінованого скінченного автомата в детермінований, алгоритми вилучення недосяжних станів, алгоритми мінімізації та інші. Алгоритми демонструються на прикладах. Наведено варіанти завдань для лабораторних робіт по темах, розглянутих у посібнику. До значної частини алгоритмів, які треба реалізувати у лабораторних роботах, надано рекомендації по програмуванню. Для студентів напряму підготовки "Прикладна математика"
ER  -