diff --git a/doc/state-transition-rules.md b/doc/state-transition-rules.md
new file mode 100644
index 0000000..6eee71a
--- /dev/null
+++ b/doc/state-transition-rules.md
@@ -0,0 +1,22 @@
+```math
+\begin{align*}
+    \begin{array}{|rrrrr|}
+        \hline
+        & a : s & d & h
+        \left[
+            \begin{array}{l}
+                a : \texttt{NAp } a_1 a_2 \\
+                a_2 : \texttt{NInd } a_3
+            \end{array}
+        \right] & g \\[14pt]
+        \implies & a : s & d & h
+        \left[
+            \begin{array}{l}
+                a : \texttt{NAp } a_1 a_3
+            \end{array}
+        \right] & g \\
+        \hline
+    \end{array}
+\end{align*}
+```
+