User blog comment:Ikosarakt1/My Turing machine programs/@comment-25418284-20130328070702/@comment-25418284-20130328074114

It's for the doubling one. (Which is interesting because it's \(f_1\). I'm working on \(f_2\))

It works okay on the website you linked. The words are just states with names.

0 _ * * halt 0 1 * * 1 1 _ * r 2 1 1 * r * 2 _ 1 r 5 2 1 * r * 3 _ * l 4 3 1 * l * 4 _ * r 5 4 1 * l * 5 _ 1 l 3 5 1 _ r 0

I just converted this by hand so I'm not sure if it works