From 59b8f723cb3b113b21bdb7c053c471fd2f4b149e Mon Sep 17 00:00:00 2001
From: joachimschmidt557 <joachim.schmidt557@outlook.com>
Date: Fri, 15 Mar 2019 22:37:59 +0100
Subject: [PATCH] Testing complement of DFA

---
 IsNumericChecker.fs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/IsNumericChecker.fs b/IsNumericChecker.fs
index 6418a33..c532f63 100644
--- a/IsNumericChecker.fs
+++ b/IsNumericChecker.fs
@@ -22,6 +22,8 @@ module IsNumeric =
         acceptingStates = ["yes"]
     }
 
+    let numericDFAComplement = DFA.complement numericDFA
+
     let numericNFA:NFA = {
         sigma = Seq.toList "01ab";
         states = [
@@ -43,6 +45,9 @@ module IsNumeric =
         printfn "0101: %b" (DFA.acceptsWord numericDFA "0101")
         printfn "01a1: %b" (DFA.acceptsWord numericDFA "01a1")
         printfn "Empty: %b" (DFA.acceptsWord numericDFA "")
+        printfn "Testing numeric checker DFA complement"
+        printfn "0101: %b" (DFA.acceptsWord numericDFAComplement "0101")
+        printfn "01a1: %b" (DFA.acceptsWord numericDFAComplement "01a1")
         printfn "Testing numeric checker NFA"
         printfn "0101: %A" (NFA.acceptsWord numericNFA "0101")
         printfn "01a1: %b" (NFA.acceptsWord numericNFA "01a1")