From ecfc02c1c530d8ad9f37bcc6c15747f5ccf63d4d Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Fri, 12 Mar 2021 10:13:45 +0100 Subject: [PATCH] Added example output --- README.md | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/README.md b/README.md index b08b8e2..fa12294 100644 --- a/README.md +++ b/README.md @@ -6,3 +6,12 @@ Similar to Lstar, but for monoids instead of automata. The output is a monoid representation which is furthermore minimised by the Knuth-Bendix completion. [Original](https://gist.github.com/Jaxan/d9bb9e3223e8fe8266fe4fe84d357088) + +Output for the example in `app/Main.hs`: + +``` +Inferred rules: (generators are a, b and the unit) +[(fromList "aaa",fromList "a"),(fromList "aaaa",fromList "aa"),(fromList "aaab",fromList "ab"),(fromList "aaabb",fromList "abb"),(fromList "aab",fromList "b"),(fromList "aabb",fromList "bb"),(fromList "aba",fromList "b"),(fromList "abaa",fromList "ab"),(fromList "abab",fromList "bb"),(fromList "ababb",fromList "aa"),(fromList "abba",fromList "bb"),(fromList "abbaa",fromList "abb"),(fromList "abbab",fromList "aa"),(fromList "abbabb",fromList "b"),(fromList "abbb",fromList "a"),(fromList "abbbb",fromList "ab"),(fromList "ba",fromList "ab"),(fromList "baa",fromList "b"),(fromList "bab",fromList "abb"),(fromList "babb",fromList "a"),(fromList "bba",fromList "abb"),(fromList "bbaa",fromList "bb"),(fromList "bbab",fromList "a"),(fromList "bbabb",fromList "ab"),(fromList "bbb",fromList "aa"),(fromList "bbbb",fromList "b")] +After KB: +[(fromList "ba",fromList "ab"),(fromList "aaa",fromList "a"),(fromList "aab",fromList "b"),(fromList "bbb",fromList "aa")] +``` \ No newline at end of file