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

Выделил цветом новый продукции

Browse Source
This commit is contained in:
Артём Тищенко
2025-05-30 13:06:01 +03:00
parent d61b1b7a2d
commit e0211cb6c5
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
lab4/report/report.tex
View File

@@ -18,7 +18,7 @@
\usepackage{afterpage} \usepackage{afterpage}
\usepackage{longtable} \usepackage{longtable}
\usepackage{float} \usepackage{float}
\usepackage{fancyvrb}
% \usepackage[paper=A4,DIV=12]{typearea} % \usepackage[paper=A4,DIV=12]{typearea}
@@ -263,7 +263,7 @@
Грамматика языка Милан, расширенная операцией инкремента и декремента, в форме Бэкуса-Наура приведена ниже: Грамматика языка Милан, расширенная операцией инкремента и декремента, в форме Бэкуса-Наура приведена ниже:
\begin{verbatim} \begin{Verbatim}[commandchars=\\\{\}]
<program> ::= ‘begin’ <statementList> ‘end’ <program> ::= ‘begin’ <statementList> ‘end’
<statementList> ::= <statement> ‘;’ <statementList> <statementList> ::= <statement> ‘;’ <statementList>
| epsilon | epsilon
@@ -279,10 +279,10 @@
| ‘(’ <expression> ‘)’ | ‘(’ <expression> ‘)’
| ‘read’ | ‘read’
| ‘-’ <factor> | ‘-’ <factor>
| <ident> ‘++’ \textcolor{green!60!black}{| <ident> ‘++’}
| <ident> ‘--’ \textcolor{green!60!black}{| <ident> ‘--’}
| ‘++’ <ident> \textcolor{green!60!black}{| ‘++’ <ident>}
| ‘--’ <ident> \textcolor{green!60!black}{| ‘--’ <ident>}
<relation> ::= <expression> <cmpi> <expression> <relation> ::= <expression> <cmpi> <expression>
<addop> ::= ‘+’|‘-’ <addop> ::= ‘+’|‘-’
<mulop> ::= ‘*’|‘/’ <mulop> ::= ‘*’|‘/’
@@ -291,7 +291,7 @@
<ident> ::= <letter> {<letter> | <digit>} <ident> ::= <letter> {<letter> | <digit>}
<letter> ::= ‘a’|‘b’|‘c’ | ...| ‘z’|‘A’|‘B’|‘C’ | ...| ‘Z’ <letter> ::= ‘a’|‘b’|‘c’ | ...| ‘z’|‘A’|‘B’|‘C’ | ...| ‘Z’
<digit> ::= ‘0’|‘1’|‘2’|‘3’|‘4’|‘5’|‘6’|‘7’|‘8’|‘9’ <digit> ::= ‘0’|‘1’|‘2’|‘3’|‘4’|‘5’|‘6’|‘7’|‘8’|‘9’
\end{verbatim} \end{Verbatim}
Изменения коснулись только правила \texttt{<factor>}, в котором были добавлены 4 новые продукции, описывающие операции постфиксного и префиксного инкремента и декремента. Изменения коснулись только правила \texttt{<factor>}, в котором были добавлены 4 новые продукции, описывающие операции постфиксного и префиксного инкремента и декремента.