diff options
| author | David A. Madore <david+git@madore.org> | 2023-11-01 15:53:51 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2023-11-01 15:53:51 +0100 |
| commit | e4ba635755284727fa42589ac6dcda8304f1107e (patch) | |
| tree | 07d65e945136c57478e0695f115415d1ad5d52d0 /transp-inf110-01-calc.tex | |
| parent | 31080ea5f340615ecd108b572cf4773e63a2f211 (diff) | |
| download | inf110-lfi-e4ba635755284727fa42589ac6dcda8304f1107e.tar.gz inf110-lfi-e4ba635755284727fa42589ac6dcda8304f1107e.tar.bz2 inf110-lfi-e4ba635755284727fa42589ac6dcda8304f1107e.zip | |
Minor changes.
Diffstat (limited to 'transp-inf110-01-calc.tex')
| -rw-r--r-- | transp-inf110-01-calc.tex | 8 |
1 files changed, 4 insertions, 4 deletions
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), |