Skip to main content
CenXiv.org
此网站处于试运行阶段,支持我们!
我们衷心感谢所有贡献者的支持。
贡献
赞助
cenxiv logo > cs > arXiv:2507.14082

帮助 | 高级搜索

计算机科学 > 形式语言与自动机理论

arXiv:2507.14082 (cs)
[提交于 2025年7月18日 ]

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

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

Authors:Nelma Moreira (Universidade do Porto), Luca Prigioniero (Loughborough University)
摘要: 第十五届国际非经典自动机与应用模型研讨会(NCMA 2025)于2025年7月21日至22日在英国卢顿举行,由卢顿大学计算机科学系组织,并与第26届形式系统描述复杂性国际会议(DCFS 2025,22-24 July)同时举行。 NCMA研讨会系列自2009年起作为年度活动,为从事非经典和经典自动机、语法或相关设备模型的研究人员提供交流平台。 这些模型从不同角度被研究,既作为理论模型,也作为各种应用的正式模型。 NCMA研讨会系列的目标是交流和发展新思想,以获得对该特定领域的更深入和跨学科的覆盖,这可能促进新的见解和实质性进展。
摘要: The Fifteenth International Workshop on Non-Classical Models of Automata and Applications (NCMA 2025) was held in Loughborough, UK, on July 21 and 22, 2025, organized by the Department of Computer Science at Loughborough University and co-located with the 26th International Conference on Descriptional Complexity of Formal Systems (DCFS 2025, 22-24 July). The NCMA workshop series was established in 2009 as an annual event for researchers working on non-classical and classical models of automata, grammars or related devices. Such models are investigated both as theoretical models and as formal models for applications from various points of view. The goal of the NCMA workshop series is to exchange and develop novel ideas in order to gain deeper and interdisciplinary coverage of this particular area that may foster new insights and substantial progress.
主题: 形式语言与自动机理论 (cs.FL) ; 计算复杂性 (cs.CC)
引用方式: arXiv:2507.14082 [cs.FL]
  (或者 arXiv:2507.14082v1 [cs.FL] 对于此版本)
  https://doi.org/10.48550/arXiv.2507.14082
通过 DataCite 发表的 arXiv DOI
期刊参考: EPTCS 422, 2025
相关 DOI: https://doi.org/10.4204/EPTCS.422
链接到相关资源的 DOI

提交历史

来自: EPTCS [查看电子邮件]
[v1] 星期五, 2025 年 7 月 18 日 17:05:57 UTC (4 KB)
全文链接:

获取论文:

    查看标题为《》的 PDF
  • 查看中文 PDF
  • HTML
  • 其他格式
许可图标 查看许可
当前浏览上下文:
cs.FL
< 上一篇   |   下一篇 >
新的 | 最近的 | 2025-07
切换浏览方式为:
cs
cs.CC

参考文献与引用

  • NASA ADS
  • 谷歌学术搜索
  • 语义学者
a 导出 BibTeX 引用 加载中...

BibTeX 格式的引用

×
数据由提供:

收藏

BibSonomy logo Reddit logo

文献和引用工具

文献资源探索 (什么是资源探索?)
连接的论文 (什么是连接的论文?)
Litmaps (什么是 Litmaps?)
scite 智能引用 (什么是智能引用?)

与本文相关的代码,数据和媒体

alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)

演示

复制 (什么是复制?)
Hugging Face Spaces (什么是 Spaces?)
TXYZ.AI (什么是 TXYZ.AI?)

推荐器和搜索工具

影响之花 (什么是影响之花?)
核心推荐器 (什么是核心?)
IArxiv 推荐器 (什么是 IArxiv?)
  • 作者
  • 地点
  • 机构
  • 主题

arXivLabs:与社区合作伙伴的实验项目

arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。

与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。

有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.

这篇论文的哪些作者是支持者? | 禁用 MathJax (什么是 MathJax?)
  • 关于
  • 帮助
  • contact arXivClick here to contact arXiv 联系
  • 订阅 arXiv 邮件列表点击这里订阅 订阅
  • 版权
  • 隐私政策
  • 网络无障碍帮助
  • arXiv 运营状态
    通过...获取状态通知 email 或者 slack

京ICP备2025123034号