Computational Limitations of Affine Automata

被引：3
|
作者：
Hirvensalo, Mika [1 ]
Moutot, Etienne [1 ,2 ]
Yakaryilmaz, Abuzer [3 ]
机构：
[1] Univ Turku, Dept Math & Stat, Turku 20014, Finland
[2] Univ Lyon, Ecole Normale Super Lyon, CNRS, LIP,ENS Lyon,UCBL, Lyon, France
[3] Univ Latvia, Ctr Quantum Comp Sci, Fac Comp, Riga, Latvia
来源：
UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, UCNC 2019 | 2019年 / 11493卷
关键词：
LANGUAGES;
D O I：
10.1007/978-3-030-19311-9_10
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present two new results on the computational limitations of affine automata. First, we show that the computation of bounded-error rational-valued affine automata is simulated in logarithmic space. Second, we give an impossibility result for algebraic-valued affine automata. As a result, we identify some unary languages (in logarithmic space) that are not recognized by algebraic-valued affine automata with cutpoints.
引用
收藏
页码：108 / 121
页数：14
相关论文
共 50 条
  • [21] On the computational complexity of P automata
    Csuhaj-Varjú E.
    Ibarra O.H.
    Vaszil G.
    Natural Computing, 2006, 5 (2) : 109 - 126
  • [22] On the computational complexity of P automata
    Csuhaj-Varjú, E
    Ibarra, OH
    Vaszil, G
    DNA COMPUTING, 2005, 3384 : 76 - 89
  • [23] On Computational Complexity of Set Automata
    Rubtsov, Alexander A.
    Vyalyi, Mikhail N.
    DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017, 2017, 10396 : 332 - 344
  • [24] Computational classification of cellular automata
    Sutner, Klaus
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2012, 41 (06) : 595 - 607
  • [25] On computational complexity of set automata
    Rubtsov, Alexander A.
    Vyalyi, Mikhail N.
    INFORMATION AND COMPUTATION, 2021, 281
  • [26] The computational power of Benenson automata
    Soloveichik, D
    Winfree, E
    THEORETICAL COMPUTER SCIENCE, 2005, 344 (2-3) : 279 - 297
  • [27] Equivalent Piecewise Affine Models of Linear Hybrid Automata
    Di Cairano, Stefano
    Bemporad, Alberto
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (02) : 498 - 502
  • [28] Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics
    Roohi, Nima
    Prabhakar, Pavithra
    Viswanathan, Mahesh
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 752 - 769
  • [29] AFFINE AUTOMATA AND RELATED TECHNIQUES FOR GENERATION OF COMPLEX IMAGES
    CULIK, K
    DUBE, S
    THEORETICAL COMPUTER SCIENCE, 1993, 116 (02) : 373 - 398
  • [30] Limitations of learning in automata-based systems
    Oliveira, Fernando S.
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2010, 203 (03) : 684 - 691
12345