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

形式语言与自动机理论

最近提交的作者和标题

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

2021年6月14日星期一

[1] 必威精装版App西汉姆联arXiv: 2106.06249(从cs.DS交叉列表)[pdf其他
标题:汉明距离下变量的模式匹配
主题: 数据结构与算法(cs.DS);计算复杂度(cs.CC);形式语言与自动机理论(cs.FL)

2021年6月9日星期三

[2] 必威精装版App西汉姆联arXiv: 2106.03852pdfps其他
标题:广义圆形单向跳跃有限自动机
评论:18页,4个数字。必威精装版App西汉姆联arXiv管理提示:大量文字与必威精装版App西汉姆联arXiv: 2106.02937
主题: 形式语言与自动机理论(cs.FL)

2021年6月8日星期二

[3] 必威精装版App西汉姆联arXiv: 2106.03658pdf其他
标题:利用诱导子网的约简系统证明自由选择网络的性质
评论:关键词:Petri网,自由选择网,净减少,透明
主题: 形式语言与自动机理论(cs.FL)
[4] 必威精装版App西汉姆联arXiv: 2106.03554pdf其他
标题:拥有家庭集群的自由选择网络是朗讯的
主题: 形式语言与自动机理论(cs.FL);计算与语言(cs.CL);系统与控制(eess.SY)
[5] 必威精装版App西汉姆联arXiv: 2106.02937pdfps其他
标题:广义线性单向跳跃有限自动机
评论:16页,4个数字
主题: 形式语言与自动机理论(cs.FL)
[6] 必威精装版App西汉姆联arXiv: 2106.03445(cross-list from math.GR) [pdfps其他
标题:PSPACE平面度检测
评论:11页,6个数字
主题: 群论(math.GR);形式语言与自动机理论(cs.FL)
[7] 必威精装版App西汉姆联arXiv: 2106.03245(cross-list from eess.SY) [pdf其他
标题:循环中的验证:在保证Reach-avoid的前提下,对施工进行正确的控制学习
评论:正在审查
主题: 系统与控制(eess.SY);形式语言与自动机理论(cs.FL)
[8] 必威精装版App西汉姆联arXiv: 2106.03202(cross-list from math.CO) [pdfps其他
标题:$m$-bonacci词的封闭Ziv-Lempel因子分解
主题: 组合(math.CO);离散数学(cs.DM);形式语言与自动机理论(cs.FL)
[9] 必威精装版App西汉姆联arXiv: 2106.02965(从cs.LG交叉列表)[pdfps其他
标题:语言建模中近似极小化的加权自动机提取
评论:作者的名字是按字母顺序排列的
主题: 机器学习(cs.LG);形式语言与自动机理论(cs.FL)

2021年6月7日星期一

[10] 必威精装版App西汉姆联arXiv: 2106.02571pdfps其他
标题:替换下森林语言的包含问题
主题: 形式语言与自动机理论(cs.FL)
[11] 必威精装版App西汉姆联arXiv: 2106.02312pdfps其他
标题:用于检查某些类型的可测试性的验证工具
作者: A.N. Trahtman
评论:14页,6图,语言处理中的代数方法,2003
Journal-ref:验证算法检查某些类型的可测试性。《语言处理中的代数方法》,twlt21,编。F.Spoto, 21 (2003), 253 - 263
主题: 形式语言与自动机理论(cs.FL);离散数学(cs.DM)
[12] 必威精装版App西汉姆联arXiv: 2106.02309pdfps其他
标题:On (co-lex) ordered Automata
主题: 形式语言与自动机理论(cs.FL);计算与语言

2021年6月4日星期五

[13] 必威精装版App西汉姆联arXiv: 2106.01870(cross-list from cs.CR) [pdf其他
标题:最大化自动做市商的可提取价值
评论:12页。在提交
主题: 密码与安全(cs.CR);计算工程、金融和科学(cs.CE);形式语言与自动机理论(cs.FL)计算机科学与博弈论
[共13项:1-13
[每页显示多达25个条目:更少的|更多的

禁用MathJaxMathJax是什么?

链接:必威精装版App西汉姆联接口形式找到cs2106联系help访问密钥信息)