Bounded monotone recursion and multihead automata

被引：0
|
作者：
S. S. Marchenkov
机构：
[1] Moscow State University,Faculty of Computation Mathematics and Cybernetics
来源：
Programming and Computer Software | 2013年 / 39卷
关键词：
Turing Machine; Recursive Function; Word Function; Input Tape; Recursive Program;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
On the basis of bounded monotone recursion, a class BMR of word functions over the alphabet {1, 2} is defined. A new type of a computing device is introduced, which is called a multihead nonerasing automaton with output, or an MH automaton. It is proved that the class BMR coincides with the class MHA of word functions computable by MH automata in polynomial time. Numerous examples of word functions from the class BMR are given.
引用
收藏
页码：301 / 308
页数：7
相关论文
共 50 条
  • [11] SOME REMARKS ON MULTIHEAD AUTOMATA
    SUDBOROUGH, IH
    RAIRO-INFORMATIQUE THEORIQUE-THEORETICAL COMPUTER SCIENCE, 1977, 11 (03): : 181 - 195
  • [12] REFINED SIMULATION OF MULTIHEAD AUTOMATA
    PETERSEN, H
    INFORMATION PROCESSING LETTERS, 1994, 52 (05) : 229 - 233
  • [13] On partially blind multihead finite automata
    Lbarra, OH
    Ravikumar, B
    THEORETICAL COMPUTER SCIENCE, 2006, 356 (1-2) : 190 - 199
  • [14] ALTERNATING SIMPLE MULTIHEAD FINITE AUTOMATA
    MATSUNO, H
    INOUE, K
    TANIGUCHI, H
    TAKANAMI, I
    THEORETICAL COMPUTER SCIENCE, 1985, 36 (2-3) : 291 - 308
  • [15] Traps for jumping multihead counter automata
    Bull, M.
    Hemmerling, A.
    Journal of Information Processing and Cybernetics, 1992, 28 (06): : 343 - 361
  • [16] SOME CHARACTERIZATIONS OF MULTIHEAD FINITE AUTOMATA
    IBARRA, OH
    KIM, SM
    ROSIER, LE
    INFORMATION AND CONTROL, 1985, 67 (1-3): : 114 - 125
  • [17] SOME REMARKS ON MULTIHEAD AUTOMATA.
    Sudborough, I.H.
    RAIRO Informatique Theorique/Theoretical Computer Science (Revue Francaise d'Automatique et de Recherche Operationnelle), 1977, 11 (03): : 181 - 195
  • [18] MULTIHEAD FINITE STATE AUTOMATA AND CONCATENATION
    DURIS, P
    HROMKOVIC, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 176 - 186
  • [19] Automata, probability, and recursion
    Yannakakis, Mihalis
    IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, 2008, 5148 : 23 - 32
  • [20] On stateless multihead automata: Hierarchies and the emptiness problem
    Ibarra, Oscar H.
    Karhumaki, Juhani
    Okhotin, Alexander
    THEORETICAL COMPUTER SCIENCE, 2010, 411 (03) : 581 - 593
12345