摩尔机网络
形式语言与自动机理论
2026-04-14 v5
摘要
Juris Hartmanis于1962年发表的带反馈的摩尔机乘积，以及Roza Peter在1950年最初出版的一本教科书中所给出的一类关于有限序列的原始递归函数，是处理大规模摩尔型状态机网络的方法的关键。该乘积为在任意网络中连接摩尔机提供了基础，使它们构造出一个新的摩尔机，其中它们作为并行改变状态的组件。这些函数提供了一种定义机器、机器乘积以及机器的抽象性质而无需枚举状态的方法。
引用
@article{arxiv.1512.06788,
title = {Networks of Moore Machines},
author = {Victor Yodaiken},
journal= {arXiv preprint arXiv:1512.06788},
year = {2026}
}