//By Anton Böhler function codeInfo(){ alert("This code is a formal language editor, of sorts ... You can define your alphabet and rules and generate random or your own Strings. If you want to know how a recursive function could be edited to allow the user to pick paths, I normaly would suggest looking into the code, but this code kind of turned into code spagetti ... you have been warned. Btw first time using css properly ;)"); } window.onload = function(){ terminals = ["_", "a"]; variables = ["G"]; start = variables[0]; rules = ["G: _ | a G"]; rulesJson = RulesJson(rules); //not a constructor stack = []; userPath = []; generationDone = false; updateUserGenerated(); resetPath(); } //-=-=-=-=-=- //Stuff concerning Terminals //Start //-=-=-=-=-=- var terminals; function removeTerm(buttonId){ if(terminals.length <= 1){ return; } terminals.splice(buttonId, 1); var terminalsTags = document.getElementById("terminalsTags"); terminalsTags.innerHTML = ""; for(var i=0;i'" + terminals[i] + "'"; } resetPath(); } function addTerminal(){ var terminal = document.getElementById("addedTerm").value; if(terminal.length === 0 || terminals.includes(terminal) || terminal == ":" || terminal == "|" || terminal == " " || variables.includes(terminal)){ return; } document.getElementById("addedTerm").value = ""; var terminalsTags = document.getElementById("terminalsTags"); terminalsTags.innerHTML += "'" + terminal + "'"; terminals.push(terminal); resetPath(); } function terminalsInfo(){ alert("A terminal is a character which can occur in your word generated by the rules. Some characters won't work since they are used for spliting Strings and would break the program."); } //-=-=-=-=-=- //Stuff concerning Terminals //End //-=-=-=-=-=- //-=-=-=-=-=- //Stuff concerning Variables //Start //-=-=-=-=-=- var variables; function removeVar(buttonId){ if(variables.length <= 1){ return; } variables.splice(buttonId, 1); var variablesTags = document.getElementById("variablesTags"); variablesTags.innerHTML = ""; for(var i=0;i'" + variables[i] + "'"; } updateS(); resetPath(); } function addVariable(){ var variable = document.getElementById("addedVar").value; variable = variable.split(" ").join(""); if(variable.length === 0 || variables.includes(variable) || variable.includes(":") || variable.includes("|") || variable.includes(" ") || terminals.includes(variable)){ return; } document.getElementById("addedVar").value = ""; var variablesTags = document.getElementById("variablesTags"); variablesTags.innerHTML += "'" + variable + "'"; variables.push(variable); updateS(); resetPath(); } function variablesInfo(){ alert("A variable will later together with the rules generate Strings of terminals. Every variable should have its rule. Some characters won't work since they are used for spliting Strings and would break the program."); } //-=-=-=-=-=- //Stuff concerning Variables //End //-=-=-=-=-=- //-=-=-=-=-=- //Stuff concerning Start //Start //-=-=-=-=-=- var start; function updateS(){ if(variables.includes(start)){ var selectStart = document.getElementById("selectStart"); selectStart.innerHTML = ""; for(var i=0;i" + variables[i] + ""; } selectStart.value = start; }else{ start = variables[0]; var selectStart = document.getElementById("selectStart"); selectStart.innerHTML = ""; for(var i=0;i" + variables[i] + ""; } selectStart.value = start; } } function startInfo(){ alert("Pick the variable with which your generation starts with."); } //-=-=-=-=-=- //Stuff concerning Start //End //-=-=-=-=-=- //-=-=-=-=-=- //Stuff concerning Rules //Start //-=-=-=-=-=- var rules; var rulesJson; function addRule(){ var rule = document.getElementById("addedRule").value; if(rule.length <=2 || rules.includes(rule) || !rule.includes(":")){ return; } document.getElementById("addedRule").value = ""; var rulesTags = document.getElementById("rulesTags"); rulesTags.innerHTML += "
" + rule + ""; rules.push(rule); rulesJson = RulesJson(rules); resetPath(); } function removeRule(buttonId){ if(rules.length <= 1){ return; } rules.splice(buttonId, 1); var rulesTags = document.getElementById("rulesTags"); rulesTags.innerHTML = ""; for(var i=0;i" + rules[i] + ""; if(i != rules.length-1){ rulesTags.innerHTML += "
"; } } rulesJson = RulesJson(rules); resetPath(); } //not a constructor function RulesJson(rules){ var rulesJson = {}; for(var i=0;i 0){ s.push(path_[k]); } } paths[j] = s.join(" "); } if(rulesJson[rule[0]] === undefined){ rulesJson[rule[0]] = paths; }else{ rulesJson[rule[0]] = rulesJson[rule[0]].concat(paths); } } return rulesJson; } function rulesInfo(){ alert("A rule consists of a variable followed by a ':' followed by terminals or variables seperated by spaces. If there are multiple option seperate them with '|'. Every variable should have 1 rule or unexpected errors might occur."); } //-=-=-=-=-=- //Stuff concerning Rules //End //-=-=-=-=-=- //-=-=-=-=-=- //Stuff concerning Path //Start //-=-=-=-=-=- function resetPath(){ document.getElementById("path").innerHTML = "path: "; document.getElementById("pathResult").innerHTML = "result: "; generationDone = false; userPath = []; stack = []; updateUserGenerated(); } function randomPath(){ resetPath(); generationDone = true; updateUserGenerated(); path = document.getElementById("path"); //path.innerHTML = ""; document.getElementById("pathResult").innerHTML = "result: " + generateRandomPath(start, path); } function generateRandomPath(variable, path){ try{ if(terminals.includes(variable)){ path.innerHTML += "'" + variable + "' "; return variable; }else if(variables.includes(variable)){ path.innerHTML += variable + " "; var s = ""; variable = rulesJson[variable][Math.floor(Math.random() * rulesJson[variable].length)].split(" "); for(var i=0;i" + start + ""; }else{ try{ var element = "" + stack.splice(stack.length-1, 1); if(terminals.includes(element)){ updateUserGenerated(); }else if(variables.includes(element)){ var elements = rulesJson[element]; //alert("'" + elements + "'"); for(var i=0;i" + elements[i] + ""; } }else{ elements = element.split(" "); for(var i=0;i" + elements[i] + ""; } } }catch(Exception){ return "|an error occured here|"; } } var userPath_ = cpyList(userPath); userPath_.splice(0, 1); var s = takePath(userPath_, start); //console.log(s); document.getElementById("pathResult").innerHTML = "result: " + s; //console.log(userPath); } function cpyList(list){ var list_ = []; for(var i=0;i

Formal Language Editor