Education
有限状态机 Mealy Moore 卡诺图最小化教学器
逐步讲解自动机与组合逻辑：ε-NFA→NFA→DFA 子集构造、Moore 划分细化最小化、Mealy↔Moore 输出映射互转；卡诺图 Gray 排序分组与 Quine-McCluskey 素蕴含项 + 精确最小覆盖求最小 SOP。输出含 ASCII 状态图、转换表与每轮迭代。
html· HTML 结果打开工具
快速开始
用三种语言从你的代码中调用此工具。
cURL
curl -X POST 'https://api.elysiatools.com/zh/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 参考
以 JSON 形式 POST 提交输入参数。文件类型参数需先单独上传。
请求端点
HTTP
POST https://api.elysiatools.com/zh/api/tools/finite-state-machine-mealy-moore-karnaugh-minimization-tutor请求参数
| 参数名 | 类型 | 必填 | 说明 |
|---|---|---|---|
| mode | select | 否 | — |
| machine | textarea | 否 | — |
| numVars | number | 否 | — |
| minterms | text | 否 | — |
| dontcares | text | 否 | — |
| convertToDfa | checkbox |
MCP 集成
将此工具加入你的 Model Context Protocol 服务，让 AI 智能体可以列出并调用它。
服务配置
将以下内容加入你的 MCP 客户端配置：
mcp.json
{
"mcpServers": {
"elysiatools-finite-state-machine-mealy-moore-karnaugh-minimization-tutor": {
"name": "finite-state-machine-mealy-moore-karnaugh-minimization-tutor",
"description": "逐步讲解自动机与组合逻辑：ε-NFA→NFA→DFA 子集构造、Moore 划分细化最小化、Mealy↔Moore 输出映射互转；卡诺图 Gray 排序分组与 Quine-McCluskey 素蕴含项 + 精确最小覆盖求最小 SOP。输出含 ASCII 状态图、转换表与每轮迭代。",
"baseUrl": "https://api.elysiatools.com/mcp/sse?toolId=finite-state-machine-mealy-moore-karnaugh-minimization-tutor",
"command": "",
"args": [],
"env": {},
"isActive": true,
"type": "sse"
}
}
}列出可用工具
连接到 SSE 端点后，列出已开放的工具：
tools/list
{
"jsonrpc": "2.0",
"id": 1,
"method": "tools/list"
}调用此工具
通过工具 id 调用，参数由其参数表构建：
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
}
}
}可用逗号分隔的 toolId 在一个会话中串联多个工具，例如 /mcp/sse?toolId=png-to-webp,jpg-to-webp,gif-to-webp（最多 20 个）。
有问题或反馈？请联系 [email protected]