Kai T. Salomaa es un científico informático teórico canadiense finlandés , conocido por sus numerosas contribuciones a la complejidad estatal de los autómatas finitos . [1] [2] [3] [4] [5] Su documento conjunto de 1994 muy citado con Yu y Zhuang [6] sentó las bases del área. Ha publicado más de 100 artículos en revistas científicas sobre diversos temas de la teoría del lenguaje formal . Salomaa es profesor titular en Queen's University ( Kingston, Ontario ).
Kai Salomaa | |
---|---|
![]() | |
Nació | |
alma mater | Universidad de Turku |
Conocido por | teoría del lenguaje formal , complejidad del estado |
Carrera científica | |
Campos | Teoría de los autómatas |
Instituciones | Universidad de la reina |
Tesis | Almacenes de alternancia y pushdown en cálculos de autómatas de árboles (1989) |
Asesor de doctorado |
|
Biografía
Salomaa realizó sus estudios de pregrado en la Universidad de Turku , donde obtuvo su doctorado. licenciatura en 1989; su disertación fue supervisada conjuntamente por Ronald V. Book y Magnus Steinby. En la década de 1990, Salomaa trabajó en la Universidad de Western Ontario . Desde 1999, ocupa un puesto de profesor en Queen's University . Su padre, Arto Salomaa , es también un distinguido científico de la computación con numerosas contribuciones en los campos de la teoría de autómatas y los lenguajes formales .
Referencias
- ^ Salomaa, Kai; Yu, Sheng (1997). "Transformación de NFA a DFA para lenguajes finitos". Implementación de Autómatas . Apuntes de conferencias en Ciencias de la Computación. 1260 . págs. 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). "Estado de la complejidad de las operaciones combinadas". Informática Teórica . 383 (2-3): 140-152. doi : 10.1016 / j.tcs.2007.04.015 . ISSN 0304-3975 .
- ^ Domaratzki, Michael; Salomaa, Kai (2008). "Límites inferiores para la complejidad de la transición de NFA". Revista de Ciencias de la Computación y Sistemas . 74 (7): 1116-1130. doi : 10.1016 / j.jcss.2008.02.007 . ISSN 0022-0000 .
- ^ Salomaa, Kai (2009). "Complejidad de estado de autómatas de palabras anidadas". Teoría y aplicaciones del lenguaje y los autómatas . Apuntes de conferencias en Ciencias de la Computación. 5457 . págs. 59–70. doi : 10.1007 / 978-3-642-00982-2_5 . ISBN 978-3-642-00981-5. ISSN 0302-9743 .
- ^ Okhotin, Alexander; Salomaa, Kai (2014). "Complejidad de los autómatas pushdown impulsados por insumos". Noticias ACM SIGACT . 45 (2): 47–67. doi : 10.1145 / 2636805.2636821 . ISSN 0163-5700 . S2CID 16837177 .
- ^ Yu, Sheng; Zhuang, Qingyu; Salomaa, Kai (1994). "Las complejidades estatales de algunas operaciones básicas en lenguajes regulares". Informática Teórica . 125 (2): 315–328. doi : 10.1016 / 0304-3975 (92) 00011-F . ISSN 0304-3975 .
enlaces externos
- Página web oficial
- Kai Salomaa en el servidor de bibliografía DBLP
- Kai Salomaa en el Proyecto de genealogía matemática