Juhani Karhumäki

Juhani Karhumäki
Born (1949-08-20) August 20, 1949 (age 75)
Jyväskylän maalaiskunta, Finland
Alma materUniversity of Turku
Known forcombinatorics on words, equivalence problem for multitape finite automata
Scientific career
FieldsTheoretical computer science
Automata theory
Combinatorics on words
InstitutionsUniversity of Turku
Doctoral advisorArto Salomaa

Eero Urho Juhani Karhumäki[1] (born 1949) is a Finnish mathematician and theoretical computer scientist known for his contributions to automata theory. He is a professor at the University of Turku in southwestern Finland.

Biography

Karhumäki earned his doctorate from the University of Turku in 1976. In 1980–1985, he was a junior researcher of Academy of Finland. Since 1986, he has held teaching positions at the University of Turku, attaining full professorship in 1998. In 1998–2015, Karhumäki was the head of the mathematics department at the University of Turku. He has authored altogether around 200 research papers.

Karhumäki is a member of the Finnish Academy of Science and Letters since 2000 and of Academia Europaea since 2006. A festschrift in his honour was published in 2009 as a special issue of Theoretical Computer Science.[2]

Research contributions

Karhumäki has been a member of the Lothaire group of mathematicians that developed the foundations of combinatorics of words. In 1991, jointly with Tero Harju, he solved the long-standing equivalence problem for multitape finite automata in automata theory.[3] Karhumäki contributed to different areas of formal language theory, such as word equations,[4] language equations[5] and descriptional complexity of finite automata.[6]

References

  1. ^ "Luonnontieteiden ja tekniikan tiedekunnan yksiköt".
  2. ^ "Preface". Theoretical Computer Science. 410 (30–32): 2785–2794. 2009. doi:10.1016/j.tcs.2009.04.014. ISSN 0304-3975.
  3. ^ Harju, T.; Karhumäki, J. (1991). "The equivalence problem of multitape finite automata". Theoretical Computer Science. 78 (2): 347–355. doi:10.1016/0304-3975(91)90356-7. ISSN 0304-3975.
  4. ^ Karhumäki, Juhani; Mignosi, Filippo; Plandowski, Wojciech (2000). "The expressibility of languages and relations by word equations". Journal of the ACM. 47 (3): 483–505. doi:10.1145/337244.337255. ISSN 0004-5411. S2CID 16088773.
  5. ^ Karhumäki, Juhani; Petre, Ion (2002). "Conway's problem for three-word sets". Theoretical Computer Science. 289 (1): 705–725. doi:10.1016/S0304-3975(01)00389-9. ISSN 0304-3975.
  6. ^ Hromkovič, Juraj; Seibert, Sebastian; Karhumäki, Juhani; Klauck, Hartmut; Schnitger, Georg (2002). "Communication Complexity Method for Measuring Nondeterminism in Finite Automata". Information and Computation. 172 (2): 202–217. doi:10.1006/inco.2001.3069. ISSN 0890-5401.

Read other articles:

Hidalgo (stato)

Questa voce o sezione sull'argomento Messico non cita le fonti necessarie o quelle presenti sono insufficienti. Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Hidalgostato federato(ES) Estado Libre y Soberano de Hidalgo Hidalgo – VedutaSito archeologico di Pahñú LocalizzazioneStato Messico AmministrazioneCapoluogoPachuca GovernatoreJulio Menchaca Salazar (MORENA) dal 5 settembre 2022 Data di istitu...

 

List of spreadsheet software

A spreadsheet calculation The following is a list of spreadsheets. Free and open-source software Cloud and on-line spreadsheets Collabora Online Calc — Enterprise-ready LibreOffice.[1] EtherCalc[2] (successor to SocialCalc, which is based on wikiCalc) LibreOffice Online Calc ONLYOFFICE - Community Server Edition Sheetster – Community Edition is available under the AGPL Simple Spreadsheet Tiki Wiki CMS Groupware includes a spreadsheet since 2004 and migrated to jQuery...

 

Trans Mebidang

Artikel ini bukan mengenai Trans Metro Deli. Trans MebidangTrans MebidangInfoPemilikDinas Perhubungan Provinsi Sumatra UtaraWilayahKota Medan, Kota Binjai, dan Kabupaten Deli SerdangJenisbus raya terpaduJumlah jalur2OperasiDimulaiAkhir tahun 2015OperatorDAMRI Halte bus Trans Mebidang di depan Medan Mall, Pusat Pasar, Medan Kota, Medan. Trans Mebidang adalah sebuah bus raya terpadu di Sumatera Utara yang beroperasi di dareah Mebidang (Kota Medan, Kota Binjai, dan Kabupaten Deli Serdang). Diope...

Antti Raanta

