加载中 . . .
中文标题 作者 论文ID 分类简称 发布时间
传感器层次结构中的钻石结构 Noah Kaufmann 2208.00554 cs.FL 2023-01-18
通过派生树的最简证明帕里克定理 Alexander Rubtsov 2301.00047 cs.FL 2023-01-03
加权树自动机——可能再多一点点? Zolt''an F"ul"op and Heiko Vogler 2212.05529 cs.FL 2022-12-13
状态存储的状态文法 Oscar H. Ibarra and Ian McQuillan 2212.03992 cs.FL 2022-12-09
结构化简与失真敏感属性 Emmanuel Paviot-Adet and Denis Poitrenaud and Etienne Renault and Yann Thierry-Mieg 2212.04218 cs.FL 2022-12-09
有限指标文法及其限制 Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan 1610.06366 cs.FL 2022-12-08
有界语言、计数机、有限指标文法、歧义性和可交换正则性之间的关系 Arturo Carpi, Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan 2212.03359 cs.FL 2022-12-08
包含计数机语言的完全三元组家族 Oscar H. Ibarra and Ian McQuillan 2212.03791 cs.FL 2022-12-08
图遍历自动机的空问题的复杂性和具有星形子图的平铺的空问题的复杂性 Olga Martynova 2212.02380 cs.FL 2022-12-06
栈自动机模型的空间复杂度 Oscar H. Ibarra, Jozef Jir''asek, Ian McQuillan, and Luca Prigioniero 2212.00891 cs.FL 2022-12-05
检查栈自动机的推广:特征和层次 Oscar H. Ibarra and Ian McQuillan 2212.00897 cs.FL 2022-12-05
语言族的半线性 Oscar H. Ibarra and Ian McQuillan 2212.01301 cs.FL 2022-12-05
事件时钟自动机的模拟 S Akshay, Paul Gastin, R Govind, B Srivathsan 2207.02633 cs.FL 2022-11-30
关于几乎周期序列和语言的一些注记 Gabriel Istrate 2211.14613 cs.FL 2022-11-29
关于历史确定性的一计数器网 Aditya Prakash, K. S. Thejaswini 2210.10084 cs.FL 2022-11-23
快速的共代数等价关系最小化 Jules Jacobs, Thorsten Wi{ss}mann 2204.12368 cs.FL 2022-11-18
带有接口的偏序集作为并发模型 Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemia''nski 2106.10895 cs.FL 2022-11-07
连续有理函数是确定性正则的。 Olivier Carton, Ga"etan Dou''eneau-Tabot 2204.11235 cs.FL 2022-11-04
网络中的反事实因果关系 Georgiana Caltais and Can Olmezoglu 2211.00758 cs.FL 2022-11-03
时序对齐与混合移动 Neha Rino (LMF, ENS Paris Saclay, MEXICO), Thomas Chatain (LMF, ENS Paris Saclay, MEXICO) 2210.15209 cs.FL 2022-10-28
流式字符串转换器的延迟的正则和完备概念 Emmanuel Filiot, Isma"el Jecker, Christof L"oding, Sarah Winter 2205.04287 cs.FL 2022-10-21
高维自动机的Myhill-Nerode定理 Uli Fahrenberg and Krzysztof Ziemia''nski 2210.08298 cs.FL 2022-10-18
帕里克定理的又一个证明 Manfred Kufleitner 2210.02925 cs.FL 2022-10-07
支持集 -- 名义集合和自动机的新基础 Thorsten Wi{ss}mann 2201.09825 cs.FL 2022-10-06
非模糊线性文法在补集运算下不封闭 Olga Martynova, Alexander Okhotin 2210.02329 cs.FL 2022-10-06