We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
Portable Turing Machine Notation
Jump to navigation
Jump to search
Portable Turing Machine Notation, abbreviated as PTMN, is a notation created by User:Cordership used to describe Turing machines.
Syntax
s1:
v0>(write tape head as this state)(go this direction, L for left, R for right)>(new state) //Do here if tape head == 0.
v1>(write tape head as this state)(go this direction, L for left, R for right)>(new state) //Do here if tape head == 1.
etc...
Not that sH signifies the halting state.
Example programs
Binary counter
s1:
v0>1R>s2
v1>1L>s1
s2:
v0>0L>s1
v1>0R>s2
BB(5) champion
s1:
v0>1R>s2
v1>1L>s3
s2:
v0>1R>s3
v1>1R>s2
s3:
v0>1R>s4
v1>0L>s5
s4:
v0>1L>s1
v1>1L>s4
s5:
v0>1R>sH
v1>0L>s1
Feel free to add examples!