English
Related papers

Related papers: Algorithms for Acyclic Weighted Finite-State Autom…

200 papers

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

We investigate the worst-case state complexity of reversals of deterministic finite automata with output (DFAOs). In these automata, each state is assigned some output value, rather than simply being labelled final or non-final. This…

Formal Languages and Automata Theory · Computer Science 2017-10-19 Sylvie Davies

Recently, some general frameworks have been proposed as unifying theories for processes combining non-determinism with quantitative aspects (such as probabilistic or stochastically timed executions), aiming to provide general results and…

Logic in Computer Science · Computer Science 2014-06-10 Marino Miculan , Marco Peressotti

#NFA refers to the problem of counting the words of length $n$ accepted by a non-deterministic finite automaton. #NFA is #P-hard, and although fully-polynomial-time randomized approximation schemes (FPRAS) exist, they are all impractical.…

Data Structures and Algorithms · Computer Science 2025-07-01 Kuldeep S. Meel , Alexis de Colnet

We introduce algorithms for learning nonlinear dynamical systems of the form $x_{t+1}=\sigma(\Theta^{\star}x_t)+\varepsilon_t$, where $\Theta^{\star}$ is a weight matrix, $\sigma$ is a nonlinear link function, and $\varepsilon_t$ is a…

Machine Learning · Computer Science 2020-05-01 Dylan J. Foster , Alexander Rakhlin , Tuhin Sarkar

Simulations of weighted tree automata (wta) are considered. It is shown how such simulations can be decomposed into simpler functional and dual functional simulations also called forward and backward simulations. In addition, it is shown in…

Formal Languages and Automata Theory · Computer Science 2015-05-18 Zoltán Ésik , Andreas Maletti

The well known Hopcroft's algorithm to minimize deterministic complete automata runs in $O(kn\log n)$-time, where $k$ is the size of the alphabet and $n$ the number of states. The main part of this algorithm corresponds to the computation…

Formal Languages and Automata Theory · Computer Science 2013-02-15 Gérard Cece

We study the maximum weight perfect $f$-factor problem on any general simple graph $G=(V,E,w)$ with positive integral edge weights $w$, and $n=|V|$, $m=|E|$. When we have a function $f:V\rightarrow \mathbb{N}_+$ on vertices, a perfect…

Data Structures and Algorithms · Computer Science 2020-03-18 Ran Duan , Haoqing He , Tianyi Zhang

In this article we propose a Weighted Stochastic Mesh (WSM) Algorithm for approximating the value of a discrete and continuous time optimal stopping problem. We prove that in the discrete case the WSM algorithm leads to semi-tractability of…

Computational Finance · Quantitative Finance 2019-06-25 D. Belomestny , M. Kaledin , J. Schoenmakers

In terms of the concepts of state and state transition, a new heuristic random search algorithm named state transition algorithm is proposed. For continuous function optimization problems, four special transformation operators called…

Optimization and Control · Mathematics 2013-12-10 Xiaojun Zhou , Chunhua Yang , Weihua Gui

Conditional flow matching (CFM) has emerged as a powerful framework for training continuous normalizing flows due to its computational efficiency and effectiveness. However, standard CFM often produces paths that deviate significantly from…

Context-dependent rewrite rules are used in many areas of natural language and speech processing. Work in computational phonology has demonstrated that, given certain conditions, such rewrite rules can be represented as finite-state…

cmp-lg · Computer Science 2008-02-03 Mehryar Mohri , Richard Sproat

We observe that the classical Cartesian product construction for the intersection of (languages of) nondeterministic finite automata (NFA) is non-optimal in the worst case, if the automata have many transitions. For a fixed alphabet, the…

Formal Languages and Automata Theory · Computer Science 2026-05-21 Dmitry Chistikov , Neha Rino

Despite much research, hard weighted problems still resist super-polynomial improvements over their textbook solution. On the other hand, the unweighted versions of these problems have recently witnessed the sought-after speedups.…

Data Structures and Algorithms · Computer Science 2026-02-13 Mihail Stoian

We present an $f$-fault tolerant distance oracle for an undirected weighted graph where each edge has an integral weight from $[1 \dots W]$. Given a set $F$ of $f$ edges, as well as a source node $s$ and a destination node $t$, our oracle…

Data Structures and Algorithms · Computer Science 2026-04-08 Dipan Dey , Manoj Gupta

We give a canonical representation for trim acyclic deterministic finite automata (Adfa) with n states over an alphabet of k symbols. Using this normal form, we present a backtracking algorithm for the exact generation of Adfas. This…

Formal Languages and Automata Theory · Computer Science 2009-08-25 Marco Almeida , Nelma Moreira , Rogério Reis

Due to the speed limitation of the conventional bit-chosen strategy in the existing weighted bit flipping algorithms, a high-speed LDPC decoder cannot be realized. To solve this problem, we propose a fast weighted bit flipping (FWBF)…

Information Theory · Computer Science 2012-06-18 Kexiang Ma , Yongzhao Li , Caizhi Zhu , Hailin Zhang , Feng Qi

The majority of machine learning methods can be regarded as the minimization of an unavailable risk function. To optimize the latter, given samples provided in a streaming fashion, we define a general stochastic Newton algorithm and its…

Statistics Theory · Mathematics 2023-06-30 Claire Boyer , Antoine Godichon-Baggioni

In this work, we propose ultra-low-complexity design solutions for multi-group multicast beamforming in large-scale systems. For the quality-of-service (QoS) problem, by utilizing the optimal multicast beamforming structure obtained…

Information Theory · Computer Science 2023-04-17 Chong Zhang , Min Dong , Ben Liang

We revisit the popular \emph{delayed deterministic finite automaton} (\ddfa{}) compression algorithm introduced by Kumar~et~al.~[SIGCOMM 2006] for compressing deterministic finite automata (DFAs) used in intrusion detection systems. This…

Data Structures and Algorithms · Computer Science 2024-11-26 Philip Bille , Inge Li Gørtz , Max Rishøj Pedersen