Юхани Кархумяки - Juhani Karhumäki

Юхани Кархумяки
Юхани Кархумяки.jpg
Родился (1949-08-20) 20 августа 1949 г. (71 год)
Альма-матерУниверситет Турку
Известенкомбинаторика слов, проблема эквивалентности многоленточных конечных автоматов
Научная карьера
ПоляТеоретическая информатика
Теория автоматов
Комбинаторика слов
УчрежденияУниверситет Турку
ДокторантАрто Саломаа

Ээро Урхо Юхани Кархумяки[1] (1949 г.р.) Финский математик и теоретик-информатик известен своим вкладом в теория автоматов Он профессор Университет Турку.

биография

Кархумяки получил докторскую степень в Университет Турку в 1976 г. В 1980–1985 гг. был младшим научным сотрудником Академия Финляндии С 1986 года работал преподавателем в Университет Турку, получив звание профессора в 1998 г. В 1998–2015 гг. Кархумяки возглавлял кафедру математики в Университет Турку Он является автором около 200 научных работ.

Кархумяки является членом Финская академия наук и литературы с 2000 года и Academia Europaea с 2006 г. В 2009 г. в его честь был опубликован специальный выпуск журнала. Теоретическая информатика.[2]

Вклад в исследования

Кархумяки был членом Lothaire группа математиков, разработавших основы комбинаторики слов. В 1991 г. совместно с Теро Харью, он решил давнюю проблему эквивалентности многолента конечные автоматы в теории автоматов.[3]Кархумяки внес свой вклад в различные области формальная теория языка, такие как словесные уравнения,[4]языковые уравнения[5]и описательная сложность конечных автоматов.[6]

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

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

внешние ссылки