From c67110d17f572e61655b9384cea31f79957b67da Mon Sep 17 00:00:00 2001 From: joachimschmidt557 Date: Wed, 6 Feb 2019 22:43:38 +0100 Subject: [PATCH] WIP --- .gitlab-ci.yml | 1 + DFA.fs | 4 ++++ NFA.fs | 1 + Program.fs | 3 +-- 4 files changed, 7 insertions(+), 2 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index a9a34df..df9bbd9 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -2,3 +2,4 @@ image: microsoft/dotnet:latest build: script: dotnet build + script: dotnet run diff --git a/DFA.fs b/DFA.fs index 5d599b2..af38170 100644 --- a/DFA.fs +++ b/DFA.fs @@ -4,6 +4,9 @@ open System type State = { name: String } +/// +/// A deterministic finite automaton +/// type DFA = { sigma: Char list states: State list @@ -12,6 +15,7 @@ type DFA = { acceptingStates: State list } +/// Returns true if the DFA is valid, false otherwise let validateDFA (dfa:DFA) = let allAcceptingStatesAreStates = diff --git a/NFA.fs b/NFA.fs index 2083ce5..03ecc6f 100644 --- a/NFA.fs +++ b/NFA.fs @@ -4,6 +4,7 @@ open System type State = { name: String } +/// A non-deterministic finite automaton type NFA = { sigma: Char list states: State list diff --git a/Program.fs b/Program.fs index bbe5620..8024b2d 100644 --- a/Program.fs +++ b/Program.fs @@ -1,5 +1,4 @@ -// Learn more about F# at http://fsharp.org - + open System []