形式语言与自动机理论

最近提交的作者和标题

• 2025年07月25日， 星期五
• 2025年07月24日， 星期四
• 2025年07月23日， 星期三
• 2025年07月22日， 星期二
• 2025年07月21日， 星期一

查看今天的 新的 变化

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

[1] 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 条目 )

[2] 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)

[3] 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)

2025年07月23日， 星期三

此时间段没有更新。

2025年07月22日， 星期二 (展示 11 之 11 条目 )

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

标题： 可到达性理论在轨迹栈系统中 显示英文标题

标题： The theory of reachability in trace-pushdown systems

Dietrich Kuske

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

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

标题： 关于某些可逆双头自动机类别的研究 显示英文标题

标题： On some Classes of Reversible 2-head Automata

Benedek Nagy (Eastern Mediterranean University / Eszterházy Károly Catholic University), Walaa Yasin (Eastern Mediterranean University)

评论： 在NCMA 2025会议论文集，arXiv:2507.14082

期刊参考： EPTCS 422，2025，第89-103页

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

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

标题： 一种2detLIN语言的Myhill-Nerode类型特征化 显示英文标题

标题： A Myhill-Nerode Type Characterization of 2detLIN Languages

Benedek Nagy (Eastern Mediterranean University / Eszterházy Károly Catholic University)

评论： 在《NCMA 2025会议论文集》中，arXiv:2507.14082

期刊参考： EPTCS 422，2025年，第73-88页

主题： 形式语言与自动机理论 (cs.FL) ; 离散数学 (cs.DM) ; 数据结构与算法 (cs.DS)

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

标题： 关于带有透明词的重复有限自动机 显示英文标题

标题： On Repetitive Finite Automata with Translucent Words

František Mráz (Charles University in Prague), Friedrich Otto (UniversitätKassel)

评论： 在NCMA 2025会议论文集，arXiv:2507.14082

期刊参考： EPTCS 422，2025年，第59-72页

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

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

标题： 由文法系统编排音乐 显示英文标题

标题： Orchestration of Music by Grammar Systems

Jozef Makiš (Faculty of Information Technology, Brno University of Technology), Alexander Meduna (Faculty of Information Technology, Brno University of Technology), Zbyněk Křivka (Faculty of Information Technology, Brno University of Technology)

评论： 在NCMA 2025会议论文集，arXiv:2507.14082

期刊参考： EPTCS 422，2025年，第45-58页

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

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

标题： 关于Christoffel树的推广：Epichristoffel树 显示英文标题

标题： On a Generalization of the Christoffel Tree: Epichristoffel Trees

Abhishek Krishnamoorthy (Madras Christian College), Robinson Thamburaj (Madras Christian College), Durairaj Gnanaraj Thomas (Madras Christian College)

评论： 在NCMA 2025会议论文集，arXiv:2507.14082

期刊参考： EPTCS 422，2025年，第15-28页

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

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

标题： Idefix-闭语言及其在上下文文法中的应用 显示英文标题

标题： Idefix-Closed Languages and Their Application in Contextual Grammars

Marvin Ködding, Bianca Truthe

评论： 在NCMA 2025会议论文集，arXiv:2507.14082

期刊参考： EPTCS 422，2025，第1-14页

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

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

标题： 输入驱动的带有透明输入字母的下推自动机 显示英文标题

标题： Input-Driven Pushdown Automata with Translucent Input Letters

Martin Kutrib, Andreas Malcher, Matthias Wendlandt

评论： 在NCMA 2025会议论文集，arXiv:2507.14082

期刊参考： EPTCS 422，2025年，第29-43页

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

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

标题： 研究带有输出延迟的定时有限状态机的归位和同步序列 显示英文标题

标题： Studying homing and synchronizing sequences for Timed Finite State Machines with output delays

Evgenii Vinarskii, Jakub Ruszil, Adam Roman, Natalia Kushik

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

[13] arXiv:2507.15147 (交叉列表自 cs.LO) [中文pdf, pdf, html, 其他]

标题： STL-GO：具有图运算符的时空逻辑用于具有多种网络拓扑的分布式系统 显示英文标题

标题： STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies

Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, Lars Lindemann

主题： 计算机科学中的逻辑 (cs.LO) ; 形式语言与自动机理论 (cs.FL) ; 多智能体系统 (cs.MA)

[14] arXiv:2502.15441 (交叉列表自 cs.SE) [中文pdf, pdf, html, 其他]

标题： 大型语言模型在编写合金公式中的有效性 显示英文标题

标题： On the Effectiveness of Large Language Models in Writing Alloy Formulas

Yang Hong, Shan Jiang, Yulei Fu, Sarfraz Khurshid

主题： 软件工程 (cs.SE)

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

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

标题： 第15届非经典自动机模型与应用国际研讨会论文集 显示英文标题

标题： Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications

Nelma Moreira (Universidade do Porto), Luca Prigioniero (Loughborough University)

期刊参考： EPTCS 422，2025

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