Нормальные алгоритмы и их применение к словам

Слайд 2

Упорядоченный конечный список формул подстановок в алфавите А называется схемой нормального алгоритма в А

Упорядоченный конечный список формул подстановок в алфавите А называется схемой нормального

алгоритма в А
Слайд 3

Для задания нормального алгоритма необходимо определить: - алфавит (к словам в

Для задания нормального алгоритма необходимо определить:
- алфавит (к словам в

котором алгоритм будет применяться)
- схему алгоритма
Слайд 4

Процесс применения нормального алгоритма к произвольному слову представляет собой дискретную последовательность элементарных шагов (тактов)

Процесс применения нормального алгоритма к произвольному слову представляет собой дискретную последовательность

элементарных шагов (тактов)
Слайд 5

Пусть R - слово, полученное на предыдущем шаге работы алгоритма (или

Пусть R - слово, полученное на предыдущем шаге работы алгоритма (или

исходное слово, если текущий шаг является первым).

Шаг работы нормального алгоритма

1) Если в схеме алгоритма среди формул подстановки нет такой, левая часть которой входила бы в R, то работа алгоритма считается завершённой, и результатом этой работы считается слово R

2) Если в схеме алгоритма имеются формулы подстановки, левые части которых входят в R, то к слову R применяется марковская подстановка, соответствующая первой такой формуле в схеме