Класичні алгоритмічні системи. Розробка емулятора машини Поста

Abstract

В теоретичній частині роботи розглядається поняття класичних алгоритмічних систем, історичне підґрунтя для їх виникнення та подальший розвиток. Також більш детально розглядаються деякі конкретні приклади основних типів алгоритмічних систем, такі як машина Тюрінга, рекурсивні функції, нормальні алгоритми Маркова та машина Поста. Для алгоритмів Маркова, машини Тюрінга та машини Поста наводяться ілюстрації, які описуються процес їх роботи та приклади розв’язання деяких задач за допомогою цих систем. В практичній частині роботи створюється емулятор машини Поста з використанням мови програмування C#, а також таких технологій як .Net Framework та WPF.