From 512a57cccae2e304ee99c29334d34a7b905db1e9 Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Sun, 15 Feb 2026 19:29:10 +0100
Subject: Add statement section description

---
 doc/language.tex | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'doc/language.tex')

diff --git a/doc/language.tex b/doc/language.tex
index 9112127..08d2420 100644
--- a/doc/language.tex
+++ b/doc/language.tex
@@ -335,5 +335,21 @@ relations $=$ and $<>$ apply to all types.
 
 \chapter{Statements}
 
+\begin{grammar}
+<statement> = <assignment> | <procedure-call> | <defer-statement>
+    | <label-declaration> | <goto-statement> |
+    | <while-statement> | <if-statement> | <case-statement>.
+\end{grammar}
+
+Statements denote actions. There are elementary and structured statements.
+Elementary statements are not composed of any parts that are themselves
+statements. They are the assignment and the procedure call. Structured
+statements are composed of parts that are themselves statements. They
+are used to express sequencing and conditional, selective, and
+repetitive execution. A statement may also be empty, in which case it
+denotes no action. The empty statement is included in order to relax
+punctuation rules in statement sequences.
+
+\section{Elementary statements}
 \section{Conditional statements}
 \section{Loop statements}
-- 
cgit v1.2.3

