From e91859b61f413bf8d5957aca701fc70593729656 Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Sat, 21 Oct 2017 10:45:23 +0200 Subject: [PATCH] Updates README accordingly --- README.md | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 7b01e15..50edb59 100644 --- a/README.md +++ b/README.md @@ -103,6 +103,11 @@ equivalence queries through the terminal. The alphabet is fixed in `Main.hs`, so change it if you need a different alphabet (it should work generically for any alphabet). +Additionally, one can run the `NominalAngluin2` executable instead, +if provides an easier to parse protocol for membership queries. Hence +it is more suitable for automation. This will first ask for the alphabet +which should be either `ATOMS` or `FIFO`. + A run might look like the following. The lines with `Q:` are queries, answered by myself on the lines with `A:` or `>`. ``` @@ -138,4 +143,10 @@ Q: [1,0] A: False Q: [1,0,1] A: -``` \ No newline at end of file +``` + +# Changes since first release + +* Better support for interactive communication. +* Optimisation: add only one row/column to fix closedness/consistency +