Discussion:Système de transition d'états

Calcul et indénombrabilité

Il est dit dans l'introduction que les système de transition d'états modélisent les calculs. Mais alors pourquoi l'ensemble des états peut-il être indénombrables ? Pour moi un calcul se fonde sur le dénombrable; --Pierre de Lyon (discuter) 21 octobre 2017 à 11:53 (CEST)

Ce que la définition ne précise pas

Il est dit:

Il est à noter que la définition de la relation de transition ne précise pas s'il s'agit d'une relation binaire :

• de $S$ dans $\Lambda \times S$ (cas non pertinent dans le cadre des systèmes de transition d'états) ;
• de $S\times \Lambda$ dans $S$ (cas des automates finis) ;
• de $S\times \Lambda _{1}$ dans $\Lambda _{2}\times S$ avec $\Lambda =\Lambda _{1}\times \Lambda _{2}$ (cas des transducteurs finis).

Ça ne veut pas dire grand chose puisque $S\times \Lambda \times S=S\times (\Lambda \times S)=(S\times \Lambda )\times S$. --Pierre de Lyon (discuter) 21 octobre 2017 à 12:02 (CEST)