首页> 美国政府科技报告 >The Equivalence Problem for Regular Expressions with Intersection is Not Polynomial in Tape.

【24h】

The Equivalence Problem for Regular Expressions with Intersection is Not Polynomial in Tape.

机译：交叉正则表达式的等价问题在磁带中不是多项式。

获取原文

页面导航

著录项
相似文献
相关主题

著录项

作者
hunt,harry b. iii;
展开▼
作者单位

展开▼
年度 1973
页码 1-33
总页数 33
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
mathematical logic; theoremsset theory; turing machines; polynomials; automata theory;

机译：数学逻辑;定理集;图灵机;多项式;自动机理论;

相似文献

外文文献
中文文献
专利

1. Equivalence of regular binoid expressions and regular expressions denoting binoid languages over free binoids [J] . Kosaburo Hashiguchi, Naoto Sakakibara, Shuji Jimbo Theoretical computer science . 2004,第2a3期

机译：正则二元表达式和表示二元语言的正则表达式在自由二元上的等价性
2. A Characterization of Q-Polynomial Distance-Regular Graphs Using the Intersection Numbers [J] . Sumalroj Supalak Graphs and combinatorics . 2018,第5期

机译：使用交叉数的Q-多项式距离常规图的表征
3. Triple intersection numbers of Q-polynomial distance-regular graphs [J] . Urlep M. European journal of combinatorics . 2012,第6期

机译：Q多项式距离正则图的三重交点数
4. A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions [C] . Tobias Nipkow, Maximilian Haslbeck International conference on automated reasoning with analytic tableaux and related methods . 2013

机译：正则表达式等效的经过验证的决策程序的简要概述
5. Beyond regular: Pattern matching with extended regular expressions. [D] . Carle, Benjamin. 2010

机译：超越正则：与扩展正则表达式匹配的模式。
6. An Equivalence Theorem for Series of Orthogonal Polynomials [O] . G. H. Peebles 1939

机译：一系列正交多项式的等价定理
7. Equivalence of regular binoid expressions and regular expressions denoting binoid languages over free binoids [O] . Hashiguchi Kosaburo, Sakakibara Naoto, Jimbo Shuji 2004

机译：正则二值表达式和表示二值语言的正则表达式在自由二值上的等价性
8. Regular Expressions and the Equivalence of Programs [R] . Kaplan, D. M. 1968

机译：正则表达式与程序的等价性

The Equivalence Problem for Regular Expressions with Intersection is Not Polynomial in Tape.

著录项

相似文献

相关主题

期刊订阅