javascripts/globals.js


1
2
3
4
5
6
7
8
9
10
11
12
13

// 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;
var lock = false;