 | Эта статья должна быть полностью переписана. |
Мета-алгоритм это обобщение понятия алгоритма. Классические формализации понятия алгоритма (например, нормальные алгоритмы) не в полной мере обеспечивают надлежащую формализацию интуитивного понятия алгоритма. Нормальные алгоритмы, например, не обеспечивают однозначное применение нормального алгоритма к себе (так как для применения алгоритма к схеме алгоритма требуется преобразование схемы алгоритма в некоторое слово в используемом алфавите, которое может быть осуществлено лишь «вручную», на основе некоторых договоренностей; поскольку договоренности являются не более, чем договоренностями (соглашениями), они могут меняться, что влечет неоднозначность применения алгоритма к себе).[1] Некоторая модификация нормальных алгоритмов обеспечивает однозначное применение самих себя к себе. Такая формализация понятия алгоритма считается определением мета-алгоритма.[2]
Примечания
- ↑ Чернюгов В. В. Проблема алгорифмического преобразования алгорифмов // Экономико-математические исследования: математические модели и информационные технологии, СПб; Наука, 2005. — С. 107—111
- ↑ Чернюгов В. В. Ненормализуемость модифицированных нормальных алгорифмов.//Сборник СПб ЭМИ РАН «Экономико-математические исследования: математические модели и информационные технологии», СПб, Наука, 2000,с.291-295.
 | Для улучшения этой статьи желательно: |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .