Elysia Tools

Parcourez outils, exemples, explications visuelles et guides thématiques dans un espace clair.

Catégories populaires

Dossiers

Langue
ZHESPTRUFRDEEN

Elysia Tools

Navigation mobile

Education

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

· Dernière mise à jour：2026-08-17

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é

Continuer avec des outils et dossiers associés

Rédigé par l'équipe Elysia Tools

Guide d'utilisation de l'outil

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

Points clés

Catégorie
Education
Types d’entrée
select, textarea, number, text, checkbox
Type de sortie
html
Exemples associés
4
API disponible
Oui

Aperçu

Ce tuteur explique pas à pas les automates finis et la logique combinatoire. Il accepte une définition d’automate en DSL pour construire un DFA, le minimiser et convertir les sorties Mealy/Moore, ou des minterms pour produire une minimisation SOP avec Karnaugh et Quine-McCluskey.

Quand l’utiliser

  • Transformer un ε-NFA ou un NFA en DFA par construction des sous-ensembles.
  • Supprimer les états inaccessibles et minimiser un DFA par raffinement de partitions de Moore.
  • Réduire une fonction booléenne à partir de ses minterms ON, avec ou sans indifférents.

Fonctionnement

  1. 1Choisissez le mode « Automates » ou « Minimisation booléenne ».
  2. 2En mode automates, saisissez les états, l’état initial, les états acceptants, l’alphabet et une transition par ligne ; les sorties Mealy et Moore sont également prises en charge.
  3. 3Activez la construction NFA vers DFA, la minimisation du DFA ou la conversion Mealy↔Moore selon le résultat souhaité.
  4. 4En mode booléen, indiquez le nombre de variables, les minterms ON et éventuellement les indifférents pour obtenir les groupes de Karnaugh, les implicants premiers et la couverture minimale.

Cas d’usage

  • Étudier la déterminisation et la minimisation d’automates dans un cours de langages formels.
  • Vérifier les étapes d’une conversion entre machines de Mealy et de Moore.
  • Concevoir ou contrôler une expression SOP minimale pour un circuit logique combinatoire.

Exemples

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

Étudiant en langages formels

Contexte

L’étudiant veut vérifier la construction par sous-ensembles d’un ε-NFA classique et comparer le DFA obtenu avec sa version minimale.

Problème

Afficher les fermetures ε, les états du DFA et les raffinements de partitions jusqu’à la minimisation.

Utilisation

Choisissez le mode « Automates », collez la définition de l’automate dans « Définition de l’automate », puis activez la conversion NFA vers DFA et la minimisation.

states: 0 1 2 3 4 5 6 7 8 9 10
start: 0
accept: 10
alphabet: a b
0 ε 1
0 ε 7
1 ε 2
1 ε 4
2 a 3
3 ε 6
4 b 5
5 ε 6
6 ε 1
6 ε 7
7 a 8
8 b 9
9 b 10

Résultat

Le tuteur affiche un DFA de 5 états, puis un DFA minimal de 4 états, avec l’état E acceptant.

2. Minimiser une fonction booléenne à quatre variables

Concepteur de logique numérique

Contexte

Le concepteur souhaite réduire la fonction f = Σm(0,1,2,5,6,7,8,9,10,14) avant de vérifier une implémentation combinatoire.

Problème

Trouver les implicants premiers, identifier les essentiels et obtenir une couverture SOP minimale.

FAQ

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.

Accueil
Outils3201
Exemples593
Visualisations465
Visionneuses de fichiers103
Dossiers233
Étiquettes333
Images, audio et vidéo657

Outils de traitement, conversion et optimisation d’images, d’audio et de vidéo

Maths, dates et finance644

Calculateurs, outils numériques, logique de dates, statistiques et finance

Design et couleur297

Outils de couleur, mise en page, graphisme, style visuel et assistance design

Texte et rédaction209

Outils de rédaction, nettoyage, formatage, extraction et analyse de texte

Développement et Web193

Utilitaires développeur, réseau, débogage Web et assistants d’automatisation

Conversion et encodage175

Outils de conversion de formats, fichiers, archives, unités et encodages

