English
Related papers

Related papers: Towards an AAK Theory Approach to Approximate Mini…

200 papers

In this paper, we study the approximate minimization problem of weighted finite automata (WFAs): to compute the best possible approximation of a WFA given a bound on the number of states. By reformulating the problem in terms of Hankel…

Formal Languages and Automata Theory · Computer Science 2025-02-12 Clara Lacroce , Borja Balle , Prakash Panangaden , Guillaume Rabusseau

We address the approximate minimization problem for weighted finite automata (WFAs) with weights in $\mathbb{R}$, over a one-letter alphabet: to compute the best possible approximation of a WFA given a bound on the number of states. This…

Formal Languages and Automata Theory · Computer Science 2021-05-18 Borja Balle , Clara Lacroce , Prakash Panangaden , Doina Precup , Guillaume Rabusseau

In this paper we study the approximate minimization problem for language modelling. We assume we are given some language model as a black box. The objective is to obtain a weighted finite automaton (WFA) that fits within a given size…

Machine Learning · Computer Science 2021-07-26 Clara Lacroce , Prakash Panangaden , Guillaume Rabusseau

We study the problem of constructing approximations to a weighted automaton. Weighted finite automata (WFA) are closely related to the theory of rational series. A rational series is a function from strings to real numbers that can be…

Formal Languages and Automata Theory · Computer Science 2015-04-27 Borja Balle , Prakash Panangaden , Doina Precup

Weighted finite automata (WFA) are often used to represent probabilistic models, such as $n$-gram language models, since they are efficient for recognition tasks in time and space. The probabilistic source to be represented as a WFA,…

Computation and Language · Computer Science 2021-02-01 Ananda Theertha Suresh , Brian Roark , Michael Riley , Vlad Schogol

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 SVD decomposition of infinite Hankel matrices based on…

Formal Languages and Automata Theory · Computer Science 2019-11-13 Borja Balle , Prakash Panangaden , Doina Precup

We describe a technique to minimize weighted tree automata (WTA), a powerful formalisms that subsumes probabilistic context-free grammars (PCFGs) and latent-variable PCFGs. Our method relies on a singular value decomposition of the…

Machine Learning · Computer Science 2015-12-25 Guillaume Rabusseau , Borja Balle , Shay B. Cohen

The classical low rank approximation problem is to find a rank $k$ matrix $UV$ (where $U$ has $k$ columns and $V$ has $k$ rows) that minimizes the Frobenius norm of $A - UV$. Although this problem can be solved efficiently, we study an…

Data Structures and Algorithms · Computer Science 2019-11-20 Frank Ban , David Woodruff , Qiuyi Zhang

The weight maximization problem (WMP) is the problem of finding the word of highest weight on a weighted finite state automaton (WFA). It is an essential question that emerges in many optimization problems in automata theory. Unfortunately,…

Neural and Evolutionary Computing · Computer Science 2020-04-15 Elena Gutiérrez , Takamasa Okudono , Masaki Waga , Ichiro Hasuo

Matrix rank minimization problems are gaining a plenty of recent attention in both mathematical and engineering fields. This class of problems, arising in various and across-discipline applications, is known to be NP-hard in general. In…

Optimization and Control · Mathematics 2010-10-06 Yun-Bin Zhao

In this paper we are dealing with the issue of finding possibly short synchronizing words in automata with weight assigned to each letter in the alphabet $\Sigma$. First we discuss some complexity problems, and then we present new…

Formal Languages and Automata Theory · Computer Science 2021-03-31 Jakub Ruszil

We consider the problem of approximating an affinely structured matrix, for example a Hankel matrix, by a low-rank matrix with the same structure. This problem occurs in system identification, signal processing and computer algebra, among…

Numerical Analysis · Mathematics 2014-06-25 Mariya Ishteva , Konstantin Usevich , Ivan Markovsky

The weighted low-rank approximation problem is a fundamental numerical linear algebra problem and has many applications in machine learning. Given a $n \times n$ weight matrix $W$ and a $n \times n$ matrix $A$, the goal is to find two…

Computational Complexity · Computer Science 2025-02-25 Chenyang Li , Yingyu Liang , Zhenmei Shi , Zhao Song

The adaptive Antoulas-Anderson (AAA) algorithm for rational approximation is a widely used method for the efficient construction of highly accurate rational approximations to given data. While AAA can often produce rational approximations…

Numerical Analysis · Mathematics 2026-01-28 Michael S. Ackermann , Linus Balicki , Serkan Gugercin , Steffen W. R. Werner

Compact representations of automata are important for efficiency. In this paper, we study methods to compute reduced automata, in which no two states accept the same language. We do this for finitary automata (FA), an abstract definition…

Formal Languages and Automata Theory · Computer Science 2023-04-14 Keri D'Angelo , Alexandra Silva , Gerco van Heerdt , Leon Witzman

The low-rank matrix optimization with affine set (rank-MOA) is to minimize a continuously differentiable function over a low-rank set intersecting with an affine set. Under some suitable assumptions, the intersection rule of the Fr\'{e}chet…

Spectral Theory · Mathematics 2019-12-09 Xinrong Li , Naihua Xiu , Ziyan Luo

We examine the NFA minimization problem in terms of atomic NFA's, that is, NFA's in which the right language of every state is a union of atoms, where the atoms of a regular language are non-empty intersections of complemented and…

Formal Languages and Automata Theory · Computer Science 2013-01-24 Janusz Brzozowski , Hellis Tamm

We address the inverse problem that arises in compressed sensing of a low-rank matrix. Our approach is to pose the inverse problem as an approximation problem with a specified target rank of the solution. A simple search over the target…

Numerical Analysis · Mathematics 2009-06-15 Kiryung Lee , Yoram Bresler

The problem of k-minimisation for a DFA M is the computation of a smallest DFA N (where the size |M| of a DFA M is the size of the domain of the transition function) such that their recognized languages differ only on words of length less…

Formal Languages and Automata Theory · Computer Science 2011-03-01 Paweł Gawrychowski , Artur Jeż , Andreas Maletti

Low-rank matrix approximation is one of the central concepts in machine learning, with applications in dimension reduction, de-noising, multivariate statistical methodology, and many more. A recent extension to LRMA is called low-rank…

Machine Learning · Statistics 2021-09-24 Elena Tuzhilina , Trevor Hastie
‹ Prev 1 2 3 10 Next ›