[Turkmath:6790] Istanbul Ayrik Matematik Toplantilari Seminer Duyurusu

Türker BIYIKOĞLU turker.biyikoglu at isikun.edu.tr
9 Şub 2010 Sal 11:51:52 EET


Istanbul Ayrik Matematik Toplantilari Seminer Duyurusu

Degerli Matematikciler,

Istanbul Ayrik Matematik Toplantilarinin Subat ayi toplantisi herzaman 
oldugu gibi Istanbul Matematiksel Bilimler Merkezinin (IMBM) cok guzel 
binasinda olucak.
Subat ayi  toplantimiz 19 Subat Cuma gunu saat 11.00'de
Flavio d'Alessandro (University of Rome 'La Sapienza' ve Bogazici 
Universitesi) 
"Cerny Conjecture, Formal Languages, Synchronizing Automata"  baslikli 
bir konusma yapacaktir.
Konusma konusuyla ilgili detaylari asagida ve ekteki ilanda gorebilirsiniz.

Seminer oncesi, saat 10.30'dan itibaren cay-kahve ve kurabiye servisi 
olacaktir. Konusmaya herkes davetlidir.

Turker Biyikoglu  Tinaz Ekim-Asici


I M B M istanbul center for mathematical sciences
Istanbul Discrete Mathematics Meetings

Cerny Conjecture, Formal Languages, Synchronizing Automata
Flavio d'Alessandro
University of Rome 'La Sapienza' and Bogazici University

Abstract
The synchronization problem for a deterministic n-state automaton 
consists in the
search of an input-sequence, called a synchronizing word such that the 
state attained
by the automaton, when this sequence is read, does not depend on the 
initial state
of the automaton itself. If such a sequence exists, the automaton is 
called synchronizing.
If the automaton is deterministic and complete, a well-known conjecture 
by Cerny
claims that it has a synchronizing word of length not larger than (n-1)^2.
This conjecture has been shown to be true for several classes of automata.
In this talk, we outline some classical results on this problem.

Date: Friday, February 19, 2010
Time: 11:00
Place: IMBM Seminar Room, Bogazici University

Istanbul Matematiksel Bilimler Merkezi hakkinda bilgi icin: 
http://imbm.org.tr/

-------------- sonraki bölüm --------------
Yazı olmayan bir eklenti temizlendi...
İsim: flavio-dalessandro.pdf
Tür: application/pdf
Boyut: 51961 bayt
Tanım: kullanılamıyor
Url: http://yunus.listweb.bilkent.edu.tr/pipermail/turkmath/attachments/20100209/5be95678/attachment-0001.pdf 


More information about the Turkmath mailing list