如何实现非确定性有限自动机（NFA）并编写其单词识别函数？伪代码应用困惑

我目前卡在两个和非确定性有限自动机（NFA）相关的问题上，还有具体的代码落地困惑，想请教大家：

• 如何实现非确定性有限自动机（NFA）？
• 如何编写一个基于该NFA的单词识别函数？

另外，我完全搞不懂怎么把图中的伪代码对应到现有的NFA结构方案里。这个程序需要支持输入单词，在start()事件触发时，判断输入的单词是否能被这个NFA识别。

我这边已经有了状态定义的示例，如下：

var states = {
  q0: {
    name: 'q0',
    isFinish: false,
    next: {
      'a': 'q3',
      'a': 'q6',
      'a': 'q5'
    }
  },
  q1: {
    name: 'q1',
    isFinish: false,
    next: {
      'a': 'q5',
      'a': 'q6'
    }
  },
  q3: {
    name: 'q3',
    isFinish: ...
  }
  // 其他状态省略
};

内容的提问来源于stack exchange，提问作者elie_