Kai Salomaa - Kai Salomaa - Wikipedia

Kai Salomaa
Kai Salomaa.jpg
narozený
 Finsko
Alma materUniverzita v Turku
Známý jakoteorie formálního jazyka, složitost stavu
Vědecká kariéra
PoleTeorie automatů
InstituceQueen's University
TezeObchody střídání a rozbalování ve výpočtech stromových automatů (1989)
Doktorský poradce

Kai T. Salomaa je Finský Kanaďan teoretický počítačový vědec, známý svými četnými příspěvky do složitost stavu z konečné automaty.[1][2][3][4][5]Jeho vysoce citovaný společný dokument z roku 1994 s Yu a Zhuang[6]položil základy této oblasti. Publikoval více než 100 článků ve vědeckých časopisech o různých předmětech v České republice teorie formálního jazyka. Salomaa je řádným profesorem na Queen's University (Kingston, Ontario ).

Životopis

Salomaa absolvoval vysokoškolské studium na Univerzita v Turku, kde získal titul Ph.D. stupně v roce 1989; na jeho disertační práci dohlížel společně Kniha Ronald V. a Magnus Steinby. V 90. letech pracovala Salomaa v University of Western Ontario. Od roku 1999 je profesorem na Queen's University. Jeho otec, Arto Salomaa, je také význačný počítačový vědec s mnoha příspěvky do oborů teorie automatů a formální jazyky.

Reference

  1. ^ Salomaa, Kai; Yu, Sheng (1997). Msgstr "Transformace NFA na DFA pro konečné jazyky". 1260: 149–158. doi:10.1007/3-540-63174-7_12. ISSN  0302-9743. Citovat deník vyžaduje | deník = (Pomoc)
  2. ^ Salomaa, Arto; Salomaa, Kai; Yu, Sheng (2007). "Složitost stavu kombinovaných operací". Teoretická informatika. 383 (2–3): 140–152. doi:10.1016 / j.tcs.2007.04.015. ISSN  0304-3975.
  3. ^ Domaratzki, Michael; Salomaa, Kai (2008). "Dolní hranice pro složitost přechodu NFA". Journal of Computer and System Sciences. 74 (7): 1116–1130. doi:10.1016 / j.jcss.2008.02.007. ISSN  0022-0000.
  4. ^ Salomaa, Kai (2009). "Stavová složitost vnořených slovních automatů". 5457: 59–70. doi:10.1007/978-3-642-00982-2_5. ISSN  0302-9743. Citovat deník vyžaduje | deník = (Pomoc)
  5. ^ Okhotin, Alexander; Salomaa, Kai (2014). "Složitost vstupních automatů". Novinky ACM SIGACT. 45 (2): 47–67. doi:10.1145/2636805.2636821. ISSN  0163-5700.
  6. ^ Yu, Sheng; Zhuang, Qingyu; Salomaa, Kai (1994). "Stavová složitost některých základních operací s běžnými jazyky". Teoretická informatika. 125 (2): 315–328. doi:10.1016 / 0304-3975 (92) 00011-F. ISSN  0304-3975.

externí odkazy