YS
Size: a a a
2020 November 19
NK
С этим верно собирается
NK
\begin{figure}[H]
\caption{Computational rules}
\begin{align*}
(v): \ & \langle K; A; v(\overline{tok}) \ t \ \overline{t'} \rangle & \to_1 &
\langle K; A, \ \overline{tok}; t \ \overline{t'} \rangle \\
(v\mbox{-}end): \ & \langle K; A; v(\overline{tok}) \rangle & \to_1 &
K(unseq(A, \overline{tok})) \\
(op): \ & \langle K; A; call(\overline{t}, \overline{a}) \ \overline{t'} \rangle & \to_1 &
\langle \langle K; A; call(?, \overline{a}) \ \overline{t'} \rangle; (); \overline{t} \rangle \\
(args): \ & \langle K; A; call(ident, \overline{a}) \ \overline{t} \rangle & \to_1 & \\
\langle \langle K; A; ident(unseq\mbox{-}cs(?)) \ \overline{t} \rangle; (); \overline{a} \rangle \\
(start): \ & MACROLOP\_EVAL(t \ \overline{t'}) & \to_1 &
\langle halt; (); t \ \overline{t'} \rangle
\end{align*}
\end{figure}Вот в этом коде исправь, и будет норм, лишнее добавил
NK
(args): \ & \langle K; A; call(ident, \overline{a}) \ \overline{t} \rangle & \to_1 & \langle &
\langle K; A; ident(unseq\mbox{-}cs(?)) \ \overline{t} \rangle; (); \overline{a} \rangle \\вот так?
Тут дважды
& \langle получилсяH
А, не, всё верно я сказал, на 11 строке, где
(args) в конце & \\ перенос лишний, просто & (args): \ & \langle K; A; call(ident, \overline{a}) \ \overline{t} \rangle & \to_1 &
\langle \langle K; A; ident(unseq\mbox{-}cs(?)) \ \overline{t} \rangle; (); \overline{a} \rangle \\?
NK
Да
NK
он у меня так не переносится вообще
Так, а как ты хочешь?
NK
у меня строка с
(args) слишком длинная, нужно её как-то перенести на следующую строкуМожет вот так тогда
(args): \ & \langle K; A; call(ident, \overline{a}) \ \overline{t} \rangle & \to_1 \\
& \langle \langle K; A; ident(unseq\mbox{-}cs(?)) \ \overline{t} \rangle; (); \overline{a} \rangle \\NK
Я просто не уверен, как именно хочешь перенести
H
Может вот так тогда
(args): \ & \langle K; A; call(ident, \overline{a}) \ \overline{t} \rangle & \to_1 \\
& \langle \langle K; A; ident(unseq\mbox{-}cs(?)) \ \overline{t} \rangle; (); \overline{a} \rangle \\
А это уже похоже на то, что нужно, спасибо большое