NikolajDanger/plthy
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

✨

Browse Source
This commit is contained in:
Nikolaj Gade
2024-02-21 16:00:09 +01:00
parent ee2817afbb
commit cee71787f4
11 changed files with 51 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

BIN
documentation/plthy.pdf
View File

Binary file not shown.

3
documentation/plthy.tex
View File

@ -14,7 +14,7 @@
\textit{program} & $\rightarrow$ & \texttt{hello} \texttt{|} \textit{statements} \texttt{goodbye} \texttt{|} \\ \hline \hline
\textit{statements} & $\rightarrow$ & \\ \hline
\textit{statements} & $\rightarrow$ & \textit{statement} \texttt{|} \textit{statements} \\ \hline\hline
\textit{statement} & $\rightarrow$ & \\ \hline
\textit{statement} & $\rightarrow$ & \texttt{skip} \\ \hline
\textit{statement} & $\rightarrow$ & \texttt{maybe} \textit{statement}\\ \hline
\textit{statement} & $\rightarrow$ & \texttt{do} \textit{command}\\ \hline
\textit{statement} & $\rightarrow$ & \texttt{[} \textit{statements} \texttt{]}\\ \hline
@ -22,6 +22,7 @@
\textit{statement} & $\rightarrow$ & \texttt{define} \textbf{function} \texttt{<} \textbf{int} \texttt{>} \texttt{as} \textit{statement} \\ \hline
\textit{statement} & $\rightarrow$ & \texttt{return} \textit{expression} \\ \hline\hline
\textit{command} & $\rightarrow$ & \textit{statement} \texttt{if} \textit{expression} \\ \hline
\textit{command} & $\rightarrow$ & \textit{statement} \texttt{if} \textit{expression} \textit{else} \textit{statement} \\ \hline
\textit{command} & $\rightarrow$ & \textit{statement} \texttt{because} \textit{expression} \\ \hline
\textit{command} & $\rightarrow$ & \textit{statement} \texttt{until} \textit{expression} \\ \hline
\textit{command} & $\rightarrow$ & \textbf{builtin} \texttt{<} \textit{expressions} \texttt{>} \\ \hline