Download presentation

Presentation is loading. Please wait.

Published byScott Russell Modified about 1 year ago

1
Synchronizing Words and Carefully Synchronizing Words Pavel Martyugin Ural State University, Ekaterinburg, Russia Workshop Dynamical Aspects of Automata and Semigroup Theories, 25-26 November 2010, Wien, Austria

3
a, a b a b 1 23 4 b b a The example of a synchronizing DFA with 4 states and 2 letters.

6
This conjecture is unproved.

7
Computation problems: Is a given DFA synchronizing or not? What is the length of the shortest synchronizing word for a given DFA?

9
D.Eppstein(1990) The problem BOUNDED SYN is NP-complete. This problem remains NP-complete for automata over a 2-letter alphabet.

10
J.Olschewski, M.Ummels (2010) The problem MIN SYN is complete for the complexity class DP

11
The Černý’s problem and the complexities problems can be considered for some special cases of DFA. We consider here classes of cyclical, Eulerian, monotonic, cyclically monotonic, commutative DFA and DFA with a zero state.

12
0 1 2 0 3 n-1 n-2

13
In the previous example the input alphabet size grows with number of states, while in the Černý example the alphabet has two elements for every number of states. 0

14
~ (2008) The problem BOUNDED SYN is NP-complete for cyclical and one-cluster DFA

15
The DFA is called Eulerian if its digraph is Eulerian. ~ (2008) The problem BOUNDED SYN is NP-complete for Eulerian DFA

17
~ (2008) The problem BOUNDED SYN is NP-complete for the class of all commutative DFA

18
If the PFA is a DFA then careful synchronization = synchronization

19
The example of a carefully synchronizing PFA with 4 states and 2 letters. a,b a b 1 23 4 b b a

23
0 1 2

24
The lengths of cycles are consecutive prime numbers The shortest carefully synchronizing word has nonpolynomial length.

25
The lengths of blocks are consecutive prime numbers

26
~ (2010) The problem CARSIN is PSPACE-complete The problem CARSIN remain PSPACE-complete for automata with 2-letter alphabet

27
Thank you!

Similar presentations

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google