Заказ работы

Заказать
Каталог тем
Каталог бесплатных ресурсов

Исчисления. Формальные системы. Формальные грамма-тики. Автоматы

Существует класс задач, математические модели и алгоритмы, решения которых удобно представлять в виде формальных исчислений. Наряду с машиной состояний и функциями, вычислимыми алгоритмом, «алгоритм–исчисление» является третьим видом уточнения понятия алгоритма. Технология проектирования программ, основанная на формальных исчислениях, обладает определённой спецификой, которая и рассматривается в этой лекции.



Размер файла: 461 Кбайт
Тип файла: doc (Mime Type: application/msword)
Заказ курсовой диплома или диссертации.

Горячая Линия


Вход для партнеров