加载中 . . .
中文标题 作者 论文ID 分类简称 发布时间
模糊有限自动机的指导性词 Magnus Steinby 2103.00942 cs.FL 2021-03-02
最简单的非正则确定上下文无关语言 Petr Jancar and Jiri Sima 2102.10416 cs.FL 2021-02-23
具有通信延迟的分布式监控控制器的合成与实施 R.H.J. Schouten, L. Moormann, J.M. van de Mortel-Fronczak, and J.E. Rooda 2102.09821 cs.FL 2021-02-22
关于带有替换扩展的多项式文法 Janusz Schmude 2102.08705 cs.FL 2021-02-18
GF(2)-文法描述的有界语言 Vladislav Makarov 1912.13401 cs.FL 2021-02-17
无歧义寄存器自动机的新技术 Wojciech Czerwi''nski, Antoine Mottet, Karin Quaas 2102.08331 cs.FL 2021-02-17
推动自动机的自适应同步 A. R. Balasubramanian (Technische Universit"at M"unchen, Munich, Germany), K. S. Thejaswini (Department of Computer Science, University of Warwick, UK) 2102.06897 cs.FL 2021-02-16
确定性有限自动机上基于幂等半群的语言可识别性:一般Myhill-Nerode定理 Jos''e Ram''on Gonz''alez de Mend''ivil and Federico Fari~na 2102.05968 cs.FL 2021-02-12
穆勒条件的最优变换 Antonio Casares, Thomas Colcombet and Nathana"el Fijalkow 2011.13041 cs.FL 2021-02-08
自动机辅导员 v3 Loris D'Antoni, Martin Helfrich, Jan Kretinsky, Emanuel Ramneantu, Maximilian Weininger 2005.01419 cs.FL 2021-02-02
基于正式FT的因果-结果可靠性分析:定理证明 Mohamed Abdelghany and Sofiene Tahar 2101.07174 cs.FL 2021-01-21
无规则转换的SD正则传导器表达式 Luc Dartois, Paul Gastin, Shankara Narayanan Krishna 2101.07130 cs.FL 2021-01-19
有限幺半群的拉姆齐定理 Isma"el Jecker 2101.05895 cs.FL 2021-01-18
检查语言包含性的完全抽象 Pierre Ganty, Francesco Ranzato, Pedro Valero 1904.01388 cs.FL 2021-01-14
非确定性句法复杂性 Robert Myers and Stefan Milius and Henning Urbat 2101.03039 cs.FL 2021-01-12
在混合自动机形式中编码正弦函数 Nikolaos Kekatos 2101.00012 cs.FL 2021-01-05
二维线性递归序列与非模糊寄存器自动机的普适性 Corentin Barloy, Lorenzo Clemente 2101.01033 cs.FL 2021-01-05
正则表达式长度与算术公式复杂性 Ehud Cseresnyes and Hannes Seiwert 2012.15617 cs.FL 2021-01-01
多样回文因式分解是NP完全的 Hideo Bannai, Travis Gagie, Shunsuke Inenaga, Juha Karkkainen, Dominik Kempa, Marcin Piatkowski, Simon J. Puglisi and Shiho Sugimoto 1503.04045 cs.FL 2020-12-15
当转换数据词时,你必须记住的事项 M. Praveen 2005.02596 cs.FL 2020-12-15
非确定性功能传导器推断算法 Aleksander Mendoza-Drosik 2011.05710 cs.FL 2020-12-11
输入驱动的自动机对嵌套良好的无限字符串的:自动机理论和拓扑性质 Alexander Okhotin, Victor L. Selivanov 2012.03395 cs.FL 2020-12-08
有界振荡语言的理性指数 Ekaterina Shemetova, Alexander Okhotin, Semyon Grigorev 2012.03567 cs.FL 2020-12-08
超边替换文法的弱Greibach正范式 Tikhon Pshenitsyn (Lomonosov Moscow State University, Russia) 2012.01660 cs.FL 2020-12-04
环形自动机同步词集的状态复杂性和二进制字母表上的自动机 Stefan Hoffmann 2011.14404 cs.FL 2020-12-01