Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables

机译：由带有约束变量数量的广义一阶公式定义的常规语言

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We give an algebraic characterization of the regular languages defined by sentences with both modular and first-order quantifiers that use only two variables.

机译：我们给出了由句子定义的常规语言的代数表征，这些句子具有仅使用两个变量的模数和一阶量词。

著录项

来源
《18th Annual Symposium on Theoretical Aspects of Computer Science, Feb 15-17, 2001, Dresden, Germany》|2001年|p.551-562|共12页
会议地点 Dresden(DE);Dresden(DE);Dresden(DE)
作者
Howard Straubing; Denis Therien;
展开▼
作者单位

Computer Science Department, Boston College Chestnut Hill, Massachusetts, USA 02467;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词
入库时间 2022-08-26 14:19:08

相似文献

外文文献
中文文献
专利

1. Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables [J] . Howard Straubing, Denis Therien Theory of computing systems . 2003,第1期

机译：由带有约束变量数量的广义一阶公式定义的常规语言
2. DEFINABILITY OF LANGUAGES BY GENERALIZED FIRST-ORDER FORMULAS OVER (N, +) [J] . AMITABHA ROY, HOWARD STRAUBING SIAM Journal on Computing . 2008,第2期

机译：（N，+）上的广义一阶公式对语言的定义
3. Definability of languages by generalized first-order formulas over (n,+) [J] . Roy A, Straubing H SIAM Journal on Computing . 2007,第2期

机译：通过（n，+）上的广义一阶公式来定义语言
4. Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables [C] . Howard Straubing, Denis Therien Annual symposium on theoretical aspects of computer science . 2001

机译：常规语言由普遍的一阶公式定义，具有有界数的绑定变量
5. Linear Convergence of First-Order Methods for Nonconvex Regularized Optimization Based on Error Bound-Type Conditions [D] . Zhang, Qi. 2018

机译：基于误差绑定类型条件的非谐波正则优化的一阶方法的线性融合
6. Identifying Sites Bound by Epstein-Barr Virus Nuclear Antigen 1 (EBNA1) in the Human Genome: Defining a Position-Weighted Matrix To Predict Sites Bound by EBNA1 in Viral Genomes [O] . Lindsay R. Dresang, David T. Vereide, Bill Sugden 2009

机译：鉴定人类基因组中受爱泼斯坦-巴尔病毒核抗原1（EBNA1）结合的位点：定义位置加权矩阵以预测病毒基因组中EBNA1结合的位点
7. Non-definability of languages by generalized first-order formulas over (N,+) [O] . Andreas Krebs, A V Sreejith 2016

机译：通过（N，+）上的广义一阶公式不可定义语言

Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables

摘要

著录项

相似文献

相关主题

期刊订阅