diff options
| -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), |