--- Marqueur de fin de proposition
|
|
Un ensemble dénombrable de symboles : $ a 0 = + - * / etc...
Il est donc possible de numéroter ces symboles : 1 2 3 4 5 6 7 8 etc...
Un exemple de proposition : a+0=a$
a + 0 = a $
Le codage des symboles : 2 5 3 4 2 1 ------------
|
|
Les nombres premiers dans l'ordre : ------- 2 3 5 7 1 13 etc... |
(1 n'est pas un nombre premier) | |
| |
Le codage de la proposition : | 2 5 3 4 2 1 ------------
------- 2 3 5 7 1 13
JFC
www.lactamme.polytechnique.fr