diff --git a/DFA.fs b/DFA.fs index 8e65203..3f662dd 100644 --- a/DFA.fs +++ b/DFA.fs @@ -1,6 +1,7 @@ module DFA open System +open Shields.GraphViz /// /// A deterministic finite automaton @@ -19,6 +20,12 @@ type DFA = { acceptingStates: String list } +(* +let createGraph (dfa:DFA) = + let mutable graph = Graph.Directed.Add(EdgeStatement.For("a", "b")) + graph +*) + /// Returns true if the DFA is valid, false otherwise let validateDFA (dfa:DFA) = diff --git a/fsharp-finite-automata.fsproj b/fsharp-finite-automata.fsproj index dee832d..d0c1996 100644 --- a/fsharp-finite-automata.fsproj +++ b/fsharp-finite-automata.fsproj @@ -11,4 +11,7 @@ + + + \ No newline at end of file