// globals
var EPSILON     = '~';
var NEXTSTATE   = 0;
var EMPTYSYMBOL = '%';
var ALPHABET    = 'abc'+EMPTYSYMBOL;
var REDELIMITER = '$';