Skip to content

Instantly share code, notes, and snippets.

@smithcommajoseph
Created January 29, 2021 16:50
Show Gist options
  • Save smithcommajoseph/822e7e9ba3b323f89c64db7dda884966 to your computer and use it in GitHub Desktop.
Save smithcommajoseph/822e7e9ba3b323f89c64db7dda884966 to your computer and use it in GitHub Desktop.
q1
qAccept
qReject
0,1
q1 (0,x,R) q2
q1 (y,y,R) q4
q1 ( , ,L) qAccept
q1 (1, ,R) qReject
q2 (0,0,R) q2
q2 (y,y,R) q2
q2 (1,y,L) q3
q2 (x, ,R) qReject
q3 (0,0,L) q3
q3 (y,y,L) q3
q3 (x,x,R) q1
q3 (1, ,R) qReject
q4 (y,y,R) q4
q4 ( , ,L) qAccept
q4 (0, ,R) qReject
q4 (1, ,R) qReject
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment