Kay Salomaa - Kai Salomaa - Wikipedia

Kay Salomaa
Kai Salomaa.jpg
Tug'ilgan
 Finlyandiya
Olma materTurku universiteti
Ma'lumrasmiy til nazariyasi, davlatning murakkabligi
Ilmiy martaba
MaydonlarAvtomatika nazariyasi
InstitutlarQirolicha universiteti
TezisDaraxt avtomatlarini hisoblashdagi o'zgaruvchan va pastga tushadigan do'konlar (1989)
Doktor doktori

Kay T. Salomaa a Finlyandiya kanadalik nazariy kompyuter olimi ga qo'shgan ko'plab hissalari bilan tanilgan davlatning murakkabligi ning cheklangan avtomatlar.[1][2][3][4][5]Uning 1994 yilda juda ko'p keltirilgan qo'shma qog'ozi Yu va Zhuang[6]Hududning poydevorini qo'ydi.U ilmiy jurnallarda 100 dan ortiq maqolalarini turli mavzularda nashr etdi rasmiy til nazariyasi. Salomaa to'liq professor Qirolicha universiteti (Kingston, Ontario ).

Biografiya

Salomaa litsenziya tahsilini Turku universiteti, u erda doktorlik dissertatsiyasini olgan. 1989 yilda ilmiy daraja; uning dissertatsiyasi birgalikda rahbarlik qilgan Ronald V. Kitob va Magnus Steynbi. 1990-yillarda Salomaa G'arbiy Ontario universiteti. 1999 yildan beri u professor lavozimini egallaydi Qirolicha universiteti. Uning otasi, Arto Salomaa, shuningdek, taniqli kompyuter olimi bo'lib, ko'plab sohalarga qo'shgan hissalari bilan ajralib turadi avtomatlar nazariyasi va rasmiy tillar.

Adabiyotlar

  1. ^ Salomaa, Kay; Yu, Sheng (1997). "Cheklangan tillar uchun NFA-dan DFA-ga o'tish". 1260: 149–158. doi:10.1007/3-540-63174-7_12. ISSN  0302-9743. Iqtibos jurnali talab qiladi | jurnal = (Yordam bering)
  2. ^ Salomaa, Arto; Salomaa, Kay; Yu, Sheng (2007). "Birlashtirilgan operatsiyalarning davlat murakkabligi". Nazariy kompyuter fanlari. 383 (2–3): 140–152. doi:10.1016 / j.tcs.2007.04.015. ISSN  0304-3975.
  3. ^ Domaratzki, Maykl; Salomaa, Kay (2008). "NFAlarning o'tish murakkabligining pastki chegaralari". Kompyuter va tizim fanlari jurnali. 74 (7): 1116–1130. doi:10.1016 / j.jcss.2008.02.007. ISSN  0022-0000.
  4. ^ Salomaa, Kay (2009). "Ichki so'z avtomatlarining davlat murakkabligi". 5457: 59–70. doi:10.1007/978-3-642-00982-2_5. ISSN  0302-9743. Iqtibos jurnali talab qiladi | jurnal = (Yordam bering)
  5. ^ Oxotin, Aleksandr; Salomaa, Kai (2014). "Kirish-qo'zg'aladigan avtomatlarning murakkabligi". ACM SIGACT yangiliklari. 45 (2): 47–67. doi:10.1145/2636805.2636821. ISSN  0163-5700.
  6. ^ Yu, Sheng; Chjuan, Tsinyu; Salomaa, Kay (1994). "Oddiy tillarda ba'zi bir asosiy operatsiyalarning davlat murakkabliklari". Nazariy kompyuter fanlari. 125 (2): 315–328. doi:10.1016 / 0304-3975 (92) 00011-F. ISSN  0304-3975.

Tashqi havolalar