Add a numeric checker

F# |> I❤️

IsNumericChecker.fs

@@ -0,0 +1,27 @@
+module Tests
+
+open System
+open DFA
+
+let numericDFA:DFA = {
+    sigma = Seq.toList "01ab";
+    states = [
+        {name = "yes"};
+        {name = "no"}
+    ];
+    delta = (fun x y ->
+        match (x, y) with
+        | ({name = "yes"}, '0') -> {name = "yes"}
+        | ({name = "yes"}, '1') -> {name = "yes"}
+        | _ -> {name = "no"}
+    );
+    beginState = {name = "yes"};
+    acceptingStates = [{name = "yes"}]
+}
+
+let test = 
+    printfn "Testing numeric checker DFA"
+    printfn "Is valid DFA: %b" (DFA.validateDFA numericDFA)
+    printfn "0101: %b" (DFA.acceptsWord numericDFA "0101")
+    printfn "01a1: %b" (DFA.acceptsWord numericDFA "01a1")
+    0

Program.fs

@@ -4,5 +4,6 @@ open System
 
 [<EntryPoint>]
 let main argv =
-    printfn "Hello World from F#!"
+    printfn "Finite Automata in F#"
+    Tests.test |> ignore
     0 // return an integer exit code

fsharp-finite-automata.fsproj

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