Роль абстрактних алгоритмічних систем

подібні документи

Просте обчислювальний пристрій машина Тьюринга і її алгоритмічні властивості. Теза Черча-Тьюринга і моделювання машини Тьюринга (операції перезапису елементів, порівняння і переходу до іншої сусідньої осередку з урахуванням зміни стану машини).

Принципи роботи і основи програмування машини Тьюринга, а також перелік правил написання алгоритмів на її емуляторі. Особливості вирішення задачі по додаванню декількох чисел в двійковій системі шляхом реалізації її алгоритму на емуляторі машини Тьюрінга.

Методика розробки програми, призначеної для розбору пропозиції за допомогою багатострічковій машини Тьюринга. Цілі і призначення даної системи, основні вимоги, що пред'являються до неї. Організаційно-виконавчі роботи з утримання системи.

Більш суворе опис алгоритму, ніж загальне або формалізація поняття алгоритму. Три підходу до формалізації: теорія кінцевих і нескінченних автоматів, теорія обчислюваних (рекурсивних) функцій і л-числення Черча. Уявні машини Посту і Тьюринга.

А.М. Тьюринг як англійський математик, логік, криптограф, що зробив істотний вплив на розвиток інформатики. Поняття і призначення машини Тьюринга, принцип її роботи і сфери практичного застосування. Етапи реалізації парадигми програмування.

Вивчення поняття абстрактної обчислювальної машини і автомата, як її різновиди, яка визначається безліччю вхідних і вихідних сигналів, функцією, яка задає переходи з одних станів в інші. Формальна переробка послідовностей символів.

Приклади запитів до однієї з пошукових систем Інтернет (підбір ключових слів) і розрахунків в табличному процесорі MS Excel (інструменти). Опис машини Тьюринга: складові і їх функціонування. Основні формати представлення графічних даних.

Положення машини Тьюринга. Алгоритмічно нерозв'язні проблеми: "зупинка", еквівалентність алгоритмів, тотальність. Властивості алгоритму: дискретність, детермінованість, результативність, масовість. Вибір структури даних. Рішення на мові Haskell.

Синтез і детермінізації, алгоритм мінімізації автоматів-распознавателей. Машина Тьюринга як універсальний тип абстрактного перетворювача. Моделювання систем і подій за допомогою мереж Петрі. Методи синтезу структурних автоматів на базі тригерів.