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 条
  • [41] REMARKS ON SORTING AND ONE-WAY MULTIHEAD FINITE AUTOMATA
    KUTYLOWSKI, M
    INFORMATION PROCESSING LETTERS, 1990, 36 (04) : 215 - 218
  • [42] One-reversal counter machines and multihead automata: Revisited
    Chiniforooshan, Ehsan
    Daley, Mark
    Ibarra, Oscar H.
    Kari, Lila
    Seki, Shinnosuke
    THEORETICAL COMPUTER SCIENCE, 2012, 454 : 81 - 87
  • [43] One-Reversal Counter Machines and Multihead Automata: Revisited
    Chiniforooshan, Ehsan
    Daley, Mark
    Ibarra, Oscar H.
    Kari, Lila
    Seki, Shinnosuke
    SOFSEM 2011: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2011, 6543 : 166 - 177
  • [44] ON THE POWER OF TWO-WAY MULTIHEAD QUANTUM FINITE AUTOMATA
    Bhatia, Amandeep Singh
    Kumar, Ajay
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2019, 53 (1-2): : 19 - 35
  • [45] SIMULTANEOUS BOUNDED RECURSION AND COMPLEXITY CLASSES
    LISKIEWICZ, M
    LORYS, K
    PIOTROW, M
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 491 - 491
  • [46] Bounded Parikh Automata
    Cadilhac, Michael
    Finkel, Alain
    McKenzie, Pierre
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (63): : 93 - 102
  • [47] BOUNDED PARIKH AUTOMATA
    Cadilhac, Michael
    Finkel, Alain
    Mckenzie, Pierre
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2012, 23 (08) : 1691 - 1709
  • [48] On multipliers for bounded and monotone nonlinearities
    Carrasco, Joaquin
    Heath, William P.
    Lanzon, Alexander
    SYSTEMS & CONTROL LETTERS, 2014, 66 : 65 - 71
  • [49] On multipliers for bounded and monotone nonlinearities
    Carrasco, Joaquin
    Heath, Willam P.
    Lanzon, Alexander
    2013 EUROPEAN CONTROL CONFERENCE (ECC), 2013, : 1711 - 1716
  • [50] Pushdown automata with bounded nondeterminism and bounded ambiguity
    Herzog, C
    THEORETICAL COMPUTER SCIENCE, 1997, 181 (01) : 141 - 157
12345