Кай Саломаа - Kai Salomaa

Кай Саломаа
Кай Саломаа.jpg
Родившийся
 Финляндия
Альма-матерУниверситет Турку
Известенформальная теория языка, сложность состояния
Научная карьера
ПоляТеория автоматов
УчрежденияКоролевский университет
ТезисЗапасы чередования и раскрытия в вычислениях древовидных автоматов (1989)
Докторант

Кай Т. Саломаа это Финский канадский теоретик-информатик, известный своим многочисленным вкладом в сложность состояния из конечные автоматы.[1][2][3][4][5]Его широко цитируемый совместный документ 1994 г. Ю и Чжуан[6]заложил основы области. Он опубликовал более 100 статей в научных журналах по различным темам в формальная теория языка. Саломаа - профессор Королевский университет (Кингстон, Онтарио ).

биография

Саломаа учился на бакалавриате в Университет Турку, где он защитил докторскую диссертацию. диплом 1989 г .; его диссертацией руководили совместно Рональд В. Книга и Магнус Стейнби. В 1990-х Саломаа работала в Университет Западного Онтарио. С 1999 г. занимает должность профессора в Королевский университет. Его отец, Арто Саломаа, также является выдающимся ученым-компьютерщиком, внесшим большой вклад в области теория автоматов и формальные языки.

Рекомендации

  1. ^ Саломаа, Кай; Ю, Шэн (1997). «Преобразование NFA в DFA для конечных языков». 1260: 149–158. Дои:10.1007/3-540-63174-7_12. ISSN  0302-9743. Цитировать журнал требует | журнал = (помощь)
  2. ^ Саломаа, Арто; Саломаа, Кай; Ю, Шэн (2007). «Государственная сложность совмещенных операций». Теоретическая информатика. 383 (2–3): 140–152. Дои:10.1016 / j.tcs.2007.04.015. ISSN  0304-3975.
  3. ^ Домарацки, Майкл; Саломаа, Кай (2008). «Нижние оценки переходной сложности НКА». Журнал компьютерных и системных наук. 74 (7): 1116–1130. Дои:10.1016 / j.jcss.2008.02.007. ISSN  0022-0000.
  4. ^ Саломаа, Кай (2009). "Сложность состояний вложенных словарных автоматов". 5457: 59–70. Дои:10.1007/978-3-642-00982-2_5. ISSN  0302-9743. Цитировать журнал требует | журнал = (помощь)
  5. ^ Охотин Александр; Саломаа, Кай (2014). «Сложность опускаемых автоматов с вводом». Новости ACM SIGACT. 45 (2): 47–67. Дои:10.1145/2636805.2636821. ISSN  0163-5700.
  6. ^ Ю, Шэн; Чжуан, Цинъюй; Саломаа, Кай (1994). «Состояние сложности некоторых основных операций на регулярных языках». Теоретическая информатика. 125 (2): 315–328. Дои:10.1016 / 0304-3975 (92) 00011-Ф. ISSN  0304-3975.

внешняя ссылка