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

From Esolang
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!