English
Related papers

Related papers: Sweeping Permutation Automata

200 papers

In sorting situations where the final destination of each item is known, it is natural to repeatedly choose items and place them where they belong, allowing the intervening items to shift by one to make room. (In fact, a special case of…

Combinatorics · Mathematics 2008-09-18 Sergi Elizalde , Peter Winkler

We prove that a random automaton with $n$ states and any fixed non-singleton alphabet is synchronizing with high probability (modulo an unpublished result about unique highest trees of random graphs). Moreover, we also prove that the…

Formal Languages and Automata Theory · Computer Science 2024-07-10 Mikhail V. Berlinkov

We consider a high-$Q$ Duffing oscillator in a weakly non-linear regime with the driving frequency $\sigma$ varying in time between $\sigma_i$ and $\sigma_f$ at a characteristic rate $r$. We found that the frequency sweep can cause…

Adaptation and Self-Organizing Systems · Physics 2016-11-28 Oleg Kogan

It is proved that every regular expression of alphabetic width $n$, that is, with $n$ occurrences of symbols of the alphabet, can be transformed into a deterministic finite automaton (DFA) with $2^{\frac{n}{2}+(\frac{\log_2…

Formal Languages and Automata Theory · Computer Science 2025-04-30 Olga Martynova , Alexander Okhotin

We propose a novel transition-based algorithm that straightforwardly parses sentences from left to right by building $n$ attachments, with $n$ being the length of the input sentence. Similarly to the recent stack-pointer parser by Ma et al.…

Computation and Language · Computer Science 2019-03-21 Daniel Fernández-González , Carlos Gómez-Rodríguez

A permutation p is realized by the shift on N symbols if there is an infinite word on an N-letter alphabet whose successive left shifts by one position are lexicographically in the same relative order as p. The set of realized permutations…

Combinatorics · Mathematics 2009-09-15 Sergi Elizalde

In the computational-mechanics structural analysis of one-dimensional cellular automata the following automata-theoretic analogue of the \emph{change-point problem} from time series analysis arises: \emph{Given a string $\sigma$ and a…

Computer Vision and Pattern Recognition · Computer Science 2016-08-31 Carl S. McTague , James P. Crutchfield

In terms of the concepts of state and state transition, a new algorithm-State Transition Algorithm (STA) is proposed in order to probe into classical and intelligent optimization algorithms. On the basis of state and state transition, it…

Optimization and Control · Mathematics 2012-10-15 Xiaojun Zhou , Chunhua Yang , Weihua Gui

Reordering poses a major challenge in machine translation (MT) between two languages with significant differences in word order. In this paper, we present a novel reordering approach utilizing sparse features based on dependency word pairs.…

Computation and Language · Computer Science 2016-08-04 Christian Hadiwinoto , Yang Liu , Hwee Tou Ng

We consider a class of finite state three-tape transducers which models the operation of shuffling and splitting words. We present them as automata over the so-called Shuffling Monoid. These automata can be seen as either shufflers or…

Formal Languages and Automata Theory · Computer Science 2024-07-04 Ignacio Mollo Cunningham

We study the relation between the standard two-way automata and more powerful devices, namely, two-way finite automata with an additional "pebble" movable along the input tape. Similarly as in the case of the classical two-way machines, it…

Formal Languages and Automata Theory · Computer Science 2009-07-30 Viliam Geffert , Lubomíra Ištoňová

It is shown that, for every $n \geqslant 2$, the maximum length of the shortest string accepted by an $n$-state direction-determinate two-way finite automaton is exactly $\binom{n}{\lfloor\frac{n}{2}\rfloor}-1$ (direction-determinate…

Formal Languages and Automata Theory · Computer Science 2022-10-04 Olga Martynova , Alexander Okhotin

A new discontinuous model of computation called one-way jumping finite automata was defined by H. Chigahara et. al. This model was a restricted version of the model jumping finite automata. These automata read an input symbol-by-symbol and…

Formal Languages and Automata Theory · Computer Science 2021-06-08 Ujjwal Kumar Mishra , Kalpana Mahalingam , Rama Raghavan

We consider a stack sorting algorithm where only the appropriate output values are popped from the stack and then any remaining entries in the stack are run through the stack in reverse order. We identify the basis for the $2$-reverse pass…

Combinatorics · Mathematics 2018-08-14 Toufik Mansour , Howard Skogman , Rebecca Smith

Unambiguous non-deterministic finite automata have intermediate expressive power and succinctness between deterministic and non-deterministic automata. It has been conjectured that every unambiguous non-deterministic one-way finite…

Computational Complexity · Computer Science 2018-02-15 Michael Raskin

The recently introduced class of Wheeler graphs, inspired by the Burrows-Wheeler Transform (BWT) of a given string, admits an efficient index data structure for searching for subpaths with a given path label, and lifts the applicability of…

Formal Languages and Automata Theory · Computer Science 2020-02-25 Jarno Alanko , Giovanna D'Agostino , Alberto Policriti , Nicola Prezza

We introduce and study input-driven deterministic and nondeterministic double-head pushdown automata. A double-head pushdown automaton is a slight generalization of an ordinary pushdown automaton working with two input heads that move in…

Formal Languages and Automata Theory · Computer Science 2017-08-23 Markus Holzer , Martin Kutrib , Andreas Malcher , Matthias Wendlandt

Graph-walking automata (GWA) are a model for graph traversal using finite-state control: these automata move between the nodes of an input graph, following its edges. This paper investigates the effect of node-replacement graph…

Formal Languages and Automata Theory · Computer Science 2021-11-22 Olga Martynova , Alexander Okhotin

The Burrows-Wheeler Transform is a string transformation that plays a fundamental role for the design of self-indexing compressed data structures. Over the years, researchers have successfully extended this transformation outside the…

Data Structures and Algorithms · Computer Science 2019-02-05 Raffaele Giancarlo , Giovanni Manzini , Giovanna Rosone , Marinella Sciortino

A monster is an automaton in which every function from states to states is represented by at least one letter. A modifier is a set of functions allowing one to transform a set of automata into one automaton. We revisit some language…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Pascal Caron , Edwin Hamel-De le court , Jean-Gabriel Luque , Bruno Patrou
‹ Prev 1 3 4 5 6 7 10 Next ›