表达式24: tau Subscript, "L" , Baseline equals left bracket, 0 , 0 , 0 , 0 , 0 , 0 , right bracketτL=0,0,0,0,0,0
24
表达式25: tau Subscript, "R" , Baseline equals left bracket, 1 , 1 , 1 , 1 , 1 , 1 , 0 , 0 , right bracketτR=1,1,1,1,1,1,0,0
25
actions
对学生隐藏该文件夹。
26
move left
27
表达式28: "M" Subscript, "L" , Baseline equals left parenthesis, "s" to tau Subscript, "L" , Baseline left bracket, 1 , right bracket , tau Subscript, "R" , Baseline to join left parenthesis, "s" , tau Subscript, "R" , Baseline , right parenthesis , tau Subscript, "L" , Baseline to tau Subscript, "L" , Baseline left bracket, 2... left parenthesis, length left parenthesis, tau Subscript, "L" , Baseline , right parenthesis , right parenthesis , right bracket , right parenthesisML=s→τL1,τR→joins,τR,τL→τL2...lengthτL
28
move right
29
表达式30: "M" Subscript, "R" , Baseline equals left parenthesis, "s" to tau Subscript, "R" , Baseline left bracket, 1 , right bracket , tau Subscript, "L" , Baseline to join left parenthesis, "s" , tau Subscript, "L" , Baseline , right parenthesis , tau Subscript, "R" , Baseline to tau Subscript, "R" , Baseline left bracket, 2...length left parenthesis, tau Subscript, "R" , Baseline , right parenthesis , right bracket , right parenthesisMR=s→τR1,τL→joins,τL,τR→τR2...lengthτR
30
write v to s (or move L or R accordingly)
31
表达式32: "W" left parenthesis, "v" , right parenthesis equals left brace, "v" equals "L" : "M" Subscript, "L" , Baseline , "v" equals "R" : "M" Subscript, "R" , Baseline , left parenthesis, "s" to "v" , right parenthesis , right braceWv=v=L:ML,v=R:MR,s→v
32
run instruction step
33
表达式34: "S" left parenthesis, , right parenthesis equals left parenthesis, "W" left parenthesis, "T" Subscript, "n" , Baseline left bracket, "I" left parenthesis, , right parenthesis , right bracket , right parenthesis , "q" to "q" Subscript, "n" , Baseline left bracket, "I" left parenthesis, , right parenthesis , right bracket , right parenthesisS=WTnI,q→qnI
