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