diff --git a/automata/reg-to-automaton.tex b/automata/reg-to-automaton.tex
index 12bdeaf..49ad326 100644
--- 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
index ef47732..2c7057a 100644
--- 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
index f8c38d6..fd36981 100644
--- 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.