After a lengthy discussion and a vote on this forum (Standard TM Text format) and on discord, a standard text format for specifying Turing machines has been collaboratively crafted:
A few points about this format:
- No spaces
- Halting transitions can be given either as:
1RZ, using any state letter that is bigger or equal to
nthe number of states of the machine
This new format is now live on the website: https://bbchallenge.org/1RB---_0LC1LC_0RD0LB_1RA0RE_1RD1RZ
On the topic of deciders, collaborator @Iijil has submitted no less than 2 deciders for the challenge ([Decider] Unilateral Bouncers and [Decider] Halting Segment) which are expected to decide in the order of 1 million of the remaining undecided machines.