Showing 1–5 of 5 results for author: Maslennikova, M

Representation of (Left) Ideal Regular Languages by Synchronizing Automata

Authors: Marina Maslennikova, Emanuele Rodaro

Abstract: We follow language theoretic approach to synchronizing automata and Černý's conjecture initiated in a series of recent papers. We find a precise lower bound for the reset complexity of a principal ideal languages. Also we show a strict connection between principal left ideals and synchronizing automata. We characterize regular languages whose minimal deterministic finite automaton is synchronizing… ▽ More We follow language theoretic approach to synchronizing automata and Černý's conjecture initiated in a series of recent papers. We find a precise lower bound for the reset complexity of a principal ideal languages. Also we show a strict connection between principal left ideals and synchronizing automata. We characterize regular languages whose minimal deterministic finite automaton is synchronizing and possesses a reset word belonging to the recognized language. △ Less

Submitted 21 December, 2014; originally announced December 2014.

Complexity of checking whether two automata are synchronized by the same language

Authors: Marina Maslennikova

Abstract: A deterministic finite automaton is said to be synchronizing if it has a reset word, i.e. a word that brings all states of the automaton to a particular one. We prove that it is a PSPACE-complete problem to check whether the language of reset words for a given automaton coincides with the language of reset words for some particular automaton. A deterministic finite automaton is said to be synchronizing if it has a reset word, i.e. a word that brings all states of the automaton to a particular one. We prove that it is a PSPACE-complete problem to check whether the language of reset words for a given automaton coincides with the language of reset words for some particular automaton. △ Less

Submitted 14 May, 2014; originally announced May 2014.

Comments: 12 pages, 4 figures

Reset Complexity of Ideal Languages

Authors: Marina Maslennikova

Abstract: We present a new characteristic of a regular ideal language called reset complexity. We find some bounds on the reset complexity in terms of the state complexity of a given language. We also compare the reset complexity and the state complexity for languages related to slowly synchronizing automata and study uniqueness question for automata yielding the minimum of reset complexity. We present a new characteristic of a regular ideal language called reset complexity. We find some bounds on the reset complexity in terms of the state complexity of a given language. We also compare the reset complexity and the state complexity for languages related to slowly synchronizing automata and study uniqueness question for automata yielding the minimum of reset complexity. △ Less

Submitted 10 April, 2014; originally announced April 2014.

Finitely generated ideal languages and synchronizing automata

Authors: Vladimir V. Gusev, Marina I. Maslennikova, Elena V. Pribavkina

Abstract: We study representations of ideal languages by means of strongly connected synchronizing automata. For every finitely generated ideal language L we construct such an automaton with at most 2^n states, where n is the maximal length of words in L. Our constructions are based on the De Bruijn graph. We study representations of ideal languages by means of strongly connected synchronizing automata. For every finitely generated ideal language L we construct such an automaton with at most 2^n states, where n is the maximal length of words in L. Our constructions are based on the De Bruijn graph. △ Less

Submitted 1 May, 2013; originally announced May 2013.

Comments: Submitted to WORDS 2013

Principal ideal languages and synchronizing automata

Authors: Vladimir V. Gusev, Marina I. Maslennikova, Elena V. Pribavkina

Abstract: We study ideal languages generated by a single word. We provide an algorithm to construct a strongly connected synchronizing automaton for which such a language serves as the language of synchronizing words. Also we present a compact formula to calculate the syntactic complexity of this language. We study ideal languages generated by a single word. We provide an algorithm to construct a strongly connected synchronizing automaton for which such a language serves as the language of synchronizing words. Also we present a compact formula to calculate the syntactic complexity of this language. △ Less

Submitted 11 April, 2013; originally announced April 2013.

Comments: 15 pages, 9 figures