메뉴 건너뛰기




Volumn 164, Issue 1-2, 1996, Pages 29-40

On almost cylindrical languages and the decidability of the D0L and PWD0L primitivity problems

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; CONTEXT SENSITIVE LANGUAGES; PROBLEM SOLVING;

EID: 0030247127     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(95)00168-9     Document Type: Article
Times cited : (1)

References (11)
  • 2
    • 0026976116 scopus 로고
    • The posets of retracts of a free monoid
    • W. Forys and T. Head, The posets of retracts of a free monoid, Int. J. Comput. Math. 43 (1992) 127-131.
    • (1992) Int. J. Comput. Math. , vol.43 , pp. 127-131
    • Forys, W.1    Head, T.2
  • 3
    • 0029328019 scopus 로고
    • Dynamical properties of PWD0L systems
    • J. Harrison, Dynamical properties of PWD0L systems, Theoret. Comput. Sci. 143 (1995) 269-284.
    • (1995) Theoret. Comput. Sci. , vol.143 , pp. 269-284
    • Harrison, J.1
  • 4
    • 0028541977 scopus 로고
    • Morphic congruences and D0L languages
    • J. Harrison, Morphic congruences and D0L languages, Theoret. Comput. Sci. 134 (1994) 537-544.
    • (1994) Theoret. Comput. Sci. , vol.134 , pp. 537-544
    • Harrison, J.1
  • 5
    • 0020242857 scopus 로고
    • Expanded subalphabets in the theories of languages and semigroups
    • T. Head, Expanded subalphabets in the theories of languages and semigroups, Int. J. Comput. Math. 12 (1982) 113-123.
    • (1982) Int. J. Comput. Math. , vol.12 , pp. 113-123
    • Head, T.1
  • 8
    • 0024091298 scopus 로고
    • Nondeterministic Space is closed under Complementation
    • N. Immerman, Nondeterministic Space is closed under Complementation, SIAM J. Comput. 17 (1988) 935-938.
    • (1988) SIAM J. Comput. , vol.17 , pp. 935-938
    • Immerman, N.1
  • 10
    • 0026151990 scopus 로고
    • Periodicity and ultimate periodicity of D0L systems
    • B. Lando, Periodicity and ultimate periodicity of D0L systems, Theoret. Comput. Sci. 82 (1991) 19-33.
    • (1991) Theoret. Comput. Sci. , vol.82 , pp. 19-33
    • Lando, B.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.