形式语言与自动机理论

最近提交的作者和标题

• 2025年08月07日， 星期四
• 2025年08月06日， 星期三
• 2025年08月05日， 星期二
• 2025年08月04日， 星期一
• 2025年08月01日， 星期五

查看今天的 新的 变化

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

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

标题： 随机语言的恒等测试 显示英文标题

标题： Identity Testing for Stochastic Languages

Smayan Agarwal, Shobhit Singh, Aalok Thakkar

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

2025年08月06日， 星期三 (展示 4 之 4 条目 )

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

标题： 视觉执行与有限状态机和下推自动机的验证 显示英文标题

标题： Visual Execution and Validation of Finite-State Machines and Pushdown Automata

Marco T. Morazán (Seton Hall University), David Anthony K. Fields (Seton Hall University), Andrés M. Garced (Seton Hall University), Tijana Minić (University of Washington)

评论： 在《TFPiE 2025论文集》中，arXiv:2508.02305

期刊参考： EPTCS 424，2025年，第87-108页

主题： 形式语言与自动机理论 (cs.FL) ; 人机交互 (cs.HC) ; 编程语言 (cs.PL) ; 软件工程 (cs.SE)

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

标题： 一种正则表达式的设计配方及基于配方的错误 显示英文标题

标题： A Design Recipe and Recipe-Based Errors for Regular Expressions

Marco T. Morazán (Seton Hall University), Shamil Dzhatdoyev (Axoni, USA), Josephine Des Rosiers (Penguin Random House), Tijana Minić (University of Washington), Andrés M. Garced (Seton Hall University), David Anthony K. Fields (Seton Hall University)

评论： 在《TFPiE 2025论文集》中，arXiv:2508.02305

期刊参考： EPTCS 424，2025，第25-48页

主题： 形式语言与自动机理论 (cs.FL) ; 人机交互 (cs.HC) ; 编程语言 (cs.PL) ; 软件工程 (cs.SE)

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

标题： 多带图灵机的设计支持 显示英文标题

标题： Design Support for Multitape Turing Machines

Marco T. Morazán (Seton Hall University), Oliwia Kempinski (University of Maryland), Andrés M. Garced (Seton Hall University)

评论： 在《TFPiE 2025论文集》中，arXiv:2508.02305

期刊参考： EPTCS 424，2025，第1-24页

主题： 形式语言与自动机理论 (cs.FL) ; 人机交互 (cs.HC) ; 编程语言 (cs.PL) ; 软件工程 (cs.SE)

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

标题： 被动学习事件记录自动机 显示英文标题

标题： Learning Event-recording Automata Passively

Anirban Majumdar, Sayan Mukherjee, Jean-François Raskin

评论： 这篇文章的简短版本已被接受至ATVA 2025

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

2025年08月05日， 星期二 (展示 2 之 2 条目 )

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

标题： 运行时顾问 显示英文标题

标题： Runtime Consultants

Dana Fisman, Elina Sudit

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

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

标题： 上下文无关语言构造作业的难度生成因素 显示英文标题

标题： Difficulty Generating Factors for Context-free Language Construction Assignments

Florian Schmalstieg, Marko Schmellenkamp, Jakob Schwerter, Thomas Zeume

评论： 将在ACM国际计算教育研究会议第V卷（ICER 2025卷1）上发表，2025年8月3日至6日，弗吉尼亚州夏洛茨维尔，美国

主题： 计算机与社会 (cs.CY) ; 形式语言与自动机理论 (cs.FL)

2025年08月04日， 星期一 (展示 2 之 2 条目 )

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

标题： 动态符号执行用于组件和连接器架构的语义差异分析 显示英文标题

标题： Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures

Johanna Grahl, Bernhard Rumpe, Max Stachon, Sebastian Stüber

主题： 软件工程 (cs.SE) ; 形式语言与自动机理论 (cs.FL) ; 符号计算 (cs.SC)

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

标题： 工具辅助的参照流程模型一致性检查 显示英文标题

标题： Tool-Assisted Conformance Checking to Reference Process Models

Bernhard Rumpe, Max Stachon, Sebastian Stüber, Valdes Voufo

主题： 软件工程 (cs.SE) ; 形式语言与自动机理论 (cs.FL)

2025年08月01日， 星期五

此时间段没有更新。