Finite-state machine

Engine

dot

Command, both sides

dot -Kdot -Tsvg input.gv

Input

graphviz-16.1.0/graphs/directed/fsm.gv · 605 bytes

Features

rankdir=LRedge labelsdoublecircle

Result

identical on macOSidentical under portable math

OverprintSide by sideBlinkPixel diffSource diff

Comparing…

Magenta plate

100%

C onlyport onlyboth: in register

Live check, in this browserRun again

Waiting to load the WASM build (1.7 MB, about 700 KB compressed)

The browser runs renderAllBytes(input, "dot", "svg") on the same bytes the C reference read. WASM uses the portable math library, not Apple's libm, so a layout that depends on the last bit of sin or pow can legitimately differ (why).

Input

fsm.gv

digraph finite_state_machine {

  node [shape = doublecircle]; LR_0 LR_3 LR_4 LR_8;
  node [shape = circle];
  rankdir=LR;
  LR_0 -> LR_2 [ label = "SS(B)" ];
  LR_0 -> LR_1 [ label = "SS(S)" ];
  LR_1 -> LR_3 [ label = "S($end)" ];
  LR_2 -> LR_6 [ label = "SS(b)" ];
  LR_2 -> LR_5 [ label = "SS(a)" ];
  LR_2 -> LR_4 [ label = "S(A)" ];
  LR_5 -> LR_7 [ label = "S(b)" ];
  LR_5 -> LR_5 [ label = "S(a)" ];
  LR_6 -> LR_6 [ label = "S(b)" ];
  LR_6 -> LR_5 [ label = "S(a)" ];
  LR_7 -> LR_8 [ label = "S(b)" ];
  LR_7 -> LR_5 [ label = "S(a)" ];
  LR_8 -> LR_6 [ label = "S(b)" ];
  LR_8 -> LR_5 [ label = "S(a)" ];
}

Files

File	Bytes	SHA-256
input.gv	605
c.svg C	9,758	c5f9528b6b9eea9a1338ae59b3e4334a104a7afd5d0966fa35966d021e684153
rust.svg Rust	9,769	76704f31d571a447462eca0e38c38eef9f3b66f558dc43c4619ccc51a44a103f

The two hashes differ even when the outputs are identical, because each file keeps its own generator comment. Made by scripts/site-samples.sh.

All samplesNextClusters