Discussion:Système de transition d'états

Autres discussions [liste]

Admissibilité
Neutralité
Droit d'auteur
Article de qualité
Bon article
Lumière sur
À faire
Archives
Commons

Cet article est indexé par les projets Informatique et Mathématiques.

Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.

**Évaluation** de l’article « **Système de transition d'états** »
Avancement	Importance	pour le projet
Ébauche	Moyenne		Informatique (discussion • critères • liste • stats • hist. • comité • stats vues)
Ébauche	À évaluer		Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues)

Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.

Calcul et indénombrabilité[modifier le code]

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)[répondre]

Ce que la définition ne précise pas[modifier le code]

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)[répondre]