From e4ba635755284727fa42589ac6dcda8304f1107e Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Wed, 1 Nov 2023 15:53:51 +0100
Subject: Minor changes.

---
 transp-inf110-01-calc.tex | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'transp-inf110-01-calc.tex')

diff --git a/transp-inf110-01-calc.tex b/transp-inf110-01-calc.tex
index a678a59..5609577 100644
--- a/transp-inf110-01-calc.tex
+++ b/transp-inf110-01-calc.tex
@@ -175,7 +175,7 @@ A(m,1,k+1) &= m \\
 A(m,n+1,k+1) &= A(m,\,A(m,n,k+1),\,k)
 \end{aligned}
 \]
-définition algorithmique (par appels récursifs), donc calculable.
+définition algorithmique (par appels récursifs qui terminent), donc calculable.
 
 \smallskip
 
@@ -289,8 +289,8 @@ ordinateurs très simple :
 \itempoint Le \textbf{$\lambda$-calcul} pur non typé est un système
 symbolique :
 \begin{itemize}
-\item proche des langages de program\textsuperscript{on} fonctionnels
-  (p.ex., Lisp, Haskell, OCaml),
+\item proche des langages de program\textsuperscript{tion} fonctionnels
+  (Lisp, Haskell, OCaml…),
 \item plus facile à « programmer » réellement, mais nombreuses
   subtilités.
 \end{itemize}
@@ -2034,7 +2034,7 @@ On a choisi ici une notion de machine de Turing assez restreinte
 ($1$ bande, $2$ symboles de bande).  Il existe toutes sortes de
 variations :
 \begin{itemize}
-\item machines à plusieurs bandes (mais en onmbre fini ; le programme
+\item machines à plusieurs bandes (mais en nombre fini ; le programme
   choisit en fonction du symbole lu sur chaque bande, et écrit et
   déplace chaque tête indépendamment), voire à plusieurs têtes par
   bande, parfois avec des bandes en lecture seule (pour les entrées),
-- 
cgit v1.2.3

