Add graphviz files
parent
c498cf79e6
commit
44e4fa4937
|
@ -0,0 +1,25 @@
|
||||||
|
digraph finite_state_machine {
|
||||||
|
rankdir=LR;
|
||||||
|
size="8,5"
|
||||||
|
|
||||||
|
subgraph cluster_c2 {
|
||||||
|
label="Accepting"; graph[style = dotted];
|
||||||
|
node [shape = doublecircle];
|
||||||
|
3 -> 4 [label = "i"];
|
||||||
|
4 -> 3 [label = "o" constraint=false];
|
||||||
|
}
|
||||||
|
|
||||||
|
subgraph cluster_c1 {
|
||||||
|
label="Non-accepting"; graph[style = dotted];
|
||||||
|
node [shape = circle];
|
||||||
|
0 -> 1 [label = "c"];
|
||||||
|
1 -> 2 [label = "o"];
|
||||||
|
2 -> 2 [label = "o"];
|
||||||
|
2 -> 3 [label = "l"];
|
||||||
|
}
|
||||||
|
|
||||||
|
// Create an invisible point called START, so our starting state gets an arrow
|
||||||
|
node [shape=point];
|
||||||
|
START [style=invis];
|
||||||
|
START -> 0;
|
||||||
|
}
|
|
@ -0,0 +1,13 @@
|
||||||
|
GRAPHVIZ_PDFS:=$(patsubst %.dot,%.pdf,$(wildcard *.dot))
|
||||||
|
|
||||||
|
.PHONY: all clean
|
||||||
|
all: ${GRAPHVIZ_PDFS}
|
||||||
|
|
||||||
|
%.pdf: %.svg
|
||||||
|
inkscape $< --export-area-drawing --batch-process --export-type=pdf --export-filename=$@
|
||||||
|
|
||||||
|
%.svg: %.dot
|
||||||
|
dot -Tsvg -o $@ $<
|
||||||
|
|
||||||
|
clean:
|
||||||
|
rm -rf ${GRAPHVIZ_PDFS}
|
Loading…
Reference in New Issue