图自动机的统一方法
形式语言与自动机理论
2026-05-26 v1
摘要
有向无环图（DAG）可以表示二维字符串或图。我们提出通过将二维输入编码为DAG来使用DAG自动机识别图语言。编码可以是输入无关的（仅基于输入大小）或输入驱动的（取决于符号）。三种不同的输入无关编码分别刻画了由返回有限自动机、来回式自动机和在线镶嵌自动机接受的图语言类别。将字符串编码为简单有向路径将识别限制为正则语言。然而，输入驱动的编码允许DAG自动机识别一些上下文有关的字符串语言，并在二维方面超越在线镶嵌自动机。
引用
@article{arxiv.2509.12077,
title = {A Unifying Approach to Picture Automata},
author = {Yvo Ad Meeres and František Mráz},
journal= {arXiv preprint arXiv:2509.12077},
year = {2026}
}
备注
A full version of a paper for ITAT WAFNL 2025