1. Алексеев, Е.Р. Турбо Паскаль 7.0 / Е.Р. Алексеев, ОБ. Чеснокова, В.Н. Павлыш, Л.В. Славинская. — М: НТ Пресс, 2007. — 270 с: ил.
2. Шауцукова Л. 3. Информатика : Учеб. пособие для 10-11 кл. общеобразоват. учреждений /Л. 3. Шауцукова. — 3-е изд.—М. : Просвещение, 2003.— 416 с. :
3. Ушаков Д. М., Юркова Т. А. Паскаль для школьников. — СПб.: Питер, 2008. — 256 е.: ил.
4. Бабушкина И.А., Бушмелева Н.А., Окулов С.М., Черных С.Ю. Практикум по Турбо Паскалю. Учебное пособие по курсам "Информатика и вычислительная техника", "Основы программирования". — Москва, АБФ, 1998. — 384 с.
5. Крылов Е.В. Техника разработки программ: В 2 кн. Кн. 1. Программирование на языке высокого уровня: Учебник / Е.В. Крылов, В.А. Острейковский, Н.Г. Типикин. — М.: Высш. шк., 2007. — 375 с: ил.
СИСТЕМНЕ ПРОГРАМУВАННЯ ТА ОПЕРАЦІЙНІ СИСТЕМИ
1. Скінчені детерміновані автомати. Математична модель, форми представлення. Оптимізація.
Приклад детермінованого скінченного автомата, який приймає тільки двійкові числа кратні 3. Стан S0 є одночасно початковим станом і допустимим станом.
В теорії алгоритмів і теорії автоматів, детермінований скінченний автомат (ДСА) — скінченний автомат, який приймає скінченний рядок символів. Для кожного стану існує стрілка переходу в наступний стан для кожного сиволу. По прочитанню символу, ДСА перестрибує детерміновано з одного стану в інший за відповідною стрілкою. Детермінованість означає наявність лише одного результату (тобто переходу в наступний стан для кожного символу (S0 -> Si) або повернення в той самий стан (S0 -> S0)). ДСА має початковий стан (позначений графічно стрілкою нізвідки) звідки починаються обчислення, і набір допустимих станів(позначених графічно двійними колами), які допомогають визначити успішність обчислень.
ДСА саме розпізнає набір регулярних мов, що є, між іншого, корисно для проведення лексичного аналізу і зіставляння із взірцем.[1] ДСА можна використати або в режимі приймача для перевірки належності вхідного рядка до мови, або в режимі генерації для створення списку всіх рядків в мові.
ДСА визначається як абстрактна математична концепція, яле через свою детермінованість, він може бути виконаним на апаратному або програмному рівні для розв'язання різних особливих задач. Наприклад, програмний автомат, який визначає є чи ні введений рядок вірним телефонним номером або електронною адресою. [2] Іншим прикладом на апаратному рівні є мікросхема, що керує автоматичними дверима, використовуючи вхідні дані від сенсорів руху або кнопок для визначення коли виконувати переходи між станами.
