diff options
author | Nathan Lasseter <nathan.je.lasseter@googlemail.com> | 2013-03-24 13:05:46 +0000 |
---|---|---|
committer | Nathan Lasseter <nathan.je.lasseter@googlemail.com> | 2013-03-24 13:05:46 +0000 |
commit | 5e179bfadb1d73779f69737dea611c43c6d48587 (patch) | |
tree | 5cd56f08b7d08c2066b9eed08f1dd1ee8fe13d6c /README | |
parent | 771cdb55c4a30be16ddafebc9b43f087765f9876 (diff) |
Parser for syntax v2, more examples, formatted output to (()) accepting nodes
Diffstat (limited to 'README')
-rw-r--r-- | README | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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. |