MULTI-TAPE AND MULTI-HEAD PUSHDOWN AUTOMATA

被引：47
|
作者：
HARRISON, MA
IBARRA, OH
机构：
来源：
INFORMATION AND CONTROL | 1968年 / 13卷 / 05期
关键词：
D O I：
10.1016/S0019-9958(68)90901-7
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：433 / &
相关论文
共 50 条
  • [41] Single-tape and multi-tape Turing machines through the lens of the Grossone methodology
    Sergeyev, Yaroslav D.
    Garro, Alfredo
    JOURNAL OF SUPERCOMPUTING, 2013, 65 (02): : 645 - 663
  • [42] Multi-Head Multi-Loss Model Calibration
    Galdran, Adrian
    Verjans, Johan W.
    Carneiro, Gustavo
    Ballester, Miguel A. Gonzalez
    MEDICAL IMAGE COMPUTING AND COMPUTER ASSISTED INTERVENTION, MICCAI 2023, PT III, 2023, 14222 : 108 - 117
  • [43] 2-WAY MULTI-HEAD AUTOMATA OVER A ONE-LETTER ALPHABET
    MONIEN, B
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1980, 14 (01): : 67 - 82
  • [44] Combining Multi-Head Attention and Sparse Multi-Head Attention Networks for Session-Based Recommendation
    Zhao, Zhiwei
    Wang, Xiaoye
    Xiao, Yingyuan
    2023 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS, IJCNN, 2023,
  • [45] 2-Head Pushdown Automata
    Samson, Awe Ayodeji
    WORLD CONFERENCE ON TECHNOLOGY, INNOVATION AND ENTREPRENEURSHIP, 2015, : 2037 - 2046
  • [46] Multi-head Attentive Social Recommendation
    Luo, Xu
    Sha, Chaofeng
    Tan, Zijing
    Niu, Junyu
    WEB INFORMATION SYSTEMS ENGINEERING - WISE 2019, 2019, 11881 : 243 - 258
  • [47] Adaptive Multi-head Contrastive Learning
    Wang, Lei
    Koniusz, Piotr
    Gedeon, Tom
    Zheng, Liang
    COMPUTER VISION - ECCV 2024, PT LXIX, 2025, 15127 : 404 - 421
  • [48] Multi-Head Attention with Disagreement Regularization
    Li, Jian
    Tu, Zhaopeng
    Yang, Baosong
    Lyu, Michael R.
    Zhang, Tong
    2018 CONFERENCE ON EMPIRICAL METHODS IN NATURAL LANGUAGE PROCESSING (EMNLP 2018), 2018, : 2897 - 2903
  • [49] BEAVER MULTI-HEAD MILLING MACHINES
    BARKER, AJ
    MACHINERY AND PRODUCTION ENGINEERING, 1974, 124 (3206): : 550 - 554
  • [50] MODEL-CHECKING OF ORDERED MULTI-PUSHDOWN AUTOMATA
    Atig, Mohamed Faouzi
    LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (03)
12345