|
Целью работы является описание формальной модели программ, обладающей преимуществами, присущими таблицам решений, и применимой для описания алгоритмов любой структуры. Предложенная модель принадлежит к классу автоматных моделей. Теоретической базой для автоматного подхода к заданию алгоритмов является теория конечных автоматов и теория вычислимых функций по Тьюрингу. |