English
Related papers

Related papers: Non-regular unary language and parallel communicat…

200 papers

Stephen Wolfram proclaimed in his 2003 seminal work "A New Kind Of Science" that simple recursive programs in the form of Cellular Automata (CA) are a promising approach to replace currently used mathematical formalizations, e.g.…

Computer Vision and Pattern Recognition · Computer Science 2026-05-13 Martin Spitznagel , Janis Keuper

Parallel communicating systems of pushdown automata (PCPA) were introduced in (Csuhaj-Varj{\'u} et. al. 2000) and in their centralized variants shown to be able to simulate nondeterministic one-way multi-head pushdown automata. A claimed…

Formal Languages and Automata Theory · Computer Science 2014-08-07 Holger Petersen

In simultaneous machine translation, the objective is to determine when to produce a partial translation given a continuous stream of source words, with a trade-off between latency and quality. We propose a neural machine translation (NMT)…

Computation and Language · Computer Science 2020-06-01 Patrick Wilken , Tamer Alkhouli , Evgeny Matusov , Pavel Golik

In this paper we proposed a novel Adversarial Training (AT) approach for end-to-end speech recognition using a Criticizing Language Model (CLM). In this way the CLM and the automatic speech recognition (ASR) model can challenge and learn…

Computation and Language · Computer Science 2018-11-05 Alexander H. Liu , Hung-yi Lee , Lin-shan Lee

Current approaches to learning vector representations of text that are compatible between different languages usually require some amount of parallel text, aligned at word, sentence or at least document level. We hypothesize however, that…

Computation and Language · Computer Science 2016-08-11 Antonio Valerio Miceli Barone

Reversible Watson-Crick automata introduced by Chatterjee et.al. is a reversible variant of an Watson-Crick automata. It has already been shown that the addition of DNA properties to reversible automata significantly increases the…

Formal Languages and Automata Theory · Computer Science 2020-05-21 Kingshuk Chatterjee , Debayan Ganguly , Kumar Sankar Ray

This work proposes a grammar-based chunking strategy that segments input streams into semantically complete units by parsing dependency relations (e.g., noun phrase boundaries, verb-object structures) and punctuation features. The method…

Computation and Language · Computer Science 2025-08-12 Zeyu Yang , Lai Wei , Roman Koshkin , Xi Chen , Satoshi Nakamura

Conversational automatic speech recognition remains challenging due to overlapping speech, far-field noise, and varying speaker counts. While recent LLM-based systems perform well on single-speaker benchmarks, their robustness in…

Computation and Language · Computer Science 2026-03-25 Naohiro Tawara , Samuele Cornell , Alexander Polok , Marc Delcroix , Lukáš Burget , Shinji Watanabe

Commutative languages with the semilinear property (SLIP) can be naturally recognized by real-time NLOG-SPACE multi-counter machines. We show that unions and concatenations of such languages can be similarly recognized, relying on -- and…

Formal Languages and Automata Theory · Computer Science 2014-05-23 Stefano Crespi Reghizzi , Pierluigi San Pietro

Automatic segmentation of text into minimal content-bearing units is an unsolved problem even for languages like English. Spaces between words offer an easy first approximation, but this approximation is not good enough for machine…

cmp-lg · Computer Science 2008-02-03 I. Dan Melamed

Symbolic automata are finite state automata that support potentially infinite alphabets, such as the set of rational numbers, generally applied to regular expressions/languages over finite words. In symbolic automata (or automata modulo…

Formal Languages and Automata Theory · Computer Science 2023-10-05 Margus Veanes , Thomas Ball , Gabriel Ebner , Olli Saarikivi

Typical spoken language understanding systems provide narrow semantic parses using a domain-specific ontology. The parses contain intents and slots that are directly consumed by downstream domain applications. In this work we discuss…

Computation and Language · Computer Science 2018-10-30 Sanchit Agarwal , Rahul Goel , Tagyoung Chung , Abhishek Sethi , Arindam Mandal , Spyros Matsoukas

In machine translation, a common problem is that the translation of certain words even if translated can cause incomprehension of the target language audience due to different cultural backgrounds. A solution to solve this problem is to add…

Computation and Language · Computer Science 2023-09-25 Renhan Lou , Jan Niehues

In this work we study a non-linear generalization based on affine transformations of probabilistic and quantum automata proposed recently by D\'iaz-Caro and Yakary{\i}lmaz \cite{DCY16A} referred as affine automata. First, we present…

Formal Languages and Automata Theory · Computer Science 2017-11-15 Marcos Villagra , Abuzer Yakaryılmaz

In this paper, we present a novel two-pass approach to unify streaming and non-streaming end-to-end (E2E) speech recognition in a single model. Our model adopts the hybrid CTC/attention architecture, in which the conformer layers in the…

Sound · Computer Science 2021-12-30 Binbin Zhang , Di Wu , Zhuoyuan Yao , Xiong Wang , Fan Yu , Chao Yang , Liyong Guo , Yaguang Hu , Lei Xie , Xin Lei

Multi-agent sequential decision-making powers many real-world systems, from autonomous vehicles and robotics to collaborative AI assistants. In dynamic, partially observable environments, communication is often what reduces uncertainty and…

Artificial Intelligence · Computer Science 2026-02-13 Jingdi Chen , Hanqing Yang , Zongjun Liu , Carlee Joe-Wong

We investigate a subclass of languages recognized by vector addition systems, namely languages of nondeterministic Parikh automata. While the regularity problem (is the language of a given automaton regular?) is undecidable for this model,…

Formal Languages and Automata Theory · Computer Science 2016-12-20 Lorenzo Clemente , Wojciech Czerwiński , Sławomir Lasota , Charles Paperman

We address the problem of cross-language adaptation for question-question similarity reranking in community question answering, with the objective to port a system trained on one input language to another input language given labeled…

Computation and Language · Computer Science 2017-06-22 Shafiq Joty , Preslav Nakov , Lluís Màrquez , Israa Jaradat

Unsupervised bilingual lexicon induction naturally exhibits duality, which results from symmetry in back-translation. For example, EN-IT and IT-EN induction can be mutually primal and dual problems. Current state-of-the-art methods,…

Computation and Language · Computer Science 2022-10-07 Xuefeng Bai , Yue Zhang , Hailong Cao , Tiejun Zhao

In a one-counter automaton (OCA), one can produce a letter from some finite alphabet, increment and decrement the counter by one, or compare it with constants up to some threshold. It is well-known that universality and language inclusion…

Formal Languages and Automata Theory · Computer Science 2016-07-20 Benedikt Bollig