Gremlin是Apache软件基金会下的Apache TinkerPop开发的图遍历语言和虚拟机。Gremlin适用于基于OLTP的图数据库以及基于OLAP的图处理器。Gremlin的函数式语言和自动机基础使Gremlin能够自然地支持指令式编程和声明式编程查询、主机语言不可知性、用户定义的领域特定语言、可扩展的编译器/优化器、单机和多机运行模型、混合深度和广度优先评估以及图灵完备性。
在计算理论中，确定有限状态自动机或确定有限自动机是一个能实现状态转移的自动机。对于一个给定的属于该自动机的状态和一个属于该自动机字母表
Σ
{\displaystyle \Sigma }
的字符，它都能根据事先给定的转移函数转移到下一个状态。
在数学和计算机科学中，半自动机或
M
{\displaystyle M}
-act是幺半群在集合上的乘法性运算。从代数结构的观点来看，它非常接近于群作用的概念。从计算机科学的观点来看，它是只有输入没有输出的自动机。从范畴论的观点来看，作用是如范畴上的函子般重要。
在数学和计算机科学中，半自动机或
M
{\displaystyle M}
-act是幺半群在集合上的乘法性运算。从代数结构的观点来看，它非常接近于群作用的概念。从计算机科学的观点来看，它是只有输入没有输出的自动机。从范畴论的观点来看，作用是如范畴上的函子般重要。
在数学和计算机科学中，半自动机或
M
{\displaystyle M}
-act是幺半群在集合上的乘法性运算。从代数结构的观点来看，它非常接近于群作用的概念。从计算机科学的观点来看，它是只有输入没有输出的自动机。从范畴论的观点来看，作用是如范畴上的函子般重要。
在数学和计算机科学中，半自动机或
M
{\displaystyle M}
-act是幺半群在集合上的乘法性运算。从代数结构的观点来看，它非常接近于群作用的概念。从计算机科学的观点来看，它是只有输入没有输出的自动机。从范畴论的观点来看，作用是如范畴上的函子般重要。
在计算理论中，确定有限状态自动机或确定有限自动机是一个能实现状态转移的自动机。对于一个给定的属于该自动机的状态和一个属于该自动机字母表
Σ
{\displaystyle \Sigma }
的字符，它都能根据事先给定的转移函数转移到下一个状态。
在计算理论中，确定有限状态自动机或确定有限自动机是一个能实现状态转移的自动机。对于一个给定的属于该自动机的状态和一个属于该自动机字母表
Σ
{\displaystyle \Sigma }
的字符，它都能根据事先给定的转移函数转移到下一个状态。
在自动机理论中，确定下推自动机是可以使用了持有数据的堆栈的确定有限状态自动机。术语“下推”来自原型机械自动机物理上接触穿孔卡片来阅读其内容的下推动作。术语“确定下推自动机”当前指称识别确定上下文无关语言的抽象计算设备。
在自动机理论和时序逻辑中，状态转移表是展示有限半自动机或自动机基于当前状态和其他输入，要移动到什么状态的表格。“状态表”本质上是其中某些输入是当前状态，而输出包含与其他输出在一起的下一个状态的真值表。
Mini wiki
