Теория алгоритмов и формальных языков. Мелихов А.Н - 5 стр.

UptoLike

Если алгоритмы предназначены для реализации на ЭВМ, то в это
определение необходимо внести ограничения, накладываемые
особенностями использования ЭВМ. Представим один из вариантов как
совокупность следующих требований.
1. Алгоритм А оперирует с конкретными объектами. Их можно
перенумеровать.
2. А задается конечным предписанием В, исходным, выходным и
рабочим алфавитами.
3. В должно быть составлено
таким образом, чтобы определяемые им
операции выполнялись поэтапно.
4. В должно быть составлено так, чтобы оно исполнялось однозначно.
5. В должно быть исполнимо, т.е. применение А к одному и тому же
входному слову должно приводить к одним и тем же последовательностям
действий и результату.
6. В должно быть составлено так, чтобы
его исполнение не требовало
информации, отличной от имеющейся во входном слове.
7. Нет никаких ограничений на длину В, длину слов и число шагов.
Важно только, чтобы они были конечны.
8. Для исполнения В требуется сколько угодно большая, но конечная
память.
Алгоритм можно описать множеством других определений, например
через конструктивно задаваемое соответствие
в некотором алфавите, через
понятие частичного алгоритма и так далее.
Будем называть алфавитным отображением или оператором всякое
соответствие, сопоставляющее словам некоторого алфавита слова в том же
(или другом) алфавите. При наличии двух алфавитов первый называется
входным, а второй выходным.
Алфавитный оператор называют однозначным, если он ставит в
соответствие одному
слову входного алфавита не более одного слова
выходного алфавита.