{ localUrl: '../page/turing_machine.html', arbitalUrl: 'https://arbital.com/p/turing_machine', rawJsonUrl: '../raw/5pd.json', likeableId: '3424', likeableType: 'page', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [ 'EricBruylant' ], pageId: 'turing_machine', edit: '7', editSummary: '', prevEdit: '6', currentEdit: '7', wasPublished: 'true', type: 'wiki', title: 'Turing machine', clickbait: 'A Turing Machine is a simple mathematical model of computation that is powerful enough to describe any computation a computer can do.', textLength: '5490', alias: 'turing_machine', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'AlexeiAndreev', editCreatedAt: '2016-10-03 18:45:38', pageCreatorId: 'EricLeese', pageCreatedAt: '2016-07-31 03:15:38', seeDomainId: '0', editDomainId: 'AlexeiAndreev', submitToDomainId: '0', isAutosave: 'false', isSnapshot: 'false', isLiveEdit: 'true', isMinorEdit: 'false', indirectTeacher: 'false', todoCount: '0', isEditorComment: 'false', isApprovedComment: 'true', isResolved: 'false', snapshotText: '', anchorContext: '', anchorText: '', anchorOffset: '0', mergedInto: '', isDeleted: 'false', viewCount: '144', text: 'A Turing Machine is a simple mathematical model of [-computation] that is powerful enough to describe any computation a computer can do.\n\nImagine a robot, in front of a little whiteboard, with infinitely many whiteboards to both sides, finitely many of which have a symbol written on them. The robot can erase the contents of a whiteboard and replace it with some other symbol, and it can move over to the next whiteboard on the left or right, or shut down. This is all the robot can do. The robot's actions are determined by only two things: the symbol on the whiteboard it just saw, and its internal state. The output of this process is defined to be "whatever is written on the string of whiteboards when the robot has shut down".\n\nThis is equivalent to a Turing Machine (with the robot replaced by a machine head and the infinite line of whiteboards replaced by an infinite tape subdivided into cells). The *halting problem* (which [halting_problem_is_uncomputable is unsolvable] in general) asks whether the robot will eventually shut down at some point.\n\nSo, a Turing Machine can be specified with the following information: \n\n- A finite set of symbols the robot can write (one of which is the null symbol, an empty board).\n- A finite set of states the robot can be in (at least one of which causes the robot to shut down).\n- A starting state for the robot.\n- Starting symbols on finitely many of the boards (whiteboard location and symbol type data).\n- A transition function for the robot, which takes a symbol/state pair as input, and has a $(\\text{symbol},\\text{state},\\text{move left or right})$ triple as output. For example, ine such transition might be represented as `if symbol is 7 and state is FQUF, then (erase and write 4, set state to ZEXA, move left)`.\n\nSurprisingly enough, other proposed models of computation have all been shown to be weaker than, or equivalent to, Turing Machines! With infinite memory space, and sufficiently intricate sets of symbols and states, the robot and whiteboard (or machine head and memory tape) system can compute anything at all that is computable in principle!\nThis fact is known as the Church-Turing thesis; it's very widely believed to be true, and certainly no-one has ever found any hint of a counterexample, but it's not "proved" in any meaningful sense.\n\n# Variants of Turing machines\n\n*Multi-tape Turing Machines* would be equivalent to having several robots in infinite whiteboard hallways, except that the robots are networked together to all share the same state. An example state transition is as follows:\n\n`If symbol A is * and symbol B is 6 and symbol C is absent and state is VREJ, set state to IXXI, robot A writes ! and moves left, robot B writes 9 and moves left, robot C writes = and doesn't move.`\n\nThese Multi-tape Machines can speed up some computations polynomially (so, for example, a problem which would normally take 1 million steps to solve may be solvable in a thousand steps, because of the square root speedup). Because these machines can only muster a polynomial speedup, and moving to a one-tape Turing Machine only incurs a polynomial slowdown, the computational [5pf complexity class P] is unchanged across Turing Machines with different numbers of tapes.\n\n*Write-only Turing Machines* are Multi-tape Turing Machines where one of the tapes/hallways of whiteboards has its input ignored when determining the next state, written symbols and movements.\nWe can think of this situation as one where one particular robot is blind.\n\n*Read-only Turing Machines* are Multi-tape Turing Machines, and one of the tapes/hallways of whiteboards cannot be rewritten. The robot in there can only move around and observe, but it has not been given a pen or rubber so it can't write on or erase the boards.\n\n*Oracle Machines* (which are more powerful than Turing Machines, and don't exist in reality, though they are a very useful tool in computational complexity theory), are like a mult-tape machine with exactly two tapes: one tape is designated as the "oracle tape", and one tape as the "machine tape".\nThis time, one of the robot states is "INVOKING MAGIC ORACLE".\nWhen that happens, the contents of the whiteboards in the machine hall (that is, the contents of the machine tape) are interpreted as the description of a problem, and then a correct solution to the problem magically appears on the string of whiteboards in the oracle hall (that is, on the oracle tape), completely erasing whatever was on the oracle hall whiteboards originally; and finally the oracle robot is moved to the first whiteboard of the answer.\n\nTherefore the functionality of the oracle machine depends very strongly on what the oracle does! A given oracle machine might do one thing when the oracle does "compute the [-5bv] of the number I was called with" than when it does "compute whether or not the number I was given is the [-description_number] of a halting Turing machine".\n\nOracle machines are like ordinary Turing machines, except we also give them the ability (in principle) to obtain instant correct answers to any particular problem. The problem we may instantly solve is fixed in advance, before we ever start running the machine.\nWith the right oracle, oracle machines can solve *any* problem, where Turing machines cannot (recalling that the halting problem can't be solved by Turing machines).\nHowever, the price is that oracle machines don't exist: they require a magic oracle, and we don't have any of those in nature.\n', metaText: '', isTextLoaded: 'true', isSubscribedToDiscussion: 'false', isSubscribedToUser: 'false', isSubscribedAsMaintainer: 'false', discussionSubscriberCount: '2', maintainerCount: '2', userSubscriberCount: '0', lastVisit: '', hasDraft: 'false', votes: [], voteSummary: 'null', muVoteSummary: '0', voteScaling: '0', currentUserVote: '-2', voteCount: '0', lockedVoteType: '', maxEditEver: '0', redLinkCount: '0', lockedBy: '', lockedUntil: '', nextPageId: '', prevPageId: '', usedAsMastery: 'false', proposalEditNum: '0', permissions: { edit: { has: 'false', reason: 'You don't have domain permission to edit this page' }, proposeEdit: { has: 'true', reason: '' }, delete: { has: 'false', reason: 'You don't have domain permission to delete this page' }, comment: { has: 'false', reason: 'You can't comment in this domain because you are not a member' }, proposeComment: { has: 'true', reason: '' } }, summaries: {}, creatorIds: [ 'AlexAppel', 'EricLeese', 'PatrickStevens', 'EricBruylant', 'AlexeiAndreev' ], childIds: [ 'rice_theorem', 'turing_machine_external_resources' ], parentIds: [ 'math' ], commentIds: [ '5y5' ], questionIds: [], tagIds: [ 'c_class_meta_tag' ], relatedIds: [], markIds: [], explanations: [], learnMore: [], requirements: [], subjects: [], lenses: [ { id: '117', pageId: 'turing_machine', lensId: 'turing_machine_external_resources', lensIndex: '0', lensName: 'External resources', lensSubtitle: '', createdBy: '1yq', createdAt: '2016-08-20 23:23:00', updatedBy: '1yq', updatedAt: '2016-08-20 23:23:13' } ], lensParentId: '', pathPages: [], learnMoreTaughtMap: {}, learnMoreCoveredMap: {}, learnMoreRequiredMap: {}, editHistory: {}, domainSubmissions: {}, answers: [], answerCount: '0', commentCount: '0', newCommentCount: '0', linkedMarkCount: '0', changeLogs: [ { likeableId: '3574', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '19831', pageId: 'turing_machine', userId: 'AlexeiAndreev', edit: '7', type: 'newEdit', createdAt: '2016-10-03 18:45:38', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '19055', pageId: 'turing_machine', userId: 'EricBruylant', edit: '0', type: 'newChild', createdAt: '2016-08-20 23:22:37', auxPageId: 'turing_machine_external_resources', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '19047', pageId: 'turing_machine', userId: 'EricBruylant', edit: '6', type: 'newEdit', createdAt: '2016-08-20 19:15:17', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '19046', pageId: 'turing_machine', userId: 'EricBruylant', edit: '0', type: 'deleteTag', createdAt: '2016-08-20 19:13:14', auxPageId: 'stub_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '19044', pageId: 'turing_machine', userId: 'EricBruylant', edit: '0', type: 'newTag', createdAt: '2016-08-20 19:13:13', auxPageId: 'c_class_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18815', pageId: 'turing_machine', userId: 'PatrickStevens', edit: '5', type: 'newEdit', createdAt: '2016-08-18 07:47:45', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '3423', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '18808', pageId: 'turing_machine', userId: 'AlexAppel', edit: '3', type: 'newEdit', createdAt: '2016-08-18 06:59:31', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18807', pageId: 'turing_machine', userId: 'AlexAppel', edit: '2', type: 'newEditProposal', createdAt: '2016-08-18 05:55:03', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18529', pageId: 'turing_machine', userId: 'PatrickStevens', edit: '0', type: 'newChild', createdAt: '2016-08-07 10:00:20', auxPageId: 'rice_theorem', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17807', pageId: 'turing_machine', userId: 'EricRogstad', edit: '0', type: 'newParent', createdAt: '2016-07-31 07:18:30', auxPageId: 'math', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17800', pageId: 'turing_machine', userId: 'EricLeese', edit: '0', type: 'newTag', createdAt: '2016-07-31 03:19:40', auxPageId: 'stub_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '17799', pageId: 'turing_machine', userId: 'EricLeese', edit: '1', type: 'newEdit', createdAt: '2016-07-31 03:15:38', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'true', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: { improveStub: { likeableId: '3277', likeableType: 'contentRequest', myLikeValue: '0', likeCount: '5', dislikeCount: '1', likeScore: '5', individualLikes: [], id: '11', pageId: 'turing_machine', requestType: 'improveStub', createdAt: '2016-07-31 06:44:14' }, moreWords: { likeableId: '3294', likeableType: 'contentRequest', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '19', pageId: 'turing_machine', requestType: 'moreWords', createdAt: '2016-08-02 17:34:35' } } }