Singular value automata and approximate minimization

被引：5
|
作者：
Balle, Borja [1 ]
Panangaden, Prakash [2 ]
Precup, Doina [2 ]
机构：
[1] Amazon Res, Cambridge, England
[2] McGill Univ, Sch Comp Sci, Montreal, PQ, Canada
来源：
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | 2019年 / 29卷 / 09期
关键词：
WEIGHTED AUTOMATA;
D O I：
10.1017/S0960129519000094
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The present paper uses spectral theory of linear operators to construct approximately minimal realizations of weighted languages. Our new contributions are: (i) a new algorithm for the singular value decomposition (SVD) decomposition of finite-rank infinite Hankel matrices based on their representation in terms of weighted automata, (ii) a new canonical form for weighted automata arising from the SVD of its corresponding Hankel matrix, and (iii) an algorithm to construct approximate minimizations of given weighted automata by truncating the canonical form. We give bounds on the quality of our approximation.
引用
收藏
页码：1444 / 1478
页数：35
相关论文
共 50 条
  • [21] From Tree Automata to String Automata Minimization
    Guellouma, Younes
    Cherroun, Hadda
    Ziadi, Djelloul
    Watson, Bruce W.
    THEORY OF COMPUTING SYSTEMS, 2018, 62 (05) : 1203 - 1222
  • [22] From Tree Automata to String Automata Minimization
    Younes Guellouma
    Hadda Cherroun
    Djelloul Ziadi
    Bruce W. Watson
    Theory of Computing Systems, 2018, 62 : 1203 - 1222
  • [23] APPROXIMATE IDENTIFICATION OF AUTOMATA
    GAINES, BR
    ELECTRONICS LETTERS, 1975, 11 (18) : 444 - 445
  • [24] Approximate Joint Singular Value Decomposition of an Asymmetric Rectangular Matrix Set
    Congedo, Marco
    Phlypo, Ronald
    Pham, Dinh-Tuan
    IEEE TRANSACTIONS ON SIGNAL PROCESSING, 2011, 59 (01) : 415 - 424
  • [25] Metaheuristic optimisation methods for approximate solving of singular boundary value problems
    Sadollah, Ali
    Yadav, Neha
    Gao, Kaizhou
    Su, Rong
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 2017, 29 (04) : 823 - 842
  • [26] APPROXIMATE CONVOLUTION USING PARTITIONED TRUNCATED SINGULAR VALUE DECOMPOSITION FILTERING
    Atkins, Joshua
    Strauss, Adam
    Zhang, Chen
    2013 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), 2013, : 176 - 180
  • [27] Approximate solution to a singular perturbed boundary value problem of thermal shielding
    Latypov, I. I.
    9TH RUSSIAN NATIONAL CONFERENCE ON IRREVERSIBLE PROCESSES IN NATURE AND TECHNICS (9RNC-IPNT), 2017, 918
  • [28] Singular value decomposition approach for the approximate coupled-cluster method
    Kinoshita, T
    Hino, O
    Bartlett, RJ
    JOURNAL OF CHEMICAL PHYSICS, 2003, 119 (15): : 7756 - 7762
  • [29] A FAST NEURAL NETWORK LEARNING ALGORITHM WITH APPROXIMATE SINGULAR VALUE DECOMPOSITION
    Jankowski, Norbert
    Linowiecki, Rafal
    INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, 2019, 29 (03) : 581 - 594
  • [30] ON APPROXIMATE MINIMIZATION OF FUNCTIONALS
    DANIEL, JW
    MATHEMATICS OF COMPUTATION, 1969, 23 (107) : 573 - &
12345