奇简软件，“奇简”谐音“旗舰”，“那艘最顶级的船”就是圣经中的“诺亚方舟”了，英文名: Noah’s Ark ，可以简称 nark。

n 的另外一层含义: nondeterministic, 在形式语言和可计算理论中这是比 deterministic 更难的问题，从而也意味着“功能更强大”。

ark 的另外一层含义: architecture, 相传诺亚方舟建造了120年，从工程角度讲，一个好的 architecture， 是成功的关键，没有 architecture 意识的话，那是不可能完成的任务，也许词根 arch- 就是从 ark 来的。

在圣经故事中，诺亚方舟时的大洪水，消灭了旧世界，留在诺亚方舟中的，开辟了新世界，这也是奇简软件的使命……

虽然 NFA 的“表达能力”并不比 DFA 更强，但是 NFA 在很多时候更简洁也更接近人的思维。

到了 PDA(PushDown Automaton) 的时候，Nondeterministic-PDA(无 wiki 词条) 的“表达能力”就比 Deterministic-PDA 更强了……