text: /*global FiniteAutomaton*/
  $(document).ready(function() {
    "use strict";
    var av_name = "NFA2DFATraceCON";
    var av = new JSAV(av_name);
    var url = "../../../AV/OpenFLAP/machines/FA/NFA2DFA2a.jff";
    var nfaWidth = 400;
    var fa = new av.ds.FA({left: 10, top: 0, width: nfaWidth, url: url});
    av.umsg("Let's see a step-by-step conversion of an NFA to a DFA.");
    av.displayInit();
    FiniteAutomaton.convertNFAtoDFA(av, fa, {left: nfaWidth + 50, top: 0, width: 500, height: 350}, true);
    av.recorded();
  });
  