Ээро Урхо Юхани Кархумяки [1] (родился в 1949 г.) - финский математик и теоретик-компьютерщик, известный своим вкладом в теорию автоматов . Он профессор Университета Турку .
Юхани Кархумяки | |
---|---|
Родившийся | |
Альма-матер | Университет Турку |
Известен | комбинаторика слов , проблема эквивалентности многоленточных конечных автоматов |
Научная карьера | |
Поля | Теоретическая информатика Теория автоматов Комбинаторика слов |
Учреждения | Университет Турку |
Докторант | Арто Саломаа |
биография
Кархумяки получил докторскую степень в Университете Турку в 1976 году. В 1980–1985 годах он был младшим научным сотрудником Академии Финляндии . С 1986 года он работал преподавателем в Университете Турку , а в 1998 году получил звание профессора. В 1998–2015 годах Кархумяки возглавлял кафедру математики Университета Турку . Он является автором около 200 научных работ.
Кархумяки является членом Финской академии наук и литературы с 2000 года и Academia Europaea с 2006 года. В 2009 году в его честь был опубликован специальный выпуск журнала « Теоретическая информатика» . [2]
Вклад в исследования
Кархумяки был членом группы математиков Лотэра, которые разработали основы комбинаторики слов. В 1991 году совместно с Теро Харью он решил давнюю проблему эквивалентности многоленточных конечных автоматов в теории автоматов. [3] Кархумяки внес вклад в различные области теории формального языка , такие как уравнения слов , [4] уравнения языка [5] и описательная сложность конечных автоматов. [6]
Рекомендации
- ^ "Luonnontieteiden ja tekniikan tiedekunnan yksiköt" .
- ^ «Предисловие» . Теоретическая информатика . 410 (30–32): 2785–2794. 2009. DOI : 10.1016 / j.tcs.2009.04.014 . ISSN 0304-3975 .
- ^ Харью, Т .; Кархумяки Дж. (1991). «Проблема эквивалентности многоленточных конечных автоматов» . Теоретическая информатика . 78 (2): 347–355. DOI : 10.1016 / 0304-3975 (91) 90356-7 . ISSN 0304-3975 .
- ^ Кархумяки, Юхани; Миньози, Филиппо; Plandowski, Войцех (2000). «Выразимость языков и отношений словесными уравнениями». Журнал ACM . 47 (3): 483–505. DOI : 10.1145 / 337244.337255 . ISSN 0004-5411 . S2CID 16088773 .
- ^ Кархумяки, Юхани; Петре, Ион (2002). «Проблема Конвея для наборов из трех слов» . Теоретическая информатика . 289 (1): 705–725. DOI : 10.1016 / S0304-3975 (01) 00389-9 . ISSN 0304-3975 .
- ^ Громкович, Юрай; Зайберт, Себастьян; Кархумяки, Юхани; Клаук, Хартмут; Шнитгер, Георг (2002). "Метод коммуникационной сложности для измерения недетерминизма в конечных автоматах" . Информация и вычисления . 172 (2): 202–217. DOI : 10.1006 / inco.2001.3069 . ISSN 0890-5401 .
Внешние ссылки
- Юхани Кархумяки из Библиографического сервера DBLP
- Юхани Кархумяки на проекте « Математическая генеалогия»