Finnish ice hockey player (born 1989) Ice hockey player Antti Raanta Raanta with the Carolina Hurricanes in 2023Born (1989-05-12) 12 May 1989 (age 34)Rauma, FinlandHeight 6 ft 0 in (183 cm)Weight 193 lb (88 kg; 13 st 11 lb)Position GoaltenderCatches LeftNHL team (P)Cur. teamFormer teams Carolina HurricanesChicago Wolves (AHL)LukkoÄssätChicago BlackhawksNew York RangersArizona CoyotesNational team  FinlandNHL Draft UndraftedPlaying caree...

 

Passive dual coil resonator

This article may be too technical for most readers to understand. Please help improve it to make it understandable to non-experts, without removing the technical details. (June 2022) (Learn how and when to remove this template message)Photograph of an assembled pDCR in front of an MPI bore. A passive dual coil resonator (pDCR) is a purely passive receive coil insert for a preclinical magnetic particle imaging (MPI) system which provides frequency-selective signal enhancement. The pDCR aims to...

 

1874

Calendar year Millennium: 2nd millennium Centuries: 18th century 19th century 20th century Decades: 1850s 1860s 1870s 1880s 1890s Years: 1871 1872 1873 1874 1875 1876 1877 1874 by topic Humanities Archaeology Architecture Art Literature Poetry Music By country Australia Belgium Brazil Canada China Denmark France Germany New Zealand Norway Portugal Russia South Africa Sweden United Kingdom United States Other topics Rail transport Science Sports Lists of leaders Sovereign ...

كاثرين آنا كانغ

