tmsim

A fast turing machine simulator with graphviz export functionality

git clone https://git.8pit.net/tmsim.git

 1# Input: A binary number.
 2# Accepts if the given number has an even amout of 0s
 3# 	or doesn't contain any zeros at all.
 4
 5start: q1;
 6accept: q0;
 7
 8q1 {
 9	1 > 1 => q1;
10	0 > 0 => q2;
11
12	$ | $ => q0;
13}
14
15q2 {
16	1 > 1 => q2;
17	0 > 0 => q1;
18}