diff --git a/ContainsSequence.fs b/ContainsSequence.fs index d6233e5..7a3d95e 100644 --- a/ContainsSequence.fs +++ b/ContainsSequence.fs @@ -18,6 +18,7 @@ module ContainsSequence = delta = (fun x y -> match (x, y) with | ("q0", '0') -> ["q0"; "q1"] + | ("q0", _ ) -> ["q0"] | ("q1", '1') -> ["q0"; "q2"] | ("q2", '0') -> ["q0"; "q3"] | ("q3", '1') -> ["yes"] @@ -38,4 +39,5 @@ module ContainsSequence = printfn "0100: %b" (NFA.acceptsWord contains0101 "0100") printfn "00101: %b" (NFA.acceptsWord contains0101 "00101") printfn "01011: %b" (NFA.acceptsWord contains0101 "01011") + printfn "1000101: %b" (NFA.acceptsWord contains0101 "1000101") 0 \ No newline at end of file