كاثرين آنا كانغ معلومات شخصية الميلاد 15 ديسمبر 1970 (54 سنة)  الإقامة هيث  مواطنة الولايات المتحدة  الزوج جون كارماك  عدد الأولاد 2   الحياة العملية المهنة منتجة أفلام،  ومصمم ألعاب فيديو  موظفة في إد سوفتوير  تعديل مصدري - تعديل   كاثرين آنا كانغ (بالإنجلي...

 

Radiodiffusion-Télévision Française

Logo kedua Radiodiffusion-Télévision Française, yang dipakai antara 1959 dan 1964 Radiodiffusion-Télévision Française (RTF – Penyiaran Radio dan Televisi Prancis) adalah organisasi penyiaran publik nasional Prancis yang didirikan pada 9 Februari 1949 untuk menggantikan Radiodiffusion Française (RDF) pada masa pasca-perang, yang didirikan pada 23 Maret 1945 untuk menggantikan Radiodiffusion Nationale (RN), yang dibuat pada 29 Juli 1939. Organisasi tersebut digantikan pada 26 Juni 1964...

 

Atalanta Bergamasca Calcio 1949-1950

Voce principale: Atalanta Bergamasca Calcio. Atalanta Bergamasca CalcioStagione 1949-1950 Sport calcio Squadra Atalanta Allenatore Giovanni Varglien All. in seconda Francesco Simonetti Presidente Daniele Turani Serie A8º Maggiori presenzeCampionato: Hansen (37) Miglior marcatoreCampionato: Hansen (18) StadioComunale 1948-1949 1950-1951 Si invita a seguire il modello di voce Questa pagina raccoglie i dati riguardanti l'Atalanta Bergamasca Calcio nelle competizioni ufficiali della stagio...

2016年美國總統選舉

2016年美國總統選舉 ← 2012 2016年11月8日 2020 → 538個選舉人團席位獲勝需270票民意調查投票率55.7%[1][2] ▲ 0.8 %   获提名人 唐納·川普 希拉莉·克林頓 政党 共和黨 民主党 家鄉州 紐約州 紐約州 竞选搭档 迈克·彭斯 蒂姆·凱恩 选举人票 304[3][4][註 1] 227[5] 胜出州/省 30 + 緬-2 20 + DC 民選得票 62,984,828[6] 65,853,514[6]...

 

哈萨克斯坦总统

此条目序言章节没有充分总结全文内容要点。 (2019年3月21日)请考虑扩充序言，清晰概述条目所有重點。请在条目的讨论页讨论此问题。 哈萨克斯坦總統哈薩克總統旗現任Қасым-Жомарт Кемелұлы Тоқаев卡瑟姆若马尔特·托卡耶夫自2019年3月20日在任任期7年首任努尔苏丹·纳扎尔巴耶夫设立1990年4月24日（哈薩克蘇維埃社會主義共和國總統） 哈萨克斯坦 哈萨克斯坦政府...

 

آن ذات الألف يوم (فيلم)

آن ذات الألف يومAnne of the Thousand Days (بالإنجليزية) معلومات عامةالصنف الفني دراما، ملحميالموضوع عقوبة الإعدام تاريخ الصدور 1969مدة العرض 145 دقيقةاللغة الأصلية الإنجليزيةالبلد المملكة المتحدةالجوائز  جائزة الأوسكار لأفضل تصميم أزياء (1968)منحت لـ Margaret Furse (en) الطاقمالمخرج Charles Jarrott...

Sidney Webb, 1st Baron Passfield

Sidney Webb redirects here. For the English cricketer, see Sidney Webb (cricketer). For the English footballer, see Sid Webb. English socialist economist (1859–1947) The Right HonourableThe Lord PassfieldOM PCWebb in 1893President of the Board of TradeIn office22 January 1924 – 3 November 1924MonarchGeorge VPrime MinisterRamsay MacDonaldPreceded bySir Philip Lloyd-GraemeSucceeded bySir Philip Lloyd-GraemeSecretary of State for Dominion AffairsIn office7 June 1929 – 5 J...

 

Tomat landak

Tomat landak Klasifikasi ilmiah Kerajaan: Plantae (tanpa takson): Tracheophyta (tanpa takson): Angiospermae (tanpa takson): Eudikotil (tanpa takson): Asterid Ordo: Solanales Famili: Solanaceae Genus: Solanum Spesies: S. pyracanthos Nama binomial Solanum pyracanthosLam.[1] Sinonim Lihat teks Tomat landak adalah tanaman sejenis tomat yang memiliki banyak duri.[2] Nama landak diambil karena tanaman ini memiliki duri yang cukup panjang dan tajam seperti duri pada hewan landa...

 

EA Sports College Football

Video game seriesEA Sports College FootballGenre(s)Sports (American football)Developer(s)EA SportsPublisher(s)Electronic ArtsPlatform(s)Super Nintendo Entertainment System, Sega Genesis, Sega CDPlayStation, WindowsPlayStation 2, Xbox, GameCubeXbox 360, PlayStation Portable, PlayStation 3, Wii, iOSPlayStation 5, Xbox Series X/SFirst releaseBill Walsh College FootballJune 1993Latest releaseEA Sports College Football 25July 19, 2024 EA Sports College Football (formerly known as Bill Walsh Colleg...

Sarkozysme

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. Le ton de cet article est trop promotionnel ou publicitaire (janvier 2021). Vous êtes invité à améliorer l'article de manière à adopter un ton neutre (aide quant au style) ou discutez-en. Vous pouvez également préciser les sections non neutres en utilisant {{section promotionnelle}} et de souligner les passages problématiques avec {{passage promotionnel}}. Le terme sarkozysme désigne la politique menée...

 

The Boat Races 2017

2017 boat races between Oxford and Cambridge universities The Boat Races 2017Oxford leading Cambridge as they come round the last bend to approach the finishDate2 April 2017 (2017-04-02)Men's raceWinnerOxfordMargin of victory1+1⁄4 lengthsWinning time16 minutes 59 secondsOverall record (Cambridge–Oxford)82–80UmpireMatthew PinsentWomen's raceWinnerCambridgeMargin of victory11 lengthsWinning time18 minutes 34 secondsOverall record (Cambridge–Oxford)42–30Umpir...

 

Monarquía Hispánica

Para el conjunto de territorios gobernados por las dinastías hispánicas entre los siglos xvi y xx, véase Imperio español. Monarquía HispánicaMonarquía Católica Monarquía compuesta 1479-1716 Enseña naval y militar Mapa de los territorios regidos por Felipe II en 1598     Territorios adscritos al Consejo de Castilla     Territorios adscritos al Consejo de Aragón      Territorios adscritos al Consejo de Portug...

Oscar Pettiford

American jazz musician and composer (1922–1960) Oscar PettifordPettiford at the Aquarium, New York City, in 1946Background informationBorn(1922-09-30)September 30, 1922Okmulgee, Oklahoma, U.S.DiedSeptember 8, 1960(1960-09-08) (aged 37)Copenhagen, DenmarkGenresJazz, bebop, third streamOccupation(s)Musician, composerInstrument(s)Double bass, celloYears active1942–1960LabelsDebut, Bethlehem, ABCMusical artist Oscar Pettiford (September 30, 1922 – September 8, 1960)[1] was an A...

 

Soedjono C. Atmonegoro

Soedjono C. AtmonegoroBerkas:Soedjono chanafiah.gifSoedjono C. Atmonegoro Jaksa Agung Republik Indonesia Ke-14Masa jabatan20 Maret 1998 – 15 Juni 1998PresidenB.J. HabibiePendahuluSinggihPenggantiAndi Muhammad Ghalib Informasi pribadiLahir(1940-01-31)31 Januari 1940 Madura, Jawa TimurMeninggal6 September 2019(2019-09-06) (umur 79) JakartaKebangsaan IndonesiaPekerjaanJaksaSunting kotak info • L • B Soedjono Chanafiah Atmonegoro, S.H. (31 Januari 1940 ̵...