jneug/typst-finite

Feature request: Turing Machine

kuelshammer opened this issue · 2 comments

Hi,

would isz be possible to add TMs using jFlap-Style with arrows labeled with read, write,, move? Also we would need possiblility to add ND-TMs.

Thanks, Max

jneug commented

Would you mind providing some more information and examples on what you would like to achieve?

Asuming you want a TM with q0, q1 and q2 as states. Alphabet is a,b,c. If you want to have:

old state – symbol - new state - new symbol - movement
q0 - a - q0 - a - L
q0 - b - q0 - b - R
q0 - c - q1 - a - L
q0 - c - q2 - b - R

If you include a; a; Land b; b; R on the same arrow from q0 to q0 the writing is inside the arrow.