{"version":9,"randomSeed":"66f5f005f2d3e00f1bfa3a8329319836","graph":{"viewport":{"xmin":-10.000000000000002,"ymin":-9.81883320954917,"xmax":9.999999999999998,"ymax":9.818833209549178}},"expressions":{"list":[{"type":"text","id":"2","text":"uses the notation in Jim Hefferon \"Theory of Computing\" v0.999, I.1.1"},{"type":"folder","id":"39","title":"sets","collapsed":true},{"type":"text","id":"14","folderId":"39","text":"states"},{"type":"expression","id":"15","folderId":"39","color":"#c74440","latex":"Q=\\left[0,1,2,3\\right]"},{"type":"text","id":"17","folderId":"39","text":"tape alphabet"},{"type":"expression","id":"18","folderId":"39","color":"#388c46","latex":"\\Sigma=\\left[0,1\\right]"},{"type":"text","id":"23","folderId":"39","text":"movements (arbitrary constants)"},{"type":"expression","id":"24","folderId":"39","color":"#388c46","latex":"L=-10","slider":{"hardMin":true,"hardMax":true,"max":"-10"}},{"type":"expression","id":"25","folderId":"39","color":"#6042a6","latex":"R=-9","slider":{"hardMin":true,"hardMax":true,"min":"-9","max":"-9"}},{"type":"folder","id":"41","title":"instructions"},{"id":"91","type":"table","folderId":"41","columns":[{"values":["0","0","1","1","2","2"],"hidden":true,"id":"89","color":"#2d70b3","latex":"q_{ppred}"},{"values":["0","1","0","1","0","1"],"hidden":true,"id":"90","color":"#388c46","latex":"T_{ppred}"},{"values":["L","R","L","0","R","L"],"hidden":true,"id":"92","color":"#6042a6","latex":"T_{npred}"},{"values":["1","0","2","1","3","2"],"hidden":true,"id":"93","color":"#000000","latex":"q_{npred}"}]},{"id":"98","type":"table","folderId":"41","columns":[{"values":["0","0","1","1","2","2","3","3","4","4"],"hidden":true,"id":"96","color":"#388c46","latex":"q_{padd}"},{"values":["0","1","0","1","0","1","0","1","0","1"],"hidden":true,"id":"97","color":"#6042a6","latex":"T_{padd}"},{"values":["0","R","1","1","0","L","R","0","R","1"],"hidden":true,"id":"99","color":"#000000","latex":"T_{nadd}"},{"values":["1","0","1","2","3","2","3","4","5","5"],"hidden":true,"id":"100","color":"#c74440","latex":"q_{nadd}"}]},{"id":"112","type":"table","folderId":"41","columns":[{"values":["0","0","1","","","","","",""],"hidden":true,"id":"110","color":"#6042a6","latex":"q_{p119}"},{"values":["0","1","0","","","","","",""],"hidden":true,"id":"111","color":"#000000","latex":"T_{p119}"},{"values":["0","0","R","","","","","",""],"hidden":true,"id":"113","color":"#c74440","latex":"T_{n119}"},{"values":["2","1","0","","","","","",""],"hidden":true,"id":"114","color":"#2d70b3","latex":"q_{n119}"}]},{"type":"expression","id":"102","folderId":"41","color":"#388c46","latex":"q_{p}=q_{p119}"},{"type":"expression","id":"103","folderId":"41","color":"#6042a6","latex":"T_{p}=T_{p119}"},{"type":"expression","id":"104","folderId":"41","color":"#000000","latex":"T_{n}=T_{n119}"},{"type":"expression","id":"106","folderId":"41","color":"#2d70b3","latex":"q_{n}=q_{n119}"},{"type":"text","id":"80","folderId":"41","text":"helper function"},{"type":"expression","id":"78","folderId":"41","color":"#6042a6","latex":"I_{0}\\left(\\right)=\\left[1...\\operatorname{length}\\left(q_{p}\\right)\\right]\\left[q_{p}=q\\right]"},{"type":"text","id":"82","folderId":"41","text":"index of currently-suitable instruction"},{"type":"expression","id":"68","folderId":"41","color":"#000000","latex":"I\\left(\\right)=\\left(I_{0}\\left(\\right)\\right)\\left[T_{p}\\left[I_{0}\\left(\\right)\\right]=s\\right]\\left[1\\right]"},{"type":"folder","id":"43","title":"configuration"},{"type":"expression","id":"29","folderId":"43","color":"#2d70b3","latex":"q=2","slider":{"hardMin":true,"hardMax":true,"min":"0","max":"99","step":"1"}},{"type":"expression","id":"30","folderId":"43","color":"#388c46","latex":"s=0","slider":{"hardMin":true,"hardMax":true,"step":"1"}},{"type":"expression","id":"33","folderId":"43","color":"#000000","latex":"\\tau_{L}=\\left[0,0,0,0,0,0,0,0,0,0,0,0,0\\right]"},{"type":"expression","id":"34","folderId":"43","color":"#c74440","latex":"\\tau_{R}=\\left[0\\right]"},{"type":"folder","id":"51","title":"actions"},{"type":"text","id":"62","folderId":"51","text":"move left"},{"type":"expression","id":"55","folderId":"51","color":"#000000","latex":"M_{L}=\\left(s\\to\\tau_{L}\\left[1\\right],\\tau_{R}\\to\\operatorname{join}\\left(s,\\tau_{R}\\right),\\tau_{L}\\to\\tau_{L}\\left[2...\\left(\\operatorname{length}\\left(\\tau_{L}\\right)\\right)\\right]\\right)"},{"type":"text","id":"64","folderId":"51","text":"move right"},{"type":"expression","id":"56","folderId":"51","color":"#c74440","latex":"M_{R}=\\left(s\\to\\tau_{R}\\left[1\\right],\\tau_{L}\\to\\operatorname{join}\\left(s,\\tau_{L}\\right),\\tau_{R}\\to\\tau_{R}\\left[2...\\operatorname{length}\\left(\\tau_{R}\\right)\\right]\\right)"},{"type":"text","id":"66","folderId":"51","text":"write v to s (or move L or R accordingly)"},{"type":"expression","id":"54","folderId":"51","color":"#6042a6","latex":"W\\left(v\\right)=\\left\\{v=L:M_{L},v=R:M_{R},\\left(s\\to v\\right)\\right\\}"},{"type":"text","id":"84","folderId":"51","text":"run instruction step"},{"type":"expression","id":"85","folderId":"51","color":"#388c46","latex":"S\\left(\\right)=\\left(W\\left(T_{n}\\left[I\\left(\\right)\\right]\\right),q\\to q_{n}\\left[I\\left(\\right)\\right]\\right)"},{"type":"folder","id":"44","title":"display","collapsed":true},{"type":"expression","id":"47","folderId":"44","color":"#388c46","latex":"\\left(-\\left[1...\\operatorname{length}\\left(\\tau_{L}\\right)\\right],\\tau_{L}\\right)","showLabel":true,"label":"${\\tau_L}","labelSize":"1.5","labelOrientation":"above"},{"type":"expression","id":"48","folderId":"44","color":"#000000","latex":"\\left(0,s\\right)","showLabel":true,"label":"${s}","dragMode":"NONE","labelSize":"1.5","labelOrientation":"above"},{"type":"expression","id":"46","folderId":"44","color":"#388c46","latex":"\\left(\\left[1...\\operatorname{length}\\left(\\tau_{R}\\right)\\right],\\tau_{R}\\right)","showLabel":true,"label":"${\\tau_R}","labelSize":"1.5","labelOrientation":"above"},{"type":"expression","id":"86","folderId":"44","color":"#6042a6","latex":"\\left(0,-1\\right)","showLabel":true,"label":"state: ${q}","labelSize":"1.5","labelOrientation":"below"}],"ticker":{"handlerLatex":"S\\left(\\right)","minStepLatex":"100","playing":true,"open":true}}}