WIP NFA & DFA validation

DFA.fs

@@ -12,6 +12,17 @@ type DFA = {
     acceptingStates: State list
 }
 
+let validateDFA (dfa:DFA) = 
+
+    let allAcceptingStatesAreStates = 
+        dfa.acceptingStates
+        |> List.map (fun x -> List.contains x dfa.states)
+        |> List.filter (fun x -> not x)
+        |> List.length < 1
+
+    List.contains dfa.beginState dfa.states ||
+    allAcceptingStatesAreStates
+
 let processChar (dfa: DFA) (state: State) (char: Char) =
     dfa.delta state char
 

NFA.fs

@@ -0,0 +1,16 @@
+module NFA
+
+open System
+
+type State = { name: String }
+
+type NFA = {
+    sigma: Char list
+    states: State list
+    delta: State -> Char -> State list
+    beginState: State
+    acceptingStates: State list
+}
+
+let processChar (nfa: NFA) (state: State) (char: Char) =
+    nfa.delta state char

fsharp-finite-automata.fsproj

@@ -6,6 +6,7 @@
   </PropertyGroup>
   <ItemGroup>
     <Compile Include="DFA.fs" />
+    <Compile Include="NFA.fs" />
     <Compile Include="Program.fs" />
   </ItemGroup>
 </Project>