有限自动机的算术性质
组织者
演讲者
谌昭
时间
2026年03月10日 16:00 至 17:00
地点
A3-1-301
线上
Zoom 928 682 9093
(BIMSA)
摘要
本次报告讨论自动机的算术性质，重点分析姚家燕教授于2004年提出的素自动机。我们借助图论方法对自动机进行分类，在此基础上构造并证明了如下结论：当指令数不少于2时，所有有限自动机均非素自动机；而对于单指令自动机，素自动机不仅存在，并且可以给出其完整的刻画。
演讲者介绍
谌昭，中南大学数学与统计学院基础数学系讲师。他于2022年在清华大学数学系获得理学博士学位，师从姚家燕教授。他的研究兴趣为有限自动机，对于与之相关的解析数论和组合数论方向也有涉及。谌昭博士已在International Mathematics Research Notices，CR Math, Theoretic Computer Science等杂志上发表多篇论文。