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