关联与布尔运算相结合的状态复杂性：一种统一方法

@第{条Caron2015StateCO，title={结合布尔运算的连锁状态复杂性：一种统一方法}，author={帕斯卡尔·卡隆（Pascal Caron）和珍妮·加布里埃尔·卢克（Jean-Gabriel Luque）以及卢多维奇·米格诺（Ludovic Mignot）和布鲁诺·帕特鲁（Bruno Patrou）}，日志={ArXiv}，年份={2015年}，体积={abs/1505.03474}，网址={https://api语义scholar.org/语料库ID:18183749}}
提取了一种统一的方法，该方法允许获得涉及链式运算和二进制布尔运算的任何组合的状态复杂度。
[PDF]语义阅读器
9引文
极具影响力的引文
1
背景引文
6
方法引文
4
结果引文
1

本文图表

询问这篇论文
贝塔
AI供电

我们的系统试图限制本文中找到的信息。结果质量可能有所不同。了解更多信息关于我们如何产生这些答案。

9引文

结合布尔运算的链式的状态复杂度

这项工作详尽地研究了布尔运算与链式运算的可能组合，并试图为每个操作家族提供一个小尺寸字母表的共同见证。

涉及链运算和二进制布尔运算的组合运算的状态复杂度：超越Brzozowski猜想

状态复杂性的代数和组合工具：在Star-Xor问题中的应用

这项工作使用修饰语和怪物来研究对称差异之星的状态复杂性，以找到所需的状态复杂性，并展示了一个具有恒定大小字母表的见证。

布尔运算之星的状态复杂性

本文描述了一种通用策略，该策略可用于计算许多操作的状态复杂度，并协调了任何布尔操作的星形状态复杂度的搜索策略。

多重连锁的状态复杂度

结果表明，在Gao和Yu描述的多重连锁中，证人所需的字母表大小可以用Brzozowski定义的特殊DFA除以2。

针对状态复杂性的新工具

本文从修饰符和怪物的角度重新审视了一些语言转换算法，并通过检索交集之星和平方根运算的状态复杂性来说明这一点。

F L]1 4 Ju L 2 01 6多重连锁的状态复杂性

我们改进了一些与Gao和Yu所描述的多重链的状态复杂度有关的结果。特别是，我们几乎将证人所需的字母表大小除以2。我们还…

一类简单改性剂的研究：产品改性剂

修饰符是作用于DFA并生成DFA的k元运算符，它们编码为布尔运算的常规操作与布尔运算紧密相连。

语言理论的发展：第24届国际会议，DLT 2020，美国佛罗里达州坦帕，2020年5月11日至15日，会议记录

证明了SP（A）和SP（B）在代数V和V′各自的自然变种中自由生成，并且V的方程理论是可判定的。

25参考文献

两种联合操作的状态复杂性：叠加之星和反转之星

结果清楚地表明，组合操作的状态复杂性与其参与的单个操作的状态复杂度的组成可能有很大不同。

两种组合操作的状态复杂性：链并和链交

结果表明，前一种组合运算的状态复杂度远小于链式和并式状态复杂度的数学组成，而后一种组合操作的状态复杂程度等于链式、并式和交式状态复杂程度的数学组成。

论联合之星与交会之星的状态复杂性

对于至少两个字母的每个字母表，m态DFA和n态DFA语言的联合之星的状态复杂度被证明为2 m+n−1−2 m−1‐2 n−1+1。状态复杂性…

级联与互补的状态复杂性

在第一个自动机有多个接受状态的情况下，级联的状态复杂度的上界也很紧，并且可以产生直到已知上界的整个复杂度范围。

正则语言上一些基本运算的状态复杂性

二进制正则语言上某些操作的状态复杂度

个体操作的状态复杂性研究综述

本报告基于子集构造和非确定性状态复杂性，回顾了常规语言和一些子区域语言的单个操作的状态复杂性的一些结果。

联合作战的状态复杂性

结合反转的基本语言操作的状态复杂性

有限自动机及其决策问题

有限自动机被认为是对有限带进行分类的工具，介绍了自动机概念的推广，并确定了它们与经典自动机的关系。