afnd :(

Author: byandrev

src/afnd.js

@@ -0,0 +1,126 @@
+import { animateNode, renderError, renderOut } from "./animateNode.js";
+
+function verifyAFND(paper, graph, automata, string) {
+  // function epsilonClosure(states) {
+  //   const epsilonClosureStates = new Set(states);
+  //   const stack = Array.from(states);
+
+  //   while (stack.length > 0) {
+  //     const state = stack.pop();
+
+  //     if (automata.transitions[state] && automata.transitions[state]["ε"]) {
+  //       for (const nextState of automata.transitions[state]["ε"]) {
+  //         if (!epsilonClosureStates.has(nextState)) {
+  //           epsilonClosureStates.add(nextState);
+  //           stack.push(nextState);
+  //         }
+  //       }
+  //     }
+  //   }
+
+  //   return epsilonClosureStates;
+  // }
+
+  // function move(states, symbol) {
+  //   const nextStates = new Set();
+
+  //   for (const state of states) {
+  //     setTimeout(() => {
+  //       animateNode(
+  //         paper,
+  //         graph,
+  //         state,
+  //         symbol,
+  //         automata.finalStates.includes(state)
+  //       );
+
+  //       if (
+  //         automata.transitions[state] &&
+  //         automata.transitions[state][symbol]
+  //       ) {
+  //         for (const nextState of automata.transitions[state][symbol]) {
+  //           nextStates.add(nextState);
+  //         }
+  //       }
+  //     }, 1000);
+  //   }
+  //   return nextStates;
+  // }
+
+  // let i = 0;
+  // let currentStates = epsilonClosure(new Set([automata.initialState]));
+  // let symbol = string[i];
+
+  // const interval = setInterval(() => {
+  //   currentStates = epsilonClosure(move(currentStates, symbol));
+
+  //   if (i >= string.length) {
+  //     for (const state of currentStates) {
+  //       if (automata.finalStates.includes(state)) {
+  //         console.log("YES");
+  //         return true;
+  //       }
+  //     }
+
+  //     clearInterval(interval);
+  //   }
+
+  //   i++;
+  //   symbol = string[i];
+  // }, 1000);
+
+  const getNextStates = (states, symbol) => {
+    const nextStates = new Set();
+
+    for (const state of states) {
+      if (automata.transitions[state] && automata.transitions[state][symbol]) {
+        for (const nextState of automata.transitions[state][symbol]) {
+          nextStates.add(nextState);
+        }
+      }
+    }
+
+    return nextStates;
+  };
+
+  let currentStates = [automata.initialState];
+
+  const verify = (states, symbol) => {
+    let i = 0;
+    let state = states[0];
+
+    const interval = setInterval(() => {
+      animateNode(
+        paper,
+        graph,
+        state,
+        symbol,
+        automata.finalStates.includes(state)
+      );
+
+      if (i >= string.length) {
+        clearInterval(interval);
+        return;
+      }
+
+      states = getNextStates(states, symbol);
+
+      if (states.length <= 0) {
+        return;
+      }
+
+      console.log("Current: ", states);
+
+      i++;
+      symbol = string[i];
+
+      verify(states, symbol);
+    }, 1000);
+  };
+
+  verify(currentStates, string[0]);
+
+  return false;
+}
+
+export { verifyAFND };

src/main.js

@@ -7,6 +7,7 @@ import { startDragTools } from "./dragTools.js";
 import { initGraph } from "./graph.js";
 import { CircleShape, FILL_NODE_FINAL } from "./shapes.js";
 import download from "./utils/download.js";
+import { verifyAFND } from "./afnd.js";
 
 const { graph, paper } = initGraph();
 const inputString = document.querySelector("#input-string");
@@ -26,7 +27,7 @@ function run() {
   const alphabet = [];
   const string = inputString.value;
   const statesArr = [];
-  const transitions = [];
+  const transitions = {};
 
   // clear errors
   renderError(null);
@@ -38,6 +39,8 @@ function run() {
         id: el.attributes.id,
       };
 
+      transitions[el.attributes.attrs.label.text] = {};
+
       if (el.attributes.attrs.body.fill === FILL_NODE_FINAL) {
         finalStates.push(el.attributes.attrs.label.text);
       }
@@ -48,11 +51,24 @@ function run() {
     if (el.type === "Link") {
       alphabet.push(...el.labels[0].attrs.text.text.split(","));
 
-      transitions.push({
-        state: states[el.source.id].text,
-        symbol: el.labels[0].attrs.text.text.split(",") || "transition",
-        nextState: states[el.target.id].text,
+      el.labels[0].attrs.text.text.split(",").forEach((symbol) => {
+        if (transitions[states[el.source.id].text][symbol]) {
+          transitions[states[el.source.id].text][symbol] = [
+            ...transitions[states[el.source.id].text][symbol],
+            states[el.target.id].text,
+          ];
+        } else {
+          transitions[states[el.source.id].text][symbol] = [
+            states[el.target.id].text,
+          ];
+        }
       });
+
+      // transitions[state] = {
+      //   state: states[el.source.id].text,
+      //   symbol: el.labels[0].attrs.text.text.split(",") || "transition",
+      //   nextState: states[el.target.id].text,
+      // };
     }
   });
 
@@ -74,9 +90,14 @@ function run() {
   automata.finalStates = finalStates;
   automata.transitions = transitions;
 
+  console.log(automata);
+
   renderOut("Loading ...");
   renderOutString(string);
-  verifyAFD(paper, graph, automata, string);
+  // verifyAFD(paper, graph, automata, string);
+
+  const res = verifyAFND(paper, graph, automata, string);
+  console.log(res);
 }
 
 function changeLabelName() {