diff options
Diffstat (limited to 'javascripts/globals.js')
-rw-r--r-- | javascripts/globals.js | 23 |
1 files changed, 13 insertions, 10 deletions
diff --git a/javascripts/globals.js b/javascripts/globals.js index e48018d..3a5a495 100644 --- a/javascripts/globals.js +++ b/javascripts/globals.js @@ -1,13 +1,16 @@ // globals -var EPSILON = '~'; -var NEXTSTATE = 0; -var EMPTYSYMBOL = '%'; -var ALPHABET = 'abcd'+EMPTYSYMBOL; -var ALPHABETS = ALPHABET+'()|*'; -var REDELIMITER = '$'; +var EPSILON = '~'; // internal use, symbol for 'non-symbol' +var NEXTSTATE = 0; // internal use, state indices, begin at 0 +var STOPSYMBOL = '%'; // internal use, stop symbol +var ALPHABET = 'abcd'+STOPSYMBOL; // used alphabet, need to include stop symbol +var SPECIALS = '()|*'; // symbol with special meaning in a regex +var ALPHABETS = ALPHABET+SPECIALS; // include special symbols +var REDELIMITER = '$'; // internal use, delimiter for regex -var ttable = new Object(); -var g; -var graphit = true; -var lock = false; +var ttable = new Object(); // transition table, internal use +var g; // graph object (used by Raphael) +var graphit = true; // draw a graph? value set by checkbox +var lock = false; // lock for graph animation +var alphabetEdit = false; // are we currently editing the alphabet? +var alphabetEditable = true; // is the alphabet still editable? |