Elysia Tools Docs
FR
Langue
ZHESPTRUFRDEEN
Retour au site
Parcourir les outils

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.

html· Résultat HTMLOuvrir l'outil

Démarrage rapide

Appelez cet outil depuis votre code en trois langages.

cURL
curl -X POST 'https://api.elysiatools.com/fr/api/tools/finite-state-machine-mealy-moore-karnaugh-minimization-tutor' \
  -H 'Content-Type: application/json' \
  -d '{"mode":"automata","machine":"states: 0 1 2 3 4 5 6 7 8 9 10\nstart: 0\naccept: 10\nalphabet: a b\n0 ε 1\n0 ε 7\n1 ε 2\n1 ε 4\n2 a 3\n3 ε 6\n4 b 5\n5 ε 6\n6 ε 1\n6 ε 7\n7 a 8\n8 b 9\n9 b 10","numVars":4,"minterms":"0,1,2,5,6,7,8,9,10,14","dontcares":"e.g. 3,11,12","convertToDfa":true,"minimize":true,"convertOutput":true}'

© 2026 Elysia Tools. Documentation développeur.

Retour au siteParcourir les outils

Référence de l'API

Envoyez une requête POST avec vos entrées en JSON. Les paramètres de type fichier nécessitent un upload préalable.

Point d'accès

HTTP
POST https://api.elysiatools.com/fr/api/tools/finite-state-machine-mealy-moore-karnaugh-minimization-tutor

Paramètres

NomTypeRequisDescription
modeselectNon—
machinetextareaNon—
numVarsnumberNon—
mintermstextNon—
dontcarestextNon—
convertToDfacheckboxNon—
minimizecheckboxNon—
convertOutputcheckboxNon—

Format de réponse

Résultat HTML

JSON
{
  "result": "<div>Processed HTML content</div>",
  "error": "Error message (optional)",
  "message": "Notification message (optional)",
  "metadata": {
    "key": "value"
  }
}

Intégration MCP

Ajoutez cet outil à votre serveur Model Context Protocol pour que les agents IA puissent le lister et l'appeler.

Configuration du serveur

Ajoutez ce bloc à la configuration de votre client MCP :

mcp.json
{
  "mcpServers": {
    "elysiatools-finite-state-machine-mealy-moore-karnaugh-minimization-tutor": {
      "name": "finite-state-machine-mealy-moore-karnaugh-minimization-tutor",
      "description": "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.",
      "baseUrl": "https://api.elysiatools.com/mcp/sse?toolId=finite-state-machine-mealy-moore-karnaugh-minimization-tutor",
      "command": "",
      "args": [],
      "env": {},
      "isActive": true,
      "type": "sse"
    }
  }
}

Lister les outils disponibles

Après connexion au point d'accès SSE, listez les outils exposés :

tools/list
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/list"
}

Appeler cet outil

Appelez l'outil par son id ; les arguments sont construits à partir de ses paramètres :

tools/call
{
  "jsonrpc": "2.0",
  "id": 2,
  "method": "tools/call",
  "params": {
    "name": "finite-state-machine-mealy-moore-karnaugh-minimization-tutor",
    "arguments": {
  "mode": "automata",
  "machine": "states: 0 1 2 3 4 5 6 7 8 9 10\nstart: 0\naccept: 10\nalphabet: a b\n0 ε 1\n0 ε 7\n1 ε 2\n1 ε 4\n2 a 3\n3 ε 6\n4 b 5\n5 ε 6\n6 ε 1\n6 ε 7\n7 a 8\n8 b 9\n9 b 10",
  "numVars": 4,
  "minterms": "0,1,2,5,6,7,8,9,10,14",
  "dontcares": "e.g. 3,11,12",
  "convertToDfa": true,
  "minimize": true,
  "convertOutput": true
}
  }
}
Chaînez plusieurs outils dans une session avec une liste toolId séparée par des virgules, ex. /mcp/sse?toolId=png-to-webp,jpg-to-webp,gif-to-webp (20 max).

Des questions ou un problème ? Contactez [email protected]

Parcourir les outils
Ouvrir l'outil