blob: 56b31d86611ce7c15e963320ff4197cfcd737f61 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
// globals
var EPSILON = '~';
var NEXTSTATE = 0;
var EMPTYSYMBOL = '%';
var ALPHABET = 'abcd'+EMPTYSYMBOL;
var ALPHABETS = ALPHABET+'()|*';
var REDELIMITER = '$';
var ttable = new Object();
var g;
var graphit = true;
|