[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