aboutsummaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorNathan Lasseter <nathan.je.lasseter@googlemail.com>2013-03-24 13:05:46 +0000
committerNathan Lasseter <nathan.je.lasseter@googlemail.com>2013-03-24 13:05:46 +0000
commit5e179bfadb1d73779f69737dea611c43c6d48587 (patch)
tree5cd56f08b7d08c2066b9eed08f1dd1ee8fe13d6c /README
parent771cdb55c4a30be16ddafebc9b43f087765f9876 (diff)
Parser for syntax v2, more examples, formatted output to (()) accepting nodes
Diffstat (limited to 'README')
-rw-r--r--README6
1 files changed, 3 insertions, 3 deletions
diff --git a/README b/README
index 6ec4d1f..6478a54 100644
--- a/README
+++ b/README
@@ -3,18 +3,18 @@ If an emulation of a machine is a virtual machine, then this is VFSM: the Virtua
Usage is: ruby vfsm.rb <machine description file> <input>
A Machine description must have:
- * A Nodes: line, followed by space separated node ids
* A Start: line, followed by the starting node id
* An Accept: line, followed by space separated node ids which may accept
* An Edges: line, followed by edge definition lines and an End: line
-There may be any number of Comment: lines which are unsurprisingly ignored.
-
An edge definition line must have:
* The source node
* The input to accept
* The destination node
+There may be any number of Comment: lines which are unsurprisingly ignored.
+In the VFSM v2 syntax, you do not need a nodes line, the node ids are inferred from the start:, accept:, and edges:-end: lines. Nodes: lines are ignored for backwards compatability.
+
The input is a string of space separated input tokens.
See the examples.