univer-6th-semester/mathlogic
Code Actions Releases 5

Правки: семантические действия через стрелочку

Browse Source
This commit is contained in:
Артём Тищенко
2025-05-25 15:18:12 +03:00
parent b64f7a3205
commit 037a4cd8a0
1 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
lab5/report.tex
View File

@@ -36,6 +36,7 @@
\usepackage{xcolor} % цвета \usepackage{xcolor} % цвета
\usepackage{hyperref}% для гиперссылок \usepackage{hyperref}% для гиперссылок
\usepackage{enumitem} %для перечислений \usepackage{enumitem} %для перечислений
\usepackage{latexsym} %для символа \leadsto
\newcommand{\specialcell}[2][l]{\begin{tabular}[#1]{@{}l@{}}#2\end{tabular}} \newcommand{\specialcell}[2][l]{\begin{tabular}[#1]{@{}l@{}}#2\end{tabular}}
@@ -357,11 +358,11 @@
Для этого продукции были сопоставлены со следующими инструкциями: Для этого продукции были сопоставлены со следующими инструкциями:
\begin{itemize} \begin{itemize}
\item $S \rightarrow B A b$ -- \texttt{iconst\_1} \item $S \rightarrow B A b$ $\leadsto$ \texttt{iconst\_1}
\item $A \rightarrow a A B C$ -- \texttt{iconst\_2 isub} \item $A \rightarrow a A B C$ $\leadsto$ \texttt{iconst\_2 isub}
\item $A \rightarrow b B$ -- \texttt{iconst\_1 iadd} \item $A \rightarrow b B$ $\leadsto$ \texttt{iconst\_1 iadd}
\item $B \rightarrow b$ -- \texttt{iconst\_3 iadd} \item $B \rightarrow b$ $\leadsto$ \texttt{iconst\_3 iadd}
\item $C \rightarrow c A$ -- \texttt{iconst\_3 iadd} \item $C \rightarrow c A$ $\leadsto$ \texttt{iconst\_3 iadd}
\end{itemize} \end{itemize}
Тогда при левом выводе цепочки \texttt{babbbcbbb}, будет сгенерирована следующая последовательность инструкций: Тогда при левом выводе цепочки \texttt{babbbcbbb}, будет сгенерирована следующая последовательность инструкций: