add assets

Author: MatALass

README.md

@@ -72,6 +72,15 @@ Properties:
 - Deterministic: yes
 - Complete: no
 ```
+---
+
+## Demo
+
+Input → EFREI file  
+Output → CLI + Graph
+
+![Graph](assets/screenshots/automaton.png)
+![CLI](assets/screenshots/cli-output.png)
 
 ---
 

assets/screenshots/cli-output.png

@@ -0,0 +1,25 @@
+digraph Automaton {
+  rankdir=LR;
+  node [shape=circle];
+  __start__ [shape=point, label=""];
+  "0" [shape=circle];
+  "1" [shape=doublecircle];
+  "2" [shape=circle];
+  "3" [shape=circle];
+  "4" [shape=circle];
+  __start__ -> "1";
+  "0" -> "3" [label="a"];
+  "0" -> "1" [label="b"];
+  "0" -> "3" [label="c"];
+  "1" -> "0" [label="a"];
+  "1" -> "2" [label="b"];
+  "2" -> "1" [label="a"];
+  "2" -> "4" [label="b"];
+  "2" -> "4" [label="c"];
+  "3" -> "3" [label="a"];
+  "3" -> "3" [label="b"];
+  "3" -> "3" [label="c"];
+  "4" -> "4" [label="a"];
+  "4" -> "4" [label="b"];
+  "4" -> "4" [label="c"];
+}