AUTOMATE MATHEMATIQUE

Source: http://www.peiresc.org/DINER/Lexique.pdf

 

L'automate mathématique est la structure commune à tout système qui opérant dans le temps change d'état interne en recevant des signaux par un canal d'entrée et en émettant des signaux par un canal de sortie. La nature des états et des signaux est quelconque. L'automate est dit fini si les états et les signaux sont en nombres finis. On peut alors les considérer comme des symboles (lettres) formant un alphabet : alphabet des états, alphabet d'entrée et alphabet de sortie. La définition de l'automate nécessite en plus de la donnée de l'ensemble des états, de l'ensemble des entrées et de l'ensemble des sorties, la donnée de la fonction de transfert qui à une entrée donnée et un état donné fait correspondre un autre état, et une fonction de sortie qui à ce même état et cette même entrée fait correspondre une sortie. Ces deux fonctions définissent le fonctionnement de l'automate au cours du temps. L'automate mathématique est un automate abstrait qui représente l'aspect purement logique des automates concrets. Une boite noire est un automate mathématique.