How can I open the gml-files from the state diagram exporter?
You can open (and edit) gml-files using graph editors like
yEd.
Tursi does not export any graphical information. Therefore, some
programs draw all vertices (states) on the same position. yEd can
align them automatically. Take a look at 'Layout' in the menu bar.
How can I choose the printed tape section in console mode?
There's no direct way to select a tape section in console mode. The
printed section will always cover the cells between the leftmost and the
rightmost cell.
You can use a workaround and set leftmost and rightmost to a guaranteed
minimum by moving the head to these cells, before you start your
actual turing machine.
Add these lines to your tm-file:
#! start ml # replace your start state
#! wildcard ?
ml ? ? -10 mr # leftmost is now -10
mr ? ? 20 mc # rightmost is now 10 (not 20!)
mc ? ? -10 q0 # move back to cell 0
Replace q0 with your old start state and make sure ml, mr and mc do not occur in your actual table.
Some menu items are invisible. I'm using Linux Mint and Cinnamon.
This is a bug in the GTK theme, which can easily be fixed (click here).
Why is the FAQ so short?
I have not received many questions.
If you have any, you can send me a mail.