汤普森构造法
汤普森构造法在计算机科学中是指一个能将正则表达式转化为一个与之等价的非确定有限状态自动机（NFA）的算法。算法得到的NFA可以在编程中用于匹配一个正则表达式，这也是正则表达式引擎实现的基本思路之一。 正则表达式和非确定有限状态自动机是形式语言的两种不同的抽象表达方式。在诸如文本编辑器的高级“查找和替换”以及许多编程语言中，人们都习惯使用正则表达式来表示字符串的匹配模式。然而，当计算机执行匹配程序时，NFA却是更加适合的一种格式。因此，汤…
标签：#自动机
共 24 篇文章
理查兹控制器
理查茲控制器（Richards controller），是使用简单的集成电路和组合逻辑电路来实现一个有限状态机的一种方法。该方法以发明家查尔斯·L·理查兹（Charles L. Richards）命名。一个明显的优势是，这种方法相对于传统的有限状态机的设计方法允许更容易地设计复杂的有限状态机相比较于使用状态图、状态转移表和布尔代数所能提供的。使用这项技术可以更容易地实现设计具有成百上千状态的状态机。 历史 理查茲控制器被开发是因为需要一…
嵌入下推自动机
嵌入下推自动机或 EPDA 是分析树-邻接文法(TAG)的计算模型。除了不再使用堆栈来存储符号之外，它类似于分析上下文无关文法的下推自动机。它有存储符号的重复堆栈组成的一个栈，这给予了 TAG 在上下文无关文法和上下文有关文法之间的复杂度，或者说是适度上下文有关文法的子集。 历史和应用 EPDA 最初由 K. Vijay-Shanker 在他 1998 年的博士论文中描述。它们已经被应用于更完整的描述适度上下文有关文法类，并向乔姆斯基层…
状态转移表
在自动机理论和时序逻辑中，状态转移表是展示有限半自动机或有限状态自动机基于当前状态和其他输入，要移动到什么状态（或在非确定有限状态自动机情况下那些状态）的表格。“状态表”本质上是其中某些输入是当前状态，而输出包含与其他输出在一起的下一个状态的真值表。 状态表是指定“状态机”的多种方式之一，其他方式包括状态图，和“特征等式”。 常见形式 一维状态表 也叫做特征表，一维状态表比二维版本更像真值表。输入通常放置在左侧，分隔于在右侧的输出。输出…