English
Related papers

Related papers: Parameterized Regular Expressions and their Langua…

200 papers

Partially ordered nondeterminsitic finite automata (poNFAs) are NFAs whose transition relation induces a partial order on states, that is, for which cycles occur only in the form of self-loops on a single state. A poNFA is universal if it…

Formal Languages and Automata Theory · Computer Science 2017-11-15 Markus Krötzsch , Tomáš Masopust , Michaël Thomazo

Recent work exhibited that distributed word representations are good at capturing linguistic regularities in language. This allows vector-oriented reasoning based on simple linear algebra between words. Since many different methods have…

Computation and Language · Computer Science 2016-03-25 Fei Sun , Jiafeng Guo , Yanyan Lan , Jun Xu , Xueqi Cheng

Ordering the collection of states of a given automaton starting from an order of the underlying alphabet is a natural move towards a computational treatment of the language accepted by the automaton. Along this path, Wheeler \emph{graphs}…

Formal Languages and Automata Theory · Computer Science 2021-06-14 Giovanna D'Agostino , Davide Martincigh , Alberto Policriti

We phrase parsing with context-free expressions as a type inhabitation problem where values are parse trees and types are context-free expressions. We first show how containment among context-free and regular expressions can be reduced to a…

Formal Languages and Automata Theory · Computer Science 2017-08-25 Martin Sulzmann , Peter Thiemann

Encodings, that is, injective functions from words to words, have been studied extensively in several settings. In computability theory the notion of encoding is crucial for defining computability on arbitrary domains, as well as for…

Formal Languages and Automata Theory · Computer Science 2015-01-21 Jörg Endrullis , Clemens Grabmayer , Dimitri Hendriks

A regular expression specifies a set of strings formed by single characters combined with concatenation, union, and Kleene star operators. Given a regular expression $R$ and a string $Q$, the regular expression matching problem is to decide…

Data Structures and Algorithms · Computer Science 2023-11-07 Philip Bille , Inge Li Gørtz

GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handling low-level data structures. The core of GP consists of four…

Logic in Computer Science · Computer Science 2010-04-08 Detlef Plump , Sandra Steinert

Live languages continuously evolve to integrate the cultural change of human societies. This evolution manifests through neologisms (new words) or \textbf{semantic changes} of words (new meaning to existing words). Understanding the meaning…

Computation and Language · Computer Science 2026-04-28 Jader Martins Camboim de Sá , Marcos Da Silveira , Cédric Pruski

Parsing Expression Grammars (PEGs) define languages by specifying recursive-descent parser that recognises them. The PEG formalism exhibits desirable properties, such as closure under composition, built-in disambiguation, unification of…

Programming Languages · Computer Science 2016-09-20 Nicolas Laurent , Kim Mens

Formal languages over infinite alphabets serve as abstractions of structures and processes carrying data. Automata models over infinite alphabets, such as classical register automata or, equivalently, nominal orbit-finite automata, tend to…

Formal Languages and Automata Theory · Computer Science 2025-05-20 Florian Frank , Daniel Hausmann , Stefan Milius , Lutz Schröder , Henning Urbat

We study the problem of deciding whether a given language is directed. A language $L$ is \emph{directed} if every pair of words in $L$ have a common (scattered) superword in $L$. Deciding directedness is a fundamental problem in connection…

Formal Languages and Automata Theory · Computer Science 2024-01-22 Moses Ganardi , Irmak Saglam , Georg Zetzsche

A generalization of numeration system in which the set N of the natural numbers is recognizable by finite automata can be obtained by describing a lexicographically ordered infinite regular language. Here we show that if P belonging to Q[x]…

Computational Complexity · Computer Science 2007-05-23 Michel Rigo

Vector-based word representations help countless Natural Language Processing (NLP) tasks capture the language's semantic and syntactic regularities. In this paper, we present the characteristics of existing word embedding approaches and…

Computation and Language · Computer Science 2024-03-05 Obaidullah Zaland , Muhammad Abulaish , Mohd. Fazil

Probabilistic context-free grammars have a long-term record of use as generative models in machine learning and symbolic regression. When used for symbolic regression, they generate algebraic expressions. We define the latter as equivalence…

Formal Languages and Automata Theory · Computer Science 2022-12-05 Urh Primožič , Ljupčo Todorovski , Matej Petković

The atoms of a regular language are non-empty intersections of complemented and uncomplemented quotients of the language. Tight upper bounds on the number of atoms of a language and on the quotient complexities of atoms are known. We…

Formal Languages and Automata Theory · Computer Science 2014-05-23 Janusz Brzozowski , Gareth Davies

Given a text and a pattern over two types of symbols called constants and variables, the parameterized pattern matching problem is to find all occurrences of substrings of the text that the pattern matches by substituting a variable in the…

Data Structures and Algorithms · Computer Science 2017-05-29 Yuki Igarashi , Diptarama , Ryo Yoshinaka , Ayumi Shinohara

We examine deterministic and nondeterministic state complexities of regular operations on prefix-free languages. We strengthen several results by providing witness languages over smaller alphabets, usually as small as possible. We next…

Formal Languages and Automata Theory · Computer Science 2010-08-11 Galina Jirásková , Monika Krausová

Idiomatic expressions are an integral part of natural language and constantly being added to a language. Owing to their non-compositionality and their ability to take on a figurative or literal meaning depending on the sentential context,…

Computation and Language · Computer Science 2021-10-20 Ziheng Zeng , Suma Bhat

Despite the theoretical significance and wide practical use of regular expressions, the computational complexity of learning them has been largely unexplored. We study the computational hardness of improperly learning regular expressions in…

Machine Learning · Computer Science 2025-10-07 Idan Attias , Lev Reyzin , Nathan Srebro , Gal Vardi

Written language is a complex communication signal capable of conveying information encoded in the form of ordered sequences of words. Beyond the local order ruled by grammar, semantic and thematic structures affect long-range patterns in…

Physics and Society · Physics 2010-05-17 Marcelo A. Montemurro , Damian Zanette
‹ Prev 1 3 4 5 6 7 10 Next ›