Русская Википедия:Диаграмма Тьюринга

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Диаграмма Тьюринга — графический способ описания работы машины Тьюринга. Состоит из символов, обозначающих данные машины Тьюринга, имеющие общий рабочий алфавит, символа «точка», обозначающего место, где нужно начинать работу, стрелок с написанными на них буквами. В диаграмме Тьюринга символ «точка» встречается только один раз, из любого символа выходит не более одной стрелки с каждой буквой алфавита. Каждой таблице Тьюринга <math>T</math> над алфавитом <math>A_{t}</math> можно эффективным образом сопоставить диаграмму <math>D</math>, образованную символами <math>r, l, a_{0}, ..., a_{t}</math> и точкой, так, чтобы определяемая этой диаграммой машина Тьюринга моделировала машину Тьюринга с таблицей <math>T</math>Шаблон:Sfn.

Примечания

Шаблон:Примечания

См. также

Литература