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 条
  • [1] On Approximate Minimization of Fuzzy Automata
    Belohlavek, R.
    Krupka, M.
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2009, 15 (2-3) : 125 - 135
  • [2] Approximate minimization of weighted tree automata
    Balle, Borja
    Rabusseau, Guillaume
    INFORMATION AND COMPUTATION, 2022, 282
  • [3] APPROXIMATE REGULARIZATION PATHS FOR NUCLEAR NORM MINIMIZATION USING SINGULAR VALUE BOUNDS
    Blomberg, N.
    Rojas, C. R.
    Wahlberg, B.
    2015 IEEE SIGNAL PROCESSING AND SIGNAL PROCESSING EDUCATION WORKSHOP (SP/SPE), 2015, : 190 - 195
  • [4] Minimization of a Particular Singular Value
    Alavian, Alborz
    Rotkowitz, Michael
    2016 54TH ANNUAL ALLERTON CONFERENCE ON COMMUNICATION, CONTROL, AND COMPUTING (ALLERTON), 2016, : 974 - 981
  • [5] Extracting Weighted Automata for Approximate Minimization in Language Modelling
    Lacroce, Clara
    Panangaden, Prakash
    Rabusseau, Guillaume
    INTERNATIONAL CONFERENCE ON GRAMMATICAL INFERENCE, VOL 153, 2021, 153 : 92 - 112
  • [6] A Canonical Form for Weighted Automata and Applications to Approximate Minimization
    Balle, Borja
    Panangaden, Prakash
    Precup, Doina
    2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 701 - 712
  • [7] Optimal approximate minimization of one-letter weighted finite automata
    Lacroce, Clara
    Balle, Borja
    Panangaden, Prakash
    Rabusseau, Guillaume
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2024, : 807 - 833
  • [8] Optimal spectral-norm approximate minimization of weighted finite automata
    Balle, Borja
    Lacroce, Clara
    Panangaden, Prakash
    Precup, Doina
    Rabusseau, Guillaume
    Leibniz International Proceedings in Informatics, LIPIcs, 2021, 198
  • [9] Fast Randomized Singular Value Thresholding for Nuclear Norm Minimization
    Oh, Tae-Hyun
    Matsushita, Yasuyuki
    Tai, Yu-Wing
    Kweon, In So
    2015 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR), 2015, : 4484 - 4493
  • [10] APPROXIMATE STRUCTURED SINGULAR VALUE COMPUTATION VIA FROBENIUS NORMS
    MANNING, MK
    BANDA, SS
    IEEE INTERNATIONAL CONFERENCE ON SYSTEMS ENGINEERING ///, 1989, : 103 - 106
12345