On Distinguishing NC1 and NL

被引：1
|
作者：
Krebs, Andreas [1 ]
Lange, Klaus-Joern [1 ]
Ludwig, Michael [1 ]
机构：
[1] Univ Tubingen, WSI, D-72076 Tubingen, Germany
来源：
DEVELOPMENTS IN LANGUAGE THEORY (DLT 2015) | 2015年 / 9168卷
关键词：
LANGUAGES;
D O I：
10.1007/978-3-319-21500-6_27
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We obtain results within the area of dense completeness, which describes a close relation between families of formal languages and complexity classes. Previously we were able show that this relation exists between counter languages and NL but not between the regular languages and NC1. We narrow the gap between the regular languages and the counter languages by considering visibly counter languages. It turns out that they are not densely complete for NC1. At the same time we found a restricted counter automaton model which is densely complete for NL. Besides counter automata we show more positive examples in terms of L-systems.
引用
收藏
页码：340 / 351
页数：12
相关论文
共 50 条
  • [21] Binding interactions of the NC1 domain of collagen VII
    Brittingham, R.
    Uitto, J.
    Fertala, A.
    MATRIX BIOLOGY, 2006, 25 : S82 - S82
  • [22] Crystal structure of the collagen α1 (VIII) NC1 trimer
    Kvansakul, M
    Bogin, O
    Hohenester, E
    Yayon, A
    MATRIX BIOLOGY, 2003, 22 (02) : 145 - 152
  • [23] Branching Programs, Grammar Systems and the NC1 Class
    Cojocaru, Liliana
    NINTH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PROCEEDINGS, 2007, : 66 - 73
  • [24] FINITE MONOIDS AND THE FINE-STRUCTURE OF NC1
    BARRINGTON, DAM
    THERIEN, D
    JOURNAL OF THE ACM, 1988, 35 (04) : 941 - 952
  • [25] Randomness-Efficient Sampling within NC1
    Alexander D. Healy
    computational complexity, 2008, 17 : 3 - 37
  • [26] An NC1 algorithm for the persistency problem in bipartite graphs
    Lakhal, J
    Litzler, L
    PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS - PROCEEDINGS OF THE ISCA 9TH INTERNATIONAL CONFERENCE, VOLS I AND II, 1996, : 450 - 455
  • [27] Induction of anti-GBM nephritis in rats by recombinant α3(IV)NC1 and α4(IV)NC1 of type IV collagen
    Sado, Y
    Boutaud, A
    Kagawa, M
    Naito, I
    Ninomiya, Y
    Hudson, BG
    KIDNEY INTERNATIONAL, 1998, 53 (03) : 664 - 671
  • [28] Adaptively Secure Laconic Function Evaluation for NC1
    Rosie, Razvan
    TOPICS IN CRYPTOLOGY, CT-RSA 2022, 2022, 13161 : 427 - 450
  • [29] SOME SUBCLASSES OF CONTEXT-FREE LANGUAGES IN NC1
    IBARRA, OH
    JIANG, T
    RAVIKUMAR, B
    INFORMATION PROCESSING LETTERS, 1988, 29 (03) : 111 - 117
  • [30] Specificity in the assembly of the NC1 domain of type IV collagen
    Boutaud, A
    Gunwar, S
    Singh, N
    Netzer, KO
    Sado, Y
    Ninomiya, Y
    Noelken, ME
    Hudson, BG
    BIOPHYSICAL JOURNAL, 1998, 74 (02) : A64 - A64
12345