Merge pull request #1 from Kakasinho/master

Correct typos
polimi-cheatsheet · Jan 31, 2020 · 347685d · 347685d
2 parents 33f46c2 + 9293e89
commit 347685d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/automata/reg-to-automaton.tex b/automata/reg-to-automaton.tex
@@ -9,7 +9,7 @@ \subsection{Thompson method}
     \includegraphics[width=\linewidth]{automata/thompson.png}
 \end{figure}
 
-\subsection{Berry-Sethy method}
+\subsection{Berry-Sethi method}
 
 Result deterministic but can be non-minimal.
 

diff --git a/grammars/transformations.tex b/grammars/transformations.tex
@@ -32,7 +32,7 @@ \subsection{Elimination of copy rules}
     C &\in \text{Copy}(A) \text{ if } B \in \text{Copy}(A) \land B \rarr C \in P
 \end{align*}
 
-\paragraph{Construction of the gramma without copy rules}
+\paragraph{Construction of the grammar without copy rules}
 
 \begin{itemize}
     \item Remove copy rules: $P' := P \setminus \{A\rarr B | A, B \in P\}$

diff --git a/syntax/static-analysis.tex b/syntax/static-analysis.tex
@@ -12,7 +12,7 @@ \subsection{Control Flow Graph}
     \item Variable in the right part is replaced with \emph{use}
 \end{itemize}
 
-Every instruction $p$ has $dep(p)$ and $use(p)$ set.
+Every instruction $p$ has $def(p)$ and $use(p)$ set.
 
 \subsection{Liveness intervals of Variables}
 A variable is live at some point if later its current value is used by an instruction.