Вероятно, Саломаа
Вероятно, Саломаа | |
|---|---|
 | |
| Рожденный | 9 февраля 1960 г. |
| Альма-матер | Университет Турку |
| Известный | |
| Научная карьера | |
| Поля | Теория автоматов |
| Учреждения | Королевский университет |
| Диссертация | Хранилища чередования и смещения в вычислениях древовидных автоматов (1989) |
| Докторантура |
|
Кай Тапани Саломаа (родился 9 февраля 1960 года) — финско-канадский учёный-теоретик в области информатики , известный своим многочисленными вкладами в исследование сложности состояний конечных автоматов . [1] [2] [3] [4] [5] Его высоко цитируемая совместная статья с Ю и Чжуаном 1994 года. [6] заложил основы района.Он опубликовал более 100 статей в научных журналах по различным вопросам теории формального языка . Саломаа — профессор Королевского университета ( Кингстон, Онтарио ).
Биография
[ редактировать ]Саломаа учился на бакалавриате в Университете Турку , где получил степень доктора философии. степень в 1989 году; его диссертацию совместно курировали Рональд В. Бук и Магнус Стейнби. В 1990-е годы Саломаа работала в Университете Западного Онтарио . С 1999 года занимает должность профессора Королевского университета . Его отец, Арто Саломаа , также является выдающимся ученым-компьютерщиком, внесшим большой вклад в области теории автоматов и формальных языков .
Ссылки
[ редактировать ]- ^ Саломаа, Кай; Ю, Шэн (1997). «Преобразование NFA в DFA для конечных языков». Реализация автоматов . Конспекты лекций по информатике. Том. 1260. стр. 149–158. дои : 10.1007/3-540-63174-7_12 . ISBN 978-3-540-63174-3 . ISSN 0302-9743 .
- ^ Саломаа, Арто; Саломаа, Кай; Ю, Шэн (2007). «Государственная сложность совмещенных операций» . Теоретическая информатика . 383 (2–3): 140–152. дои : 10.1016/j.tcs.2007.04.015 . ISSN 0304-3975 .
- ^ Домарацкий, Майкл; Саломаа, Кай (2008). «Нижние границы сложности перехода NFA». Журнал компьютерных и системных наук . 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 . ISBN 978-3-642-00981-5 . ISSN 0302-9743 .
- ^ Охотин, Александр; Саломаа, Кай (2014). «Сложность автоматов с автоматическим вводом». Новости ACM SIGACT . 45 (2): 47–67. дои : 10.1145/2636805.2636821 . ISSN 0163-5700 . S2CID 16837177 .
- ^ Ю, Шэн; Чжуан, Цинъюй; Саломаа, Кай (1994). «Состояние сложностей некоторых основных операций на обычных языках». Теоретическая информатика . 125 (2): 315–328. дои : 10.1016/0304-3975(92)00011-F . ISSN 0304-3975 .
Внешние ссылки
[ редактировать ]- Официальный сайт
- Кай Саломаа на DBLP библиографическом сервере
- Кай Саломаа на проекте «Математическая генеалогия»
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Люди | |
| Другой | |