blob: 6478a54fcfe4d3c43ed1c30d3c525e08a73c45bf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
If an emulation of a machine is a virtual machine, then this is VFSM: the Virtual Finite State Machine.
Usage is: ruby vfsm.rb <machine description file> <input>
A Machine description must have:
* 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
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.
|
