形式语言与自动机理论

最近提交的作者和标题

• 2025年07月30日， 星期三
• 2025年07月29日， 星期二
• 2025年07月28日， 星期一
• 2025年07月25日， 星期五
• 2025年07月24日， 星期四

查看今天的 新的 变化

2025年07月29日， 星期二 (继续， 展示 最后 2 之 1 条目 )

[2] arXiv:2507.20321 (交叉列表自 cs.CC) [中文pdf, pdf, html, 其他]

标题： 关于高阶忙碌海狸函数 显示英文标题

标题： On Higher Order Busy Beaver Function

Zining Cao

评论： 7页

主题： 计算复杂性 (cs.CC) ; 形式语言与自动机理论 (cs.FL)

2025年07月28日， 星期一 (展示 1 之 1 条目 )

[3] arXiv:2507.18779 (交叉列表自 math.DS) [中文pdf, pdf, html, 其他]

标题： 最大化熵对于无幂语言 显示英文标题

标题： Maximizing entropy for power-free languages

Vaughn Climenhaga

评论： 23页，3图

主题： 动力系统 (math.DS) ; 离散数学 (cs.DM) ; 形式语言与自动机理论 (cs.FL) ; 组合数学 (math.CO)

2025年07月25日， 星期五 (展示 1 之 1 条目 )

[4] arXiv:2507.18205 (交叉列表自 cs.FL) [中文pdf, pdf, html, 其他]

标题： 静默时间：通过定时自动机中的超时建模静默行为的测试 显示英文标题

标题： Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata

Laura Brandán Briones, Marcus Gerhold, Petra van den Bos, Mariëlle Stoelinga

主题： 形式语言与自动机理论 (cs.FL)

2025年07月24日， 星期四 (展示 2 之 2 条目 )

[5] arXiv:2507.17711 (交叉列表自 cs.FL) [中文pdf, pdf, 其他]

标题： 通过仿射向量空间推理随机向量加法系统中的罕见事件可达性 显示英文标题

标题： Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces

Joshua Jeppson, Landon Taylor, Bingqing Hu, Zhen Zhang

主题： 形式语言与自动机理论 (cs.FL)

[6] arXiv:2507.17354 (交叉列表自 cs.FL) [中文pdf, pdf, 其他]

标题： 可实现性与互补性多参与方会话类型 显示英文标题

标题： Realisability and Complementability of Multiparty Session Types

Cinzia Di Giusto (C and A, I3S), Etienne Lozes (I3S, Laboratoire I3S - COMRED), Pascal Urso (I3S, SCALE, Laboratoire I3S - COMRED)

主题： 形式语言与自动机理论 (cs.FL)