由有限生成且可消去标量代数刻画交换半域上可确定性识别的加权树语言
机器人学
2025-09-19 v1
摘要
基于S. Bozapalidis和A. Alexandrakis的工作，已知在域上可识别加权树语言可通过句法向量空间的有限维性来刻画。在这里，我们证明了交换半域上自底向上确定性可识别的加权树语言可通过各自m-句法标量代数的有限生成性来刻画。标量代数的概念在本论文中引入；它是通过忽略向量的加法从向量空间概念得到的。此外，我们证明了自底向上确定性加权树自动机的最小化定理，并构造了最小自动机。
引用
@article{arxiv.2509.14915,
title = {PERAL: Perception-Aware Motion Control for Passive LiDAR Excitation in Spherical Robots},
author = {Shenghai Yuan and Jason Wai Hao Yee and Weixiang Guo and Zhongyuan Liu and Thien-Minh Nguyen and Lihua Xie},
journal= {arXiv preprint arXiv:2509.14915},
year = {2025}
}