La machine vue par le haut

 

1) Introduction

On décompose la machine en plusieurs machines reliées entre-elles par des canaux de transmission de données. C'est l'approche récurcive par le haut, qui ne définit pas ce qu'est une machine, et qui produit un fractal. Ainsi, en regardant de près par le haut la machine, on découvre un réseau de machines.

Cette approche par le haut de la machine veut s'émanciper du modèle de la machine de Turing. Elle décrit un mécanisme d'entrés-sortie général. La transmission d'information peut toujours se ramener sous une forme linéique telle que des caractères écrits sur le ruban d'une machine de Turing. On définit l'élément comme étant un mot de taille finie dans un alphabet fini, un procédé qui a l'avantage d'inclure tous les langages possibles, ce qui nous n'interdira pas d'utiliser des langages plus évoluées adaptés à notre essai, et nous choisissons d'emblé d'utiliser un langage terminologique défini à partir d'une présentation qui est un ensemble d'opérateurs typés, et qui constitue un langage algébrique plus évolué :

  1. Les éléments sont alors désigner par les termes qui sont les compositions closes d'opérateurs respectant leurs types.
     
  2. Les messages qui peuvent être sans fin sont des suites de termes.

Et on garde toujours un protocole de bas niveau avec l'utilisation du caractère de fin de transmission « EOT » qui correspond à un terme et donc à un élément au rôle singulier déclenchant l'arrêt de la machine émettrice.

En soi, une machine peut avoir plusieurs entrées. Mais les entrées d'une machine peuvent toujours se fusionner en un seul canal d'entrée selon une règle très simple. Chaque élément `x` du message est remplacé par un couple `(n,x)` `n` indique le numéro du canal d'entrée. De tel sorte que l'on peut considérer les machines comme ne possédant qu'un seul canal d'entrée, et de même pour les mêmes raisons, qu'un seul canal de sortie.

Ainsi, le réseau obtenue en regardant de près la machine par le haut, est composé de machines possédant chacune exactement un canal d'entrée et un canal de sortie. Le réseau qui est une machine doit également avoir exactement une entrée et une sortie. Et dans le réseau, en dehors de son entrée et de sa sortie, chaque sortie d'un noeud doit être raccordé à une entrée d'un noeud. Et il est possible de raccorder une sortie sur plusieurs entrées simultanée. Et il est possible de raccorder plusieurs sorties en les fusionnant comme précédement décrit sur une entrée. Faisant que le résesau est un 1-graphe orienté avec une entrée et une sortie.

Si la machine doit évoluer et changer de forme à un haut niveau de protocole, alors ce graphe est un des lieux où commence les possibilité de modification.

L'ensemble des différentes sortes de machine forme un langage de programmation parallèle.

 

---- 10 mars 2023 ----

 

 


Dominique Mabboux-Stromberg