Education
Finite State Machine Mealy Moore Karnaugh Minimization Tutor
Step-by-step tutor for automata and combinational logic: ε-NFA/NFA → DFA subset construction, Moore minimization, Mealy↔Moore conversion, Karnaugh maps and exact Quine-McCluskey minimization with tables, ASCII diagrams and every round shown.
html· HTML resultOpen tool
Quick start
Call this tool from your code in three languages.
cURL
curl -X POST 'https://api.elysiatools.com/en/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}'API reference
Send a POST request with your inputs as JSON. File parameters require a separate upload first.
Endpoint
HTTP
POST https://api.elysiatools.com/en/api/tools/finite-state-machine-mealy-moore-karnaugh-minimization-tutorParameters
| Name | Type | Required | Description |
|---|---|---|---|
| mode | select | No | — |
| machine | textarea | No | — |
| numVars | number | No | — |
| minterms | text | No | — |
| dontcares | text | No | — |
| convertToDfa |
MCP integration
Add this tool to your Model Context Protocol server so AI agents can list and call it.
Server configuration
Add this block to your MCP client configuration:
mcp.json
{
"mcpServers": {
"elysiatools-finite-state-machine-mealy-moore-karnaugh-minimization-tutor": {
"name": "finite-state-machine-mealy-moore-karnaugh-minimization-tutor",
"description": "Step-by-step tutor for automata and combinational logic: ε-NFA/NFA → DFA subset construction, Moore minimization, Mealy↔Moore conversion, Karnaugh maps and exact Quine-McCluskey minimization with tables, ASCII diagrams and every round shown.",
"baseUrl": "https://api.elysiatools.com/mcp/sse?toolId=finite-state-machine-mealy-moore-karnaugh-minimization-tutor",
"command": "",
"args": [],
"env": {},
"isActive": true,
"type": "sse"
}
}
}List available tools
After connecting to the SSE endpoint, list the exposed tools:
tools/list
{
"jsonrpc": "2.0",
"id": 1,
"method": "tools/list"
}Call this tool
Invoke the tool by its id, passing arguments built from its parameters:
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
}
}
}