User:Stegoratops

Hello, I am Stegoratops (who would have guessed)

There isn't anything here — except for testing of the editing

Playground

• ➡
• ↘
• ⬇
• ↙
• ⬅
• ➡
• 🅿

B I G   G O R I L L A

Some more Testing

$a==b:=\left\{{\begin{array}{lcl}1&{\text{if}}&a=b\\0&{\text{if}}&a\neq b\end{array}}\right.$

$x=\sum _{i=0}^{S}\left(({\text{state}}=={\text{state}}_{i})\cdot \sum _{j=0}^{A}\left(({\text{head}}=={\text{symbol}}_{j})\cdot x_{i,j}\right)\right)$

dir:   (state==ST_0)*((head==SYM_0)*DIR_00 + (head==SYM_1)*DIR_01 + ... ) + (state==ST_1)*( ... ) + ...
write: (state==ST_0)*((head==SYM_0)*WRT_00 + (head==SYM_1)*WRT_01 + ... ) + (state==ST_1)*( ... ) + ...
state: (state==ST_0)*((head==SYM_0)*STA_00 + (head==SYM_1)*STA_01 + ... ) + (state==ST_1)*( ... ) + ...

head:  (dir==L)*(left %A)       + (dir==R)*(right%A)       + (dir==N)*write
left:  (dir==L)*(left /A)       + (dir==R)*(left *A+write) + (dir==N)*left
right: (dir==L)*(right*A+write) + (dir==R)*(right/A)       + (dir==N)*right

$ACCEPTED*(state==HALT_ACCEPTED)
1/(state-HALT)/(state-HALT_ACCEPT)