English
Related papers

Related papers: Minimization of Streaming Transducers

200 papers

We show that the equivalence of deterministic linear top-down tree-to-word transducers is decidable in polynomial time. Linear tree-to-word transducers are non-copying but not necessarily order-preserving and can be used to express XML and…

Formal Languages and Automata Theory · Computer Science 2016-06-14 Adrien Boiret , Raphaela Palenta

In this paper, we propose a general and novel formulation of ranking and selection with the existence of streaming input data. The collection of multiple streams of such data may consume different types of resources, and hence can be…

Machine Learning · Statistics 2025-03-18 Yuhao Wang , Enlu Zhou

MapReduce is a popular programming model for data parallel computation. In MapReduce, the reducer produces an output from a list of inputs. Due to the scheduling policy of the platform, the inputs may arrive at the reducers in different…

Formal Languages and Automata Theory · Computer Science 2016-10-03 Yu-Fang Chen , Lei Song , Zhilin Wu

Streaming speech enhancement is a crucial task for real-time applications such as online meetings, smart home appliances, and hearing aids. Deep neural network-based approaches achieve exceptional performance while demanding substantial…

Audio and Speech Processing · Electrical Eng. & Systems 2025-09-29 Sunghwan Ahn , Jinmo Han , Beom Jun Woo , Nam Soo Kim

In Transformer architectures, tokens\textemdash discrete units derived from raw data\textemdash are formed by segmenting inputs into fixed-length chunks. Each token is then mapped to an embedding, enabling parallel attention computations…

Machine Learning · Computer Science 2026-01-14 Zhenglun Kong , Yize Li , Fanhu Zeng , Lei Xin , Shvat Messica , Xue Lin , Pu Zhao , Manolis Kellis , Hao Tang , Marinka Zitnik

Linear extended top-down tree transducers (or synchronous tree-substitution grammars) are popular formal models of tree transformations. The expressive power of compositions of such transducers with and without regular look-ahead is…

Formal Languages and Automata Theory · Computer Science 2013-01-09 Zoltán Fülöp , Andreas Maletti

Recently, a few novel streaming attention-based sequence-to-sequence (S2S) models have been proposed to perform online speech recognition with linear-time decoding complexity. However, in these models, the decisions to generate tokens are…

Computation and Language · Computer Science 2020-05-18 Hirofumi Inaguma , Yashesh Gaur , Liang Lu , Jinyu Li , Yifan Gong

We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) sequences of data values, tagged with symbols from a finite set,…

Programming Languages · Computer Science 2011-02-15 Rajeev Alur , Pavol Cerny

We introduce a new computational model for data streams: asymptotically exact streaming algorithms. These algorithms have an approximation ratio that tends to one as the length of the stream goes to infinity while the memory used by the…

Data Structures and Algorithms · Computer Science 2014-08-11 Marc Heinrich , Alexander Munteanu , Christian Sohler

We propose a first streaming accent conversion (AC) model that transforms non-native speech into a native-like accent while preserving speaker identity, prosody and improving pronunciation. Our approach enables stream processing by…

Computation and Language · Computer Science 2025-06-23 Tuan-Nam Nguyen , Ngoc-Quan Pham , Seymanur Akti , Alexander Waibel

This paper tackles the reduction of redundant repeating generation that is often observed in RNN-based encoder-decoder models. Our basic idea is to jointly estimate the upper-bound frequency of each target vocabulary in the encoder and…

Computation and Language · Computer Science 2017-02-15 Jun Suzuki , Masaaki Nagata

Modern language models define distributions over strings, but downstream tasks often require different output formats. For instance, a model that generates byte-pair strings does not directly produce word-level predictions, and a DNA model…

Computation and Language · Computer Science 2026-03-09 Vésteinn Snæbjarnarson , Samuel Kiegeland , Tianyu Liu , Reda Boumasmoud , Ryan Cotterell , Tim Vieira

Transducers generalise automata by producing output word(s) for each input word, thereby defining a relation over words. A transducer is said to be finite-valued if, for every input word, it produces at most $k$ output words, for some…

Formal Languages and Automata Theory · Computer Science 2026-05-08 Prince Mathew , Saina Sunny

Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed in a widely used spreadsheet software product. In this paper…

Formal Languages and Automata Theory · Computer Science 2017-05-25 Mikaël Mayer , Jad Hamza , Viktor Kuncak

Normally, a system that translates speech into text consists of separate modules for speech recognition and text-to-text translation. Combining those tasks into a SpeechLLM promises to exploit paralinguistic information in the speech and to…

Computation and Language · Computer Science 2026-05-15 Titouan Parcollet , Shucong Zhang , Xianrui Zheng , Rogier C. van Dalen

Functional transductions realized by two-way transducers (or, equally, by streaming transducers or MSO transductions) are the natural and standard notion of "regular" mappings from words to words. It was shown in 2013 that it is decidable…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Félix Baschenis , Olivier Gauwin , Anca Muscholl , Gabriele Puppis

In a recent paper we introduced a new framework for the study of call by need computations to normal form and root-stable form in term rewriting. Using elementary tree automata techniques and ground tree transducers we obtained simple…

Logic in Computer Science · Computer Science 2011-11-29 Irène Durand , Aart Middeldorp

Automatic speech recognition (ASR) and speech translation (ST) can both use neural transducers as the model structure. It is thus possible to use a single transducer model to perform both tasks. In real-world applications, such joint ASR…

Computation and Language · Computer Science 2023-10-23 Peidong Wang , Eric Sun , Jian Xue , Yu Wu , Long Zhou , Yashesh Gaur , Shujie Liu , Jinyu Li

In this work, we present the tree tensor network Nystr\"om (TTNN), an algorithm that extends recent research on streamable tensor approximation, such as for Tucker and tensor-train formats, to the more general tree tensor network format,…

Numerical Analysis · Mathematics 2024-12-10 Alberto Bucci , Gianfranco Verzella

Letter-to-letter transducers are a standard formalism for modeling reactive systems. Often, two transducers that model similar systems differ locally from one another, by behaving similarly, up to permutations of the input and output…

Formal Languages and Automata Theory · Computer Science 2024-02-14 Antonio Abu Nassar , Shaull Almagor