stringtranslate.com

Kai Salomaa

Kai Tapani Salomaa (nacido el 9 de febrero de 1960) es un 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 muy citado artículo conjunto de 1994 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 teoría del lenguaje formal . Salomaa es profesora titular en la Queen's University ( Kingston, Ontario ).

Biografía

Salomaa realizó sus estudios universitarios 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 el puesto de profesor en la Queen's University . Su padre, Arto Salomaa , es también un distinguido informático con numerosas contribuciones a los campos de la teoría de autómatas y los lenguajes formales .

Referencias

  1. ^ Salomaa, Kai; Yu, Sheng (1997). "Transformación de NFA a DFA para lenguajes finitos". Implementación de autómatas . Apuntes de conferencias sobre informática. vol. 1260, págs. 149-158. doi :10.1007/3-540-63174-7_12. ISBN 978-3-540-63174-3. ISSN  0302-9743.
  2. ^ Salomaa, Arto; Salomaa, Kai; Yu, Sheng (2007). "Estado de 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.
  3. ^ Domaratzki, Michael; Salomaa, Kai (2008). "Límites inferiores de la complejidad de la transición de las NFA". Revista de Ciencias de la Computación y de Sistemas . 74 (7): 1116-1130. doi :10.1016/j.jcss.2008.02.007. ISSN  0022-0000.
  4. ^ Salomaa, Kai (2009). "Estado de complejidad de los autómatas de palabras anidadas". Teoría y aplicaciones del lenguaje y los autómatas . Apuntes de conferencias sobre informática. vol. 5457, págs. 59–70. doi :10.1007/978-3-642-00982-2_5. ISBN 978-3-642-00981-5. ISSN  0302-9743.
  5. ^ Ojotin, Alejandro; Salomaa, Kai (2014). "Complejidad de los autómatas pushdown controlados por entradas". Noticias ACM SIGACT . 45 (2): 47–67. doi :10.1145/2636805.2636821. ISSN  0163-5700. S2CID  16837177.
  6. ^ 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