Learning Resources

theoryofcomputationsimulator.com

Simulates various automata (DFA, NFA, PDA, etc.) for educational purposes.

1 endpoint26 known toolsFirst detected July 29, 2026Last detected July 29, 2026

ENDPOINT 1

https://www.theoryofcomputationsimulator.com/api/mcp

No auth detected

MCP server metadata

Name: theory-of-computation-simulator
Version: 1.1.0

Capabilities

tools

Known tools 26

simulate_fa

Test whether a DFA or NFA accepts an input string.

Inferred read-only

simulate_pda

Test a deterministic PDA on an input string.

Inferred read-only

simulate_ndpa

Test a nondeterministic PDA (NDPA) on an input string.

Inferred read-only

simulate_tm

Test a single-tape or multi-tape Turing Machine on an input string.

Inferred read-only

simulate_mealy

Run a Mealy machine on an input string and return the output sequence.

Inferred read-only

simulate_moore

Run a Moore machine on an input string and return the output sequence.

Inferred read-only

regex_to_nfa

Convert a regular expression to an NFA via Thompson's construction.

Inferred read-only

nfa_to_dfa

Convert an NFA to a minimal DFA via subset construction and minimization.

Inferred read-only

fa_to_regex

Extract a regular expression from a DFA or NFA via GNFA state elimination.

Inferred read-only

get_transition_table

Render an automaton as a transition table.

Inferred read-only

get_automata_info

Returns the full reference for supported automata types, formal tuple definitions, and transition label syntax.

Inferred read-only

build_fa_link

Build a simulator URL that opens a DFA or NFA on the canvas.

Inferred read-only

build_pda_link

Build a simulator URL that opens a deterministic PDA on the canvas.

Inferred read-only

build_ndpa_link

Build a simulator URL that opens a nondeterministic PDA on the canvas.

Inferred read-only

build_tm_link

Build a simulator URL that opens a single-tape or multi-tape Turing Machine on the canvas.

Inferred read-only

build_mealy_link

Build a simulator URL that opens a Mealy machine on the canvas.

Inferred read-only

build_moore_link

Build a simulator URL that opens a Moore machine on the canvas.

Inferred read-only

list_my_teams

Requires auth.

Inferred read-only

create_team

Requires auth.

Inferred read-only

join_team

Requires auth.

Inferred read-only

list_team_members

Requires auth.

Inferred read-only

list_team_projects

Requires auth.

Inferred read-only

create_project

Requires auth.

Inferred read-only

list_my_automatons

Requires auth.

Inferred read-only

save_automaton

Requires auth.

Inferred read-only

submit_automaton_to_project

Requires auth.

Inferred read-only

CONNECT WITH APPROVAL

Client installation

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

[mcp_servers.theory-of-computation-simulator]
url = "https://www.theoryofcomputationsimulator.com/api/mcp"
enabled = true

Claude Code

.mcp.json

{
  "mcpServers": {
    "theory-of-computation-simulator": {
      "type": "http",
      "url": "https://www.theoryofcomputationsimulator.com/api/mcp"
    }
  }
}

Claude Desktop

Settings → Connectors → Add custom connector

Name: theory-of-computation-simulator
Remote MCP URL: https://www.theoryofcomputationsimulator.com/api/mcp

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

{
  "mcpServers": {
    "theory-of-computation-simulator": {
      "url": "https://www.theoryofcomputationsimulator.com/api/mcp"
    }
  }
}

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

{
  "servers": {
    "theory-of-computation-simulator": {
      "type": "http",
      "url": "https://www.theoryofcomputationsimulator.com/api/mcp"
    }
  }
}

Generic MCP

Client-specific MCP configuration

{
  "name": "theory-of-computation-simulator",
  "transport": "streamable-http",
  "url": "https://www.theoryofcomputationsimulator.com/api/mcp"
}

MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

TRUST AND VERIFICATION EVIDENCE

Trust Data Available

BuiltWith Trust API v2 evidence for theoryofcomputationsimulator.com was fetched 2026-08-03T21:01:37.569Z.

Trust status Neutral

theoryofcomputationsimulator.com is assessed as Neutral: No suspicious signals found, but no strong positive signal either

Indexed

Evidence is source-attributed and does not guarantee that a third-party server is safe. Risk labels are conservative metadata heuristics.