English
Related papers

Related papers: Monoid automata for displacement context-free lang…

200 papers

In a recent paper (M. Barash, A. Okhotin, "Defining contexts in context-free grammars", LATA 2012), the authors introduced an extension of the context-free grammars equipped with an operator for referring to the left context of the…

Formal Languages and Automata Theory · Computer Science 2014-05-23 Mikhail Barash , Alexander Okhotin

Sentiment-aware intelligent systems are essential to a wide array of applications. These systems are driven by language models which broadly fall into two paradigms: Lexicon-based and contextual. Although recent contextual models are…

Translation models based on hierarchical phrase-based statistical machine translation (HSMT) have shown better performances than the non-hierarchical phrase-based counterparts for some language pairs. The standard approach to HSMT learns…

Computation and Language · Computer Science 2020-04-06 Felipe Sánchez-Martínez , Juan Antonio Pérez-Ortiz , Rafael C. Carrasco

We study trees where each successor set is equipped with some additional structure. We introduce a family of automaton models for such trees and prove their equivalence to certain fixed-point logics. As a consequence we obtain…

Logic in Computer Science · Computer Science 2025-02-24 Achim Blumensath

The linear-time simulation of 2-way deterministic pushdown automata (2DPDA) by the Cook and Jones constructions is revisited. Following the semantics-based approach by Jones, an interpreter is given which, when extended with random-access…

Programming Languages · Computer Science 2013-09-23 Robert Glück

In a paper published in Information Processing Letters in 2000, Bouajjani et al. presented an automata-based approach to a number of elementary problems on context-free grammars. This approach is of pedagogical interest since it provides a…

Formal Languages and Automata Theory · Computer Science 2024-10-28 Javier Esparza , Peter Rossmanith , Stefan Schwoon

We present an approach to learning multi-sense word embeddings relying both on monolingual and bilingual information. Our model consists of an encoder, which uses monolingual and bilingual context (i.e. a parallel sentence) to choose a…

Computation and Language · Computer Science 2016-03-31 Simon Šuster , Ivan Titov , Gertjan van Noord

We study distributional learning of context-free languages under a fixed recognizable congruence $\sim_h$ given as the kernel of an explicit finite monoid homomorphism $h:\Sigma^*\to M$. For this fixed-$h$ setting, we develop a finite typed…

Formal Languages and Automata Theory · Computer Science 2026-05-11 Takayuki Kuriyama

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

This article focuses on the study of Word Embedding, a feature-learning technique in Natural Language Processing that maps words or phrases to low-dimensional vectors. Beginning with the linguistic theories concerning contextual…

Computation and Language · Computer Science 2019-11-05 Xiaolei Lu , Bin Ni

Human language is full of compositional syntactic structures, and although neural networks have contributed to groundbreaking improvements in computer systems that process language, widely-used neural network architectures still exhibit…

Computation and Language · Computer Science 2023-05-19 Brian DuSell

Weighted automata are non-deterministic automata where the transitions are equipped with weights. They can model quantitative aspects of systems like costs or energy consumption. The value of a run can be computed, for example, as the…

Logic in Computer Science · Computer Science 2015-06-22 Manfred Droste , Vitaly Perevoshchikov

We investigate families of infinite automata for context-sensitive languages. An infinite automaton is an infinite labeled graph with two sets of initial and final vertices. Its language is the set of all words labelling a path from an…

Logic in Computer Science · Computer Science 2017-01-11 Arnaud Carayol , Antoine Meyer

Pretrained Language Models (PLMs) learn rich cross-lingual knowledge and can be finetuned to perform well on diverse tasks such as translation and multilingual word sense disambiguation (WSD). However, they often struggle at disambiguating…

Computation and Language · Computer Science 2023-04-28 Haoqiang Kang , Terra Blevins , Luke Zettlemoyer

We introduce presheaf automata as a generalisation of different variants of higher-dimensional automata and other automata-like formalisms, including Petri nets and vector addition systems. We develop the foundations of a language theory…

Formal Languages and Automata Theory · Computer Science 2025-08-18 Georg Struth , Krzysztof Ziemiański

We develop a fully diagrammatic approach to finite-state automata, based on reinterpreting their usual state-transition graphical representation as a two-dimensional syntax of string diagrams. In this setting, we are able to provide a…

Logic in Computer Science · Computer Science 2023-06-22 Robin Piedeleu , Fabio Zanasi

Since the early Sixties and Seventies it has been known that the regular and context-free languages are characterized by definability in the monadic second-order theory of certain structures. More recently, these descriptive…

cmp-lg · Computer Science 2016-08-31 James Rogers

Word and phrase tables are key inputs to machine translations, but costly to produce. New unsupervised learning methods represent words and phrases in a high-dimensional vector space, and these monolingual embeddings have been shown to…

Computation and Language · Computer Science 2018-04-25 Stefan Jansen

We introduce an automata model for data words, that is words that carry at each position a symbol from a finite alphabet and a value from an unbounded data domain. The model is (semantically) a restriction of data automata, introduced by…

Formal Languages and Automata Theory · Computer Science 2015-03-19 Ahmet Kara , Thomas Schwentick , Tony Tan

Eilenberg correspondence, based on the concept of syntactic monoids, relates varieties of regular languages with pseudovarieties of finite monoids. Various modifications of this correspondence related more general classes of regular…

Formal Languages and Automata Theory · Computer Science 2014-05-23 Ondřej Klíma
‹ Prev 1 4 5 6 7 8 10 Next ›