tonussi · November 8, 2014 14:00
diff --git a/captura.js b/captura.js
 captura_simbolos: function () {
  var simbolos = [];
  for (var i = 0; i < this.transicoes.length; i++) {
    var tr = this.transicoes[i];
    for (var j = tr.lb; j < tr.ub; j++) {
      simbolos.push(j);
    }
  }
 }
	captura_simbolos: function () {
	var simbolos = [];
	for (var i = 0; i < this.transicoes.length; i++) {
	var tr = this.transicoes[i];
	for (var j = tr.lb; j < tr.ub; j++) {
	simbolos.push(j);
	}
	}
	}