L’autore non ha ancora risposto, in compenso ho trovato qualche altro problema…
Mi servirebbe mostrare (semplicemente) la mdt in una configurazione che non si a la prima e quindi con la testina non all’inizio e uno stato non quello iniziale. La soluzione che3 ho trovato (e in parte funziona) è la seguente
`\newtm(\#,$w_1$,-,-,-,$w_N$,$u_1$,-,-,-,-,$u_M$,-)
\turingrules{%
(s,\#,s,\#,R),%
(s,$w_1$,s,$w_1$,R),%
(s,-,s,-,R),%
(s,$w_N$,q,$w_N$,H)%
}
\begingroup\setlength{\parindent}{0pt}
\begin{lstlisting}[numbers=none,float=htbp,basicstyle=\linespread{1.4}\ttfamily,
frame=trBL,linewidth=\linewidth,caption={MdT: configurazione},label=mdt:config]
&!\loopstep{6}
\showtm
!&
\end{lstlisting}
\endgroup
`
ora, a parte che devo usare \loopstep{} perchè \nextstep pare non funzionare, il risultato è che la visualizzazione del nastro dentro la cella del listings è giustificata a destra, contrariamente a tutte le altre che lo sono a sinistra. Inoltre nel caso della sequenza \showtm \runtm la prima stringa resta comunque indentata un po’ sulla destra rispetto alle altre, nonostante il bordo della listings sia perfetto.
Se riuscite a risolvere anche questo grazie mille 🙂