DMA Graph Exploration Simulator

DMA Simulator

Graph

Type

Start node (root)

Automaton Φ

Strategy preset

Edit Φ (transition table)

Pebbles & Termination

Pebble budget Infinite pebbles Termination

Live Status

Input: -

Current Node: -

Entry Port: -

Node Status: -

Action: -

Exit Port: -

Carried Pebbles: -

Pebbles Placed: -

DMA reads input (p, d, b) (entry port, degree, e/f) and emits (p', a) with a ∈ {abstain, drop, pick}. Drop/pick are tried — they succeed only when the carried-pebble count permits.