Quel format utiliser pour définir un automate ?

Utilisez les lignes states, start, accept et alphabet, puis écrivez chaque transition sous la forme origine symbole destination. Une arête ε peut être notée ε ou eps.

Le tuteur prend-il en charge les ε-NFA ?

Oui. La construction par sous-ensembles applique l’ε-fermeture avant de produire le DFA.

Comment activer la minimisation d’un DFA ?

Saisissez l’automate, activez « NFA vers DFA » si nécessaire, puis laissez cochée l’option « Minimiser le DFA ».

Comment saisir une fonction booléenne ?

Choisissez le mode booléen, indiquez 2 à 4 variables, puis saisissez les minterms ON séparés par des virgules. Les indifférents sont facultatifs.

Quel type de résultat est généré ?

Le résultat est une page HTML contenant les étapes, tableaux, itérations et diagrammes ASCII produits par le tuteur.

Elysia Tools

Navigation mobile

Education

Tuteur machines à états finis, Mealy/Moore, Karnaugh et minimisation

Explique pas à pas automates et logique combinatoire : construction par sous-ensembles ε-NFA→NFA→DFA, minimisation par raffinement de partitions de Moore, conversion Mealy↔Moore ; groupes Gray en Karnaugh et Quine-McCluskey avec implicants premiers et couverture minimale exacte pour la SOP minimale. Avec diagrammes ASCII, tableaux et itérations.

Détails

Ce que cet outil vous aide à faire

DSL automate : states: q0 q1 …, start: q0, accept: q1, q2, alphabet: a b, une transition par ligne origine symbole destination (arêtes ε notées ε ou eps) ; sortie Mealy q0 a q1 / 1, sortie Moore moore: q0:0 q1:1. La construction par sous-ensembles applique l'ε-fermeture ; la minimisation supprime d'abord les états inaccessibles puis raffine les partitions (piège classique) ; Mealy→Moore scinde par sortie entrante (≤ |Q|·|Δ|). Mode booléen : Quine-McCluskey fusionne les voisins (un bit, tirets alignés), le tableau d'implicants premiers ne couvre que les minterms ON, et après les essentiels une énumération exacte des sous-ensembles donne la couverture minimale (équivalent Petrick). Références vérifiées : (a|b)*abb → DFA 5 états, minimal 4 ; Σm(0,1,2,5,6,7,8,9,10,14) → B'C' + CD' + A'BD optimum unique.

Exécution

Exécuter cet outil

Remplissez le formulaire, lancez l’outil et consultez le résultat au même endroit.

Exemples

Exemples adaptés à cet outil

Associé

Tuteur machines à états finis, Mealy/Moore, Karnaugh et minimisation

Ce que cet outil vous aide à faire

Exécuter cet outil

Exemples adaptés à cet outil

Continuer avec des outils et dossiers associés

Découvrez quand utiliser cet outil, ce qu'il prend en charge et comment les utilisateurs l'appliquent.

Points clés

Aperçu

Quand l’utiliser

Fonctionnement

Cas d’usage

Exemples

1. Déterminiser et minimiser un ε-NFA reconnaissant (a|b)*abb

2. Minimiser une fonction booléenne à quatre variables

FAQ

Exemples de Traitement d'Images Web Python

Exemples de Traitement d'Images Android Java

Exemples de Traitement d'Images Android Kotlin

Exemples de Traitement d'Images Web Rust

Analyseur de composition en acides aminés

Simulateur de l'effet goulot d'étranglement (perte d'hétérozygotie)

Générateur de paquet SRS depuis liste de fréquence

Calculateur de longueur des fragments de restriction