juan_gandhi: (Default)
For Turing Machine, that is.

<pre>
val EUC: Machine = Machine("Euclid",
"start",
"start" -> "start 0R / atFirst 1L",
"atFirst" -> "beforeFirst 1R / atFirst 1L",
"beforeFirst" -> "done 0R / skipFirst 0R",
"skipFirst" -> "separator 0R / skipFirst 1R",
"separator" -> "separator 0R / atSecond 0R",
"atSecond" -> "doneSubtraction 0L / backToFirst 1L",
"backToFirst" -> "backToFirst 0L / atFirst 1L",
"doneSubtraction" -> "doneSubtraction 0L / skipSecond 1L",
"skipSecond" -> "beforeSecond 0L / skipSecond 1L",
"beforeSecond" -> "beforeFirst 0R / atFirst 1L",
"done" -> "done 0S / done 1R"
)
</pre> 

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

October 2025

S M T W T F S
    1 23 4
5 678 9 1011
12 13 1415 161718
19202122232425
262728293031 

Syndicate

RSS Atom

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 20th, 2025 12:24 pm
Powered by Dreamwidth Studios