From afcb57796c3777bb730f0159a6200eb0c962243f Mon Sep 17 00:00:00 2001
From: IgnatSergeev <ignat.sergeev@softcom.su>
Date: Thu, 30 May 2024 15:30:32 +0300
Subject: [PATCH] Added solution

---
 F#/Normalization/Normalization.tex | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 F#/Normalization/Normalization.tex

diff --git a/F#/Normalization/Normalization.tex b/F#/Normalization/Normalization.tex
new file mode 100644
index 0000000..c5ebbd1
--- /dev/null
+++ b/F#/Normalization/Normalization.tex
@@ -0,0 +1,22 @@
+\documentclass{article}
+\usepackage[russian]{babel}
+
+
+\title{Normalization}
+
+\begin{document}
+\maketitle
+
+Если имеется ввиду $\lambda x.x\ y$ имеется ввиду $\lambda x.(x\ y)$:
+\begin{enumerate} 
+    \item $((\lambda a.(\lambda b.b\ b)\ (\lambda b.b\ b))\ b)\ ((\lambda c.c\ b)\ (\lambda a.a)) \to_\beta$
+    \item $((\lambda b.b\ b)\ (\lambda b.b\ b))\ ((\lambda c.c\ b)\ (\lambda a.a)) \to_\beta$
+    \item $((\lambda b.b\ b)\ (\lambda b.b\ b))\ ((\lambda a.a)\ b) \to_\beta$
+    \item $((\lambda b.b\ b)\ (\lambda b.b\ b))\ b$ - не нормальная, по нормальной стратегии переходит в себя => нормальной формы нет
+\end{enumerate} 
+
+
+Если под $\lambda x.x\ y$ имеется ввиду $(\lambda x.x)\ y$:
+не корректный так как в $\lambda x.x\ x$ x и в свободных и в связанных
+
+\end{document}