我们感谢支持
西蒙斯基金会和会员机构。

形式语言与自动机理论

最近提交的作者和标题

• 2021年6月14日星期一
• 2021年6月9日星期三
• 2021年6月8日星期二
• 2021年6月7日星期一
• 2021年6月4日星期五

[共13项:1-13］
[每页显示多达25个条目:更少的|更多的］

2021年6月14日星期一

[1］ 必威精装版App西汉姆联arXiv: 2106.06249(从cs.DS交叉列表)[pdf，其他］

标题:汉明距离下变量的模式匹配

作者: PawełGawrychowski，弗罗林Manea，Stefan siem

主题: 数据结构与算法(cs.DS);计算复杂度(cs.CC);形式语言与自动机理论(cs.FL)

2021年6月9日星期三

［2］ 必威精装版App西汉姆联arXiv: 2106.03852［pdf，ps，其他］

标题:广义圆形单向跳跃有限自动机

作者: 放进Kumar Mishra，Kalpana Mahalingam，罗摩Raghavan

评论:18页，4个数字。必威精装版App西汉姆联arXiv管理提示:大量文字与必威精装版App西汉姆联arXiv: 2106.02937

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

2021年6月8日星期二

［3］ 必威精装版App西汉姆联arXiv: 2106.03658［pdf，其他］

标题:利用诱导子网的约简系统证明自由选择网络的性质

作者: 威尔，范德阿尔斯特议员

评论:关键词:Petri网，自由选择网，净减少，透明

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

［4］ 必威精装版App西汉姆联arXiv: 2106.03554［pdf，其他］

标题:拥有家庭集群的自由选择网络是朗讯的

作者: 威尔，范德阿尔斯特议员

主题: 形式语言与自动机理论(cs.FL);计算与语言(cs.CL);系统与控制(eess.SY)

［5］ 必威精装版App西汉姆联arXiv: 2106.02937［pdf，ps，其他］

标题:广义线性单向跳跃有限自动机

作者: 放进Kumar Mishra，Kalpana Mahalingam，罗摩Raghavan

评论:16页，4个数字

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

［6］ 必威精装版App西汉姆联arXiv: 2106.03445(cross-list from math.GR) [pdf，ps，其他］

标题:PSPACE平面度检测

作者: 莫里老人，亚当·戈特差点就成功

评论:11页，6个数字

主题: 群论(math.GR);形式语言与自动机理论(cs.FL)

［7］ 必威精装版App西汉姆联arXiv: 2106.03245(cross-list from eess.SY) [pdf，其他］

标题:循环中的验证:在保证Reach-avoid的前提下，对施工进行正确的控制学习

作者: 一轩王，曹国伟黄，Zhaoran王，Zhilu王，朱七

评论:正在审查

主题: 系统与控制(eess.SY);形式语言与自动机理论(cs.FL)

［8］ 必威精装版App西汉姆联arXiv: 2106.03202(cross-list from math.CO) [pdf，ps，其他］

标题:$m$-bonacci词的封闭Ziv-Lempel因子分解

作者: Marieh Jahannia，名Mohammad-noori，Narad Rampersad，侬Stipulanti

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

［9］ 必威精装版App西汉姆联arXiv: 2106.02965(从cs.LG交叉列表)[pdf，ps，其他］

标题:语言建模中近似极小化的加权自动机提取

作者: 克拉拉Lacroce，普拉卡什Panangaden，Guillaume Rabusseau

评论:作者的名字是按字母顺序排列的

主题: 机器学习(cs.LG);形式语言与自动机理论(cs.FL)

2021年6月7日星期一

［10］ 必威精装版App西汉姆联arXiv: 2106.02571［pdf，ps，其他］

标题:替换下森林语言的包含问题

作者: 马歇尔·丐帮ßert，曼弗雷德Kufleitner

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

［11］ 必威精装版App西汉姆联arXiv: 2106.02312［pdf，ps，其他］

标题:用于检查某些类型的可测试性的验证工具

作者: A.N. Trahtman

评论:14页，6图，语言处理中的代数方法，2003

Journal-ref:验证算法检查某些类型的可测试性。《语言处理中的代数方法》，twlt21，编。F.Spoto, 21 (2003), 253 - 263

主题: 形式语言与自动机理论(cs.FL);离散数学(cs.DM)

［12］ 必威精装版App西汉姆联arXiv: 2106.02309［pdf，ps，其他］

标题:On (co-lex) ordered Automata

作者: 乔凡娜达，尼古拉Cotumaccio，阿尔贝托Policriti，尼古拉Prezza

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

2021年6月4日星期五

［13］ 必威精装版App西汉姆联arXiv: 2106.01870(cross-list from cs.CR) [pdf，其他］

标题:最大化自动做市商的可提取价值

作者: 马西莫Bartoletti，詹姆斯Hsin-yu蒋介石，阿尔贝托Lluch-Lafuente

评论:12页。在提交

主题: 密码与安全(cs.CR);计算工程、金融和科学(cs.CE);形式语言与自动机理论(cs.FL)计算机科学与博弈论

• 2021年6月14日星期一
• 2021年6月9日星期三
• 2021年6月8日星期二
• 2021年6月7日星期一
• 2021年6月4日星期五

[共13项:1-13］
[每页显示多达25个条目:更少的|更多的］