Машина Тьюринга. Машина Поста.
Можно скачать проги и поиграть. Рекомендую.
Вы научитесь конструировать обычные компьютерные проги из нулей и единиц.
Все в мире можно запрограммировать (создать алгоритм) из предельно простых операций (запись символа, стирание, сдвиг головки) и 0,1.
Тренажёр «Машина Тьюринга» - это учебная модель универсального исполнителя (абстрактной вычислительной машины), предложенного в 1936 году А. Тьюрингом для уточнения понятия алгоритма. Согласно тезису Тьюринга, любой алгоритм может быть записан в виде программы для машины Тьюринга. Доказано, что машина Тьюринга по своим возможностям эквивалентна машине Поста и нормальным алгорифмам Маркова.
http://kpolyakov.spb.ru/prog/turing.htm
Тренажёр «Машина Поста» - это учебная модель универсального исполнителя (абстрактной вычислительной машины), основанного на работах Э.Л. Поста по уточнению понятия алгоритма. Согласно тезису Поста, любой алгоритм может быть записан в виде программы для машины Поста. Доказано, что машина Поста по своим возможностям эквивалентна машине Тьюринга и нормальным алгорифмам Маркова.
http://kpolyakov.spb.ru/prog/post.htm
Вы научитесь конструировать обычные компьютерные проги из нулей и единиц.
Все в мире можно запрограммировать (создать алгоритм) из предельно простых операций (запись символа, стирание, сдвиг головки) и 0,1.
Тренажёр «Машина Тьюринга» - это учебная модель универсального исполнителя (абстрактной вычислительной машины), предложенного в 1936 году А. Тьюрингом для уточнения понятия алгоритма. Согласно тезису Тьюринга, любой алгоритм может быть записан в виде программы для машины Тьюринга. Доказано, что машина Тьюринга по своим возможностям эквивалентна машине Поста и нормальным алгорифмам Маркова.
http://kpolyakov.spb.ru/prog/turing.htm
Тренажёр «Машина Поста» - это учебная модель универсального исполнителя (абстрактной вычислительной машины), основанного на работах Э.Л. Поста по уточнению понятия алгоритма. Согласно тезису Поста, любой алгоритм может быть записан в виде программы для машины Поста. Доказано, что машина Поста по своим возможностям эквивалентна машине Тьюринга и нормальным алгорифмам Маркова.
http://kpolyakov.spb.ru/prog/post.htm