ChatDiagram
finite automaton · state diagram · computer science

NFA pour les chaînes finissant par 01

Type Diagramme d’étatsNorme OMG UML 2.5.1 §14 + Harel (1987) statechartMoteur schematex-stateMis à jour 29/09/2026
NFA for Strings Ending in 01
Drawing preview
La demande

“Un NFA sur {0, 1} pour les chaînes se terminant par 01. L’état initial S boucle sur 0 et 1 et devine les deux derniers symboles via A jusqu’à l’état final B.”

Essayez ensuiteConvertir ce NFA en DFALe modifier pour les chaînes se terminant par 011
Ce que contient ce dessin

Comprenez les décisions qui le sous-tendent.

01

Ajouter l’état « A » pour mémoriser un 0 avant un 1

02

Utiliser le non-déterminisme pour commencer à reconnaître le motif sur n’importe quel 0

03

Marquer l’état final « B » par une note plutôt que par un état terminal afin d’autoriser la poursuite des transitions

Pour modéliser des machines à états finis destinées à la reconnaissance de motifs, en informatique théorique ou dans des cours de conception de compilateurs.

Voir tous les modèles de diagramme d’états →