カイ・サロマ

カイ・サロマ
カイ・サロマ
生まれる	1960年2月9日（64歳）; トゥルク、フィンランド
母校	トゥルク大学
知られている	形式言語理論; 状態の複雑さ;
	科学者としてのキャリア
フィールド	オートマトン理論
機関	クイーンズ大学
論文	ツリーオートマトン計算における交替とプッシュダウンストア (1989)
博士課程の指導教員	マグナス・スタインビー; ロナルド・V・ブック;

カイ・タパニ・サロマ（1960年2月9日生まれ）は、フィンランド系カナダ人の理論計算機科学者であり、有限オートマトンの状態複雑性に関する数々の貢献で知られています。^[1]^[2]^[3]^[4]^[5] 1994年にYuおよびZhuangと共同で発表した論文^{[6]は、この分野の基礎を築き、高い引用数を記録しました。サロマは、}形式言語理論のさまざまな主題について、科学雑誌に100を超える論文を発表しています。サロマは、クイーンズ大学（オンタリオ州キングストン）の教授です。

バイオグラフィー

サロマはトゥルク大学で学士課程を修了し、1989年に博士号を取得しました。博士論文はロナルド・V・ブックとマグナス・スタインビーの共同指導を受けました。1990年代にはウエスタンオンタリオ大学で勤務し、1999年以来クイーンズ大学で教授を務めています。父親のアルト・サロマも著名なコンピュータ科学者で、オートマトン理論や形式言語の分野で数多くの貢献をしています。

^ Salomaa, Kai; Yu, Sheng (1997). 「有限言語の NFA から DFA への変換」.オートマトン実装. コンピュータサイエンスの講義ノート. 第 1260 巻. pp. 149–158. doi :10.1007/3-540-63174-7_12. ISBN 978-3-540-63174-3. ISSN 0302-9743.
^ Salomaa, Arto; Salomaa, Kai; Yu, Sheng (2007). 「複合演算の状態複雑性」.理論計算機科学. 383 (2–3): 140–152. doi : 10.1016/j.tcs.2007.04.015 . ISSN 0304-3975.
^ Domaratzki, Michael; Salomaa, Kai (2008). 「NFA の遷移複雑度の下限」. Journal of Computer and System Sciences . 74 (7): 1116–1130. doi :10.1016/j.jcss.2008.02.007. ISSN 0022-0000.
^ Salomaa, Kai (2009). 「ネストされたワードオートマトンの状態複雑度」。言語とオートマトン理論と応用。コンピュータサイエンスの講義ノート。第5457巻。pp. 59–70。doi : 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。
^ Yu, Sheng; Zhuang, Qingyu; Salomaa, Kai (1994). 「正規言語におけるいくつかの基本演算の状態複雑性」.理論計算機科学. 125 (2): 315–328. doi :10.1016/0304-3975(92)00011-F. ISSN 0304-3975.