juan_gandhi: (Default)
[personal profile] juan_gandhi
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> 
This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

May 2025

S M T W T F S
    1 2 3
456 7 8 9 10
11 121314151617
18192021222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated May. 15th, 2025 08:08 pm
Powered by Dreamwidth Studios