====== Работы А. А. Маркова по теории алгорифмов ======

===== План работы =====
  * //Типы сферы деятельности// - **Технический**
  * //Сроки// - **2 месяца**
  * //По сложности и масштабу// - **Простой**
  

==== Этапы проекта ====
- **Планировка деятельности**
  
   -  Поиск матерьялов для проэкта(2 недели)
  - Редактирование информации(1 неделя)
  - Поиск дополнительных матерьялов (1 неделя)
  - Выложить матерьялы на сайт(1 неделя)
  - Ссылки на допалнительные матерьялы(выложить по ходу работы над проэктом)
  - Подобрать графику(1 неделя)
  -  Выложить дороботанные матерьялы(2 недели)
  -  Презентация проэкта(3 недели)

====== Проект. ======


//Нормальные алгоритмы являются **вербальными**, то есть предназначенными для применения к словам в различных алфавитах. Определение всякого нормального алгоритма состоит из двух частей: определения алфавита алгоритма (к словам в котором алгоритм будет применяться) и определения его схемы. Схемой нормального алгоритма называется конечный упорядоченный набор т. н. формул подстановки, каждая из которых может быть простой или заключительной. Простыми формулами подстановки называются слова вида , где L и D — два произвольных слова в алфавите алгоритма (называемые, соответственно, левой и правой частями формулы подстановки). Аналогично, заключительными формулами подстановки называются слова вида , где L и D — два произвольных слова в алфавите алгоритма. При этом предполагается, что вспомогательные буквы и не принадлежат алфавиту алгоритма (в противном случае на исполняемую ими роль разделителя левой и правой частей следует избрать другие две буквы).
**Любой** нормальный алгорифм эквивалентен некоторой машине Тьюринга, и наоборот — любая машина Тьюринга эквивалентна некоторому нормальному алгорифму. Вариант тезиса Чёрча — Тьюринга, сформулированный применительно к нормальным алгорифмам, принято называть «принципом нормализации».
Нормальные алгоритмы оказались удобным средством для построения многих разделов конструктивной математики. Кроме того, заложенные в определении нормального алгорифма идеи используются в ряде ориентированных на обработку символьной информации языков программирования — например, в языке Рефал.Процесс применения нормального алгоритма к произвольному слову V в алфавите этого алгорифма представляет собой дискретную последовательность элементарных шагов, состоящих в следующем. Пусть V' — слово, полученное на предыдущем шаге работы алгорифма (или исходное слово V, если текущий шаг является первым). Если среди формул подстановки нет такой, левая часть которой входила бы в V', то работа алгоритма считается завершённой, и результатом этой работы считается слово V'. Иначе среди формул подстановки, левая часть которых входит в V', выбирается самая верхняя. Если эта формула подстановки имеет вид ** L --> D** , то из всех возможных представлений слова V' в виде RLS выбирается такое, при котором R — самое короткое, после чего работа алгоритма считается завершённой с результатом RDS. Если же эта формула подстановки имеет вид** L --> D**  , то из всех возможных представлений слова V' в виде RLS выбирается такое, при котором R — самое короткое, после чего слово RDS считается результатом текущего шага, подлежащим дальнейшей переработке на следующем шаге.
Например, в ходе процесса применения алгорифма с указанной выше схемой к слову | * | | последовательно возникают слова | b * | , ba | * | , a | * | , a | b * , aba | * , baa | * , aa | * , aa | c, aac, ac | и c | | , после чего алгоритм завершает работу с результатом | | . 

//


**Дополнительные матерьялы** 
  * http://logic.pdmi.ras.ru/Markov/60letie.html 
  
  *  http://www.bestreferat.ru/referat-13586.html


  *  http://www.cultinfo.ru/fulltext/1/001/008/010/477.htm


  * http://mivmiv.narod.ru/Math/markov.html

  * http://soloviev.nevod.ru/2001/dm/DM-11.php

 













//Создовала Семенова Вера 10в1//