文章基本信息
- 标题：Regular Languages in MAJ[<] with three variables
- 本地全文：下载
- 作者：Christoph Behle ; Andreas Krebs
- 期刊名称：Electronic Colloquium on Computational Complexity
- 印刷版ISSN：1433-8092
- 出版年度：2011
- 卷号：2011
- 出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
- 摘要：
We consider first order logic over words and show FO+MOD[<] is contained in MAJ[<] with three variables.It is known that for the classes FO[<], FO+MOD[<], FO+GROUP[<] three variables suffice. In the case of MOD[<] even two variables are sufficient.
- 关键词：descriptive complexity
