search

jneug / typst-finite

Typst-setting finite automata with CeTZ.
MIT License
50 stars 0 forks source link

Feature request: Turing Machine #2

Open kuelshammer opened 10 months ago

kuelshammer commented 10 months ago

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 10 months ago

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

kuelshammer commented 10 months ago

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.