English
Related papers

Related papers: Finite-State Complexity and the Size of Transducer…

200 papers

We study finite-state transducers and their power for transforming infinite words. Infinite sequences of symbols are of paramount importance in a wide range of fields, from formal languages to pure mathematics and physics. While finite…

Formal Languages and Automata Theory · Computer Science 2018-03-09 Jörg Endrullis , Juhani Karhumäki Jan Willem Klop , Aleksi Saarela

Finite-state transducers give efficient representations of many Natural Language phenomena. They allow to account for complex lexicon restrictions encountered, without involving the use of a large set of complex rules difficult to analyze.…

cmp-lg · Computer Science 2008-02-03 Mehryar Mohri

Finite-State Transducers (FSTs) are effective models for string-to-string rewriting tasks, often providing the efficiency necessary for high-performance applications, but constructing transducers by hand is difficult. In this work, we…

Computation and Language · Computer Science 2026-01-21 Michael Ginn , Alexis Palmer , Mans Hulden

Finite-state morphology in the general tradition of the Two-Level and Xerox implementations has proved very successful in the production of robust morphological analyzer-generators, including many large-scale commercial systems. However, it…

Computation and Language · Computer Science 2009-09-25 Kenneth R. Beesley , Lauri Karttunen

The state complexity, respectively, nondeterministic state complexity of a regular language $L$ is the number of states of the minimal deterministic, respectively, of a minimal nondeterministic finite automaton for $L$. Some of the most…

Formal Languages and Automata Theory · Computer Science 2026-04-08 Arto Salomaa , Kai Salomaa , Taylor J. Smith

Not all contracts are good, but all good contracts can be expressed as a finite-state transition system ("State-Transition Contracts"). Contracts that can be represented as State-Transition Contracts discretize fat-tailed risk to…

Formal Languages and Automata Theory · Computer Science 2023-02-02 J. Nathaniel Holmes , Homayoon Beigi

The truly chaotic finite machines introduced by authors in previous research papers are presented here. A state of the art in this discipline, encompassing all previous mathematical investigations, is provided, explaining how finite state…

Cryptography and Security · Computer Science 2017-08-17 Christophe Guyeux , Qianxue Wang , Xiole Fang , Jacques Bahi

We introduce quantum finite state transducers (qfst), and study the class of relations which they compute. It turns out that they share many features with probabilistic finite state transducers, especially regarding undecidability of…

Quantum Physics · Physics 2007-05-23 R. Freivalds , A. Winter

The aim of this paper is to undertake an experimental investigation of the trade-offs between program-size and time computational complexity. The investigation includes an exhaustive exploration and systematic study of the functions…

Computational Complexity · Computer Science 2015-03-19 Joost J. Joosten , Fernando Soler-Toscano , Hector Zenil

In this paper we give a definition for the Kolmogorov complexity of a pure quantum state. In classical information theory the algorithmic complexity of a string is a measure of the information needed by a universal machine to reproduce the…

Quantum Physics · Physics 2007-05-23 C. Mora , H. J. Briegel

The state complexity of a finite(-state) automaton intuitively measures the size of the description of the automaton. Sakoda and Sipser [STOC 1972, pp. 275--286] were concerned with nonuniform families of finite automata and they discussed…

Formal Languages and Automata Theory · Computer Science 2024-04-16 Tomoyuki Yamakami

This paper examines information-theoretic questions regarding the difficulty of compressing data versus the difficulty of decompressing data and the role that information loss plays in this interaction. Finite-state compression and…

Computational Complexity · Computer Science 2009-09-29 David Doty , Philippe Moser

Composition of weighted transducers is a fundamental algorithm used in many applications, including for computing complex edit-distances between automata, or string kernels in machine learning, or to combine different components of a speech…

Computational Complexity · Computer Science 2008-02-22 Cyril Allauzen , Mehryar Mohri

We present a suite of algorithmic techniques for handling substitution tilings by treating a tile's hierarchy of supertiles in a purely combinatorial fashion using finite state automata. The resulting techniques are very convenient for…

Combinatorics · Mathematics 2026-03-17 Simon Tatham

We define the algorithmic complexity of a quantum state relative to a given precision parameter, and give upper bounds for various examples of states. We also establish a connection between the entanglement of a quantum state and its…

Quantum Physics · Physics 2009-11-11 Caterina Mora , Hans Briegel

Minimizing finite automata, proving trace equivalence of labelled transition systems or representing sofic subshifts involve very similar arguments, which suggests the possibility of a unified formalism. We propose finite states…

Logic in Computer Science · Computer Science 2025-02-11 Titouan Carette , Marc de Visme , Vivien Ducros , Victor Lutfalla , Etienne Moutot

This article describes an algorithm for reducing the intermediate alphabets in cascades of finite-state transducers (FSTs). Although the method modifies the component FSTs, there is no change in the overall relation described by the whole…

Computation and Language · Computer Science 2007-05-23 Andre Kempe

Descriptional complexity is the study of the conciseness of the various models representing formal languages. The state complexity of a regular language is the size, measured by the number of states of the smallest, either deterministic or…

Formal Languages and Automata Theory · Computer Science 2015-09-11 Yuan Gao , Nelma Moreira , Rogério Reis , Sheng Yu

Algorithms which learn environments represented by automata in the past have had complexity scaling with the number of states in the automaton, which can be exponentially large even for automata recognizing regular expressions with a small…

Formal Languages and Automata Theory · Computer Science 2024-05-13 Ali Cataltepe , Vanessa Kosoy

Given a regular language L over an ordered alphabet $\Sigma$, the set of lexicographically smallest (resp., largest) words of each length is itself regular. Moreover, there exists an unambiguous finite-state transducer that, on a given word…

Formal Languages and Automata Theory · Computer Science 2020-03-19 Lukas Fleischer , Jeffrey Shallit
‹ Prev 1 2 3 10 Next ›