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 条
  • [41] CRYSTALS OF THE NC1 DOMAIN OF HUMAN TYPE-IV COLLAGEN
    STUBBS, M
    SUMMERS, L
    MAYR, I
    SCHNEIDER, M
    BODE, W
    HUBER, R
    RIES, A
    KUHN, K
    JOURNAL OF MOLECULAR BIOLOGY, 1990, 211 (04) : 683 - 684
  • [42] Experimental infection of tachyzoites of the NC1 strain of Neosporacaninum in female swine
    Snak, Alessandra
    Henrique, Schayanne Matos
    Sebolt, Ana Paula Remor
    Cristani, Jose
    Sato, Mere Erika
    Miletti, Luiz Claudio
    de Moura, Anderson Barbosa
    PARASITOLOGY RESEARCH, 2021, 120 (03) : 1049 - 1057
  • [43] Constraint-Hiding Constrained PRFs for NC1 from LWE
    Canetti, Ran
    Chen, Yilei
    ADVANCES IN CRYPTOLOGY - EUROCRYPT 2017, PT I, 2017, 10210 : 446 - 476
  • [44] Quantified propositional calculus and a second-order theory for NC1
    Cook, S
    Morioka, T
    ARCHIVE FOR MATHEMATICAL LOGIC, 2005, 44 (06) : 711 - 749
  • [45] Zebrafish embryogenesis is perturbed by the NC1 domain of Col-IV
    Zhang, X.
    Hudson, B. G.
    Sarras, M. P., Jr.
    MATRIX BIOLOGY, 2006, 25 : S32 - S32
  • [46] STRUCTURAL STUDIES OF COLLAGEN X AND COLLAGEN VIII NC1 DOMAINS
    Kvansakul, M.
    Bogin, O.
    Rom, E.
    Singer, J.
    Yayon, A.
    Hohenester, E.
    ACTA CRYSTALLOGRAPHICA A-FOUNDATION AND ADVANCES, 2002, 58 : C297 - C297
  • [47] Quantified propositional calculus and a second-order theory for NC1
    Stephen Cook
    Tsuyoshi Morioka
    Archive for Mathematical Logic, 2005, 44 : 711 - 749
  • [48] Induction of anti-GBM nephritis in rats by recombinant α3(IV)NC1 and α4(IV)NC1 of type IV collagen (vol 53, pg 664, 1998)
    Sado, Y
    Boutaud, A
    Kagawa, M
    Naito, I
    Ninomiya, Y
    Hudson, BG
    KIDNEY INTERNATIONAL, 1998, 54 (01) : 311 - 312
  • [49] Integrin and non-integrin mediated signaling mechanisms of α1(IV)NC1
    Akulapalli, S.
    Cosgrove, D.
    Overall, C. M.
    Shekhar Boosani, C.
    MATRIX BIOLOGY, 2006, 25 : S80 - S80
  • [50] Molecular Cloning and Functional Characterization of Mouse alpha 3(IV) NC1
    Boosani, Chandra Shekhar
    Sudhakar, Akulapalli
    CLINICAL MEDICINE INSIGHTS-ONCOLOGY, 2008, 2 : 73 - 81
12345