stringtranslate.com

Janusz Brzozowski (informático)

Janusz (John) Antoni Brzozowski (10 de mayo de 1935 - 24 de octubre de 2019) fue un informático polaco-canadiense y profesor emérito distinguido [1] en la Escuela de Ciencias de la Computación David R. Cheriton de la Universidad de Waterloo . [2]

En 1962, Brzozowski obtuvo su doctorado en el campo de la ingeniería eléctrica en la Universidad de Princeton bajo la tutela de Edward J. McCluskey . El tema de la tesis fue Técnicas de expresión regular para circuitos secuenciales . De 1967 a 1996 fue profesor en la Universidad de Waterloo . Es conocido por sus contribuciones a la lógica matemática , la teoría de circuitos y la teoría de autómatas .

Logros en investigación

Brzozowski trabajó en expresiones regulares y en semigrupos sintácticos de lenguajes formales . [3] El resultado fue Caracterizaciones de eventos localmente comprobables escritos junto con Imre Simon , que tuvieron un impacto similar [4] en el desarrollo de la teoría algebraica de lenguajes formales que la caracterización de Marcel-Paul Schützenberger de los lenguajes sin estrellas .

En el área, hoy al menos cuatro conceptos llevan el nombre de Brzozowski en honor a sus contribuciones: el primero es la conjetura de Brzozowski [5] sobre la regularidad de las clases no contables. Segundo, el algoritmo de Brzozowski [6] , un algoritmo conceptualmente simple para realizar la minimización de DFA . Tercero, la derivada de Brzozowski de un lenguaje formal o de una expresión regular generalizada . Cuarto, la obra de referencia de Eilenberg sobre la teoría de autómatas tiene un capítulo dedicado a la llamada jerarquía de Brzozowski [7] dentro de los lenguajes sin estrellas , también conocida como jerarquía de profundidad de puntos . En particular, Brzozowski no solo fue coautor del artículo que definió la jerarquía de profundidad de puntos y planteó la cuestión de si esta jerarquía es estricta, [8] más tarde también fue coautor del artículo que resolvió ese problema después de aproximadamente diez años. [9] La jerarquía de Brzozowski ganó mayor importancia después de que Wolfgang Thomas descubriera una relación entre el concepto algebraico de profundidad de punto y la profundidad de alternancia de cuantificadores en lógica de primer orden a través de los juegos de Ehrenfeucht-Fraïssé . [10]

Recibió los siguientes premios y honores académicos:

Documentos de investigación

Libros

Notas

  1. ^ "John Brzozowski". Facultad de Informática David R. Cheriton . Archivado desde el original el 22 de diciembre de 2018. Consultado el 21 de diciembre de 2018 .
  2. ^ "Obituario de Janusz BRZOZOWSKI (1935-2019) - Waterloo, ON - the Globe and Mail". Legacy.com .
  3. ^ Pin (1997)
  4. ^ Diekert y otros (2008)
  5. ^ de Luca y Varicchio (1997)
  6. ^ Shallit (2009), cap. 3.10
  7. ^ Eilenberg (1974)
  8. ^ Cohen y Brzozowski (1971)
  9. ^ Brzozowski y Knast (1979)
  10. ^ Tomás (1982)
  11. ^ "Perfil de John Brzozowski". Archivado desde el original el 24 de noviembre de 2012. Consultado el 14 de julio de 2009 .
  12. ^ Pioneros de la informática en Canadá, 2005, http://individual.utoronto.ca/klyons/files/pioneers.pdf Recuperado el 2 de enero de 2019.
  13. ^ "Brzozowski 80: El papel de la teoría en la informática". David R. Cheriton School of Computer Science . 24 de junio de 2015. Consultado el 21 de diciembre de 2018 .
  14. ^ Konstantinidis, Stavros; Moreira, Nelma; Reis, Rogerio; Shalit, Jeffrey (2017). "El papel de la teoría en la informática: ensayos dedicados a Janusz Brzozowski". Científico mundial . doi :10.1142/10239. ISBN 978-981-314-819-2. Recuperado el 29 de noviembre de 2021 .
  15. ^ "Premios a la trayectoria | 2016". Computer Science Canada/Information Canada (CS-CAN/INFO-CAN) . 2016. Consultado el 21 de diciembre de 2018 .
  16. ^ "22.ª Conferencia Internacional sobre Implementación y Aplicación de Autómatas | Premio Sheng Yu 2017". Conferencia sobre Implementación y Aplicación de Autómatas (CIAA 2017) . 2017. Consultado el 21 de diciembre de 2018 .
  17. ^ "23.ª Conferencia Internacional sobre Implementación y Aplicaciones de Autómatas | Premio Sheng Yu 2018". 23.ª Conferencia Internacional sobre Implementación y Aplicaciones de Autómatas (CIAA 2018) . 23 de agosto de 2018. Consultado el 21 de diciembre de 2018 .

Referencias

Enlaces externos