Examen des sources FLAC/WAV et transmission des preuves
Revue et livraison d’un module de jeu promotionnel auto-hébergé
Relecture d'un lot de codes Stripe et contrôle préalable à l'importation
Tri technique des photos et transmission des candidates à la retouche
Structurer une capture d'interface, la relire et la transmettre au développement

© 2026 Elysia Tools. Tous droits réservés.

DocumentationTarifsÀ proposConditions d'utilisationPolitique de confidentialitéCookiesContact
Python

Exemples de Traitement d'Images Web Python

Exemples de traitement d'images Web Python utilisant PIL/Pillow incluant la lecture, l'enregistrement, le redimensionnement et la conversion de format

Java

Exemples de Traitement d'Images Android Java

Exemples de traitement d'images Android Java incluant lecture/écriture, mise à l'échelle et conversion de format

Kotlin

Exemples de Traitement d'Images Android Kotlin

Exemples de traitement d'images Android Kotlin incluant lecture/écriture, mise à l'échelle et conversion de format

Rust

Exemples de Traitement d'Images Web Rust

Exemples de traitement d'images Web Rust incluant lecture/écriture, redimensionnement et conversion de format

Education

Analyseur de composition en acides aminés

Analyse la composition d'une séquence : comptages et pourcentages molaires de chacun des 20 acides aminés standards ; totaux par groupe (basiques K/R/H, acides D/E, aromatiques F/W/Y, soufrés C/M, aliphatiques A/I/L/V, amides N/Q, hydroxyles S/T, autres G/P) ; GRAVY selon les valeurs d'hydropathie de Kyte–Doolittle 1982 (>0 tendance hydrophobe, <0 hydrophile ; les globulaires solubles se situent entre −1 et +0,3) ; et la masse moléculaire via la table ProtParam. Les codes d'ambiguïté (B/J/O/U/X/Z) sont comptés à part et exclus des pourcentages. Sources : Kyte & Doolittle 1982, ExPASy ProtParam, Lehninger. Uniquement à but éducatif.

Education

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

Simule la perte attendue d'hétérozygotie après un goulot d'étranglement (espérance déterministe). Sous dérive de Wright-Fisher idéale, H_{t+1} = H_t(1 − 1/(2N)) par génération, d'où H_final = H₀(1−1/2Nb)^t × (1−1/2Nr)^g ; la taille efficace harmonique Ne = (t+g)/(t/Nb + g/Nr) est dominée par le minimum ; F accumulé = 1 − H_final/H₀. Pour un allèle de fréquence p, la survie à UNE génération de goulot est 1 − (1−p)^(2Nb) ; les allèles rares disparaissent en premier. Cas classiques : éléphant de mer du Nord (~20 survivants vers 1890), guépard, nēnē d'Hawaï, bison d'Europe, atoll de Pingelap. Sources : Wright 1931, Nei et al. 1975, Hartl & Clark 2007, StatPearls. Usage éducatif uniquement.

Education

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

Collez une liste de vocabulaire bilingue et exportez un paquet compatible Anki qui découpe chaque entrée en cartes de reconnaissance, rappel et cloze avec nature, IPA et phrases d’exemple, plus un aperçu SM-2.

Education

Calculateur de longueur des fragments de restriction

Estime les tailles des fragments après digestion : un substrat circulaire avec n coupures produit n fragments (en bouclant l'origine), un linéaire en produit n+1. Le mode positions calcule les fragments exacts à partir de coordonnées séparées par des virgules ; le mode nombre de sites donne l'effectif et la moyenne pour une répartition uniforme. Inclut la fréquence attendue des sites dans l'ADN aléatoire : enzymes à 4 bases ~1 site/256 bp, à 6 bases ~1/4096 bp (REBASE/Sambrook), et des repères de résolution en agarose (<50 bp peut sortir du gel). Sources : Sambrook & Russell 3ᵉ éd., REBASE. Uniquement pour l'éducation.

Utilisation

Choisissez le mode « Minimisation booléenne », indiquez 4 variables et saisissez les minterms dans le champ correspondant.

Nombre de variables : 4
Minterms : 0,1,2,5,6,7,8,9,10,14
Indifférents : aucun

Résultat

Le résultat indique 6 implicants premiers, les essentiels B'C' et CD', ainsi que la SOP minimale unique B'C' + CD' + A'BD.