야누스 브레조스키(컴퓨터 과학자)

Janusz Brzozowski (computer scientist)
야누스 브르조프스키
Portrait of Professor Janusz Brzozowski taken in the Davis Centre at the University of Waterloo
2018년 브르조쇼스키
태어난(1935-05-10)1935년 5월 10일
폴란드 바르샤바
죽은2019년 10월 24일(2019-10-24) (84세)
캐나다 온타리오 주 캠브리지의 리사드 하우스
모교프린스턴 대학교
로 알려져 있다.브조조스키 파생상품
과학 경력
필드컴퓨터 공학
논문순차 회로에 대한 정규식 기법 (1962)
박사학위 자문위원에드워드 매클러스키

야누스 (John) 안토니 브르조조스키 (Antoni Brzozowski, 1935년 5월 10일 ~ 2019년 10월 24일)는 폴란드계 캐나다인 컴퓨터 과학자로 워털루 대학교 데이비드 R의 명예교수였다[1]. 체리톤 컴퓨터 과학 학교.[2]

1962년 브르조즈프스키(Brzozowski)는 에드워드 J. 맥클러스키(Edward J. McCluskey) 휘하의 프린스턴 대학교 전기공학 분야에서 박사학위를 받았다.논문의 주제는 순차 회로에 대한 정규 표현 기법이었다.1967년부터 1996년까지 그는 워털루 대학교 교수였다.그는 수학 논리학, 회로 이론, 오토마타 이론에 기여한 것으로 알려져 있다.

연구 성과

Brzozowski는 정규 표현과 공식 언어의 구문론적 의미 그룹들에 대해 연구했다.[3]결과는 임레 시몬과 함께 쓰여진 국지적으로 시험 가능한 사건의 특성화였으며, 이는 마르셀폴 슈트젠베르거의 항성 없는 언어 특성화와 격식어 대수 이론의 발달에 비슷한 영향을 미쳤다[4].

이 지역에서, 오늘날 적어도 세 가지 개념이 브르조즈프스키의 공헌을 기리기 위해 그의 이름을 걸고 있다.첫째는 비카운트 계급의 규칙성에 대한 브르조즈프스키의[5] 추측이다.둘째, Brzozowski의 알고리즘,[6] DFA 최소화를 수행하기 위한 개념적으로 간단한 알고리즘이다.셋째, 아일렌베르크의 오토마타 이론에 관한 참고 문헌에는 도트 깊이 계층 구조라고도 알려진 항성 없는 언어 내부의 이른바 브르조조즈프스키 계층[7] 구조에 관한 장(章)이 있다.신기하게도 브르조즈프스키는 도트 깊이 서열을 정의하고 이 서열이 엄격한가 하는 문제를 제기하는 논문의 공동저자였을 뿐만 아니라,[8] 이후 약 10년 만에 이 문제를 해결하는 논문의 공동저자가 되었다.[9]토마스가 에렌페우흐트-프라우제 게임을 통해 1차 논리학에서 도트 깊이의 대수적 개념과 정량자의 교대 깊이 사이의 관계를 발견한 후 브르조조프스키 서열체계는 더욱 중요해졌다.[10]

그는 다음과 같은 학술상과 영예를 받았다.

  • 프랑스에 대한 NSERC 과학 교류상 (1974–1975)
  • 일본 과학 연구 펠로우십 진흥회(1984)
  • CRA 이사회 멤버로서 탁월한 기여와 서비스에 대한 컴퓨터 연구 협회 감사 인증서 (1992)
  • 캐나다 워털루 대학교 명예교수(1996)[11]
  • 폴란드 루블린 가톨릭대학교 메달을 수여하는 훈장(2001)
  • IBM [12]캐나다 컴퓨팅 분야의 개척자(2005)
  • 컴퓨터 과학에서 이론의 역할, 존 브레조스키의 80번째 생일(2015년)[13]을 기리기 위한 1일 회의
  • 컴퓨터 과학에서 이론의 역할: 세계 과학 ([14]2017) 야누스 브르조스키에게 바친 에세이
  • Lifetime Achievement Award, Computer Science Canada/Informatique Canada (CS-CAN/INFO-CAN) (2016)[15]
  • CIAA 2017 Seng Yu상은 J. Brzozowski와 C의 적절한 접두사-Convex 정규 언어의 복잡성에 대한 최우수 논문상이다.신나몬[16]
  • CIAA 2018 성유상 오버랩 조립의 주 복잡성 최우수 논문상(J. Brzozowski, L. Kari, B. Li, M. Szykula[17])

연구논문

  • J. A. Brzozowski:정규식 파생상품, ACM 11(4) 저널: 481–494(1964)
  • J. A. Brzozowski, I. Simon: 로컬 테스트 가능 이벤트의 특성, FOCS 1971, 페이지 166–176
  • R. S. Cohen, J. A. Brzozowski: Dot-Deep of Star-Free Events.컴퓨터 및 시스템 과학 저널 5(1) : 1-16 (1971)
  • J. A. Brzozowski, R. Knast:항성 없는 언어의 도트 깊이 계층 구조는 무한하다.컴퓨터 및 시스템 과학 저널 16(1) : 37–55 (1978)

책들

  • J. A. Brzozowski, M. Yoeli: 디지털 네트워크.프렌티스-1976년 홀
  • J.A. Brzozowski, C.-J. H. Seger: 비동기 회로.Springer-Verlag, 1995

메모들

  1. ^ "John Brzozowski". David R. Cheriton School of Computer Science. Retrieved December 21, 2018.
  2. ^ "Janusz BRZOZOWSKI Obituary (1935 - 2019) - Waterloo, ON - the Globe and Mail".
  3. ^ 핀(1997)
  4. ^ 다이커트 외(2008)
  5. ^ 데 루카와 바리치오 (1997년)
  6. ^ Salit (2009), ch. 3.10
  7. ^ 에일렌베르크 (1974년)
  8. ^ 코헨과 브레조스키(1971)
  9. ^ 브조조스키와 크나스트(1979)
  10. ^ 토마스(1982년)
  11. ^ 존 브조조스키의 프로필
  12. ^ 2005년 캐나다 컴퓨팅의 개척자 http://individual.utoronto.ca/klyons/files/pioneers.pdf 2019년 1월 2일 회수
  13. ^ "Brzozowski 80: The Role of Theory in Computer Science". David R. Cheriton School of Computer Science. June 24, 2015. Retrieved December 21, 2018.
  14. ^ "The Role of Theory in Computer Science: Essays Dedicated to Janusz Brzozowski". World Scientific. 2017. Retrieved November 29, 2021.
  15. ^ "Lifetime Achievement Awards 2016". Computer Science Canada/Information Canada (CS-CAN/ INFO-CAN). 2016. Retrieved December 21, 2018.
  16. ^ "22nd International Conference Implementation and Application of Automata 2017 Sheng Yu Award". Conference on Implementation and Application of Automata (CIAA 2017). 2017. Retrieved December 21, 2018.
  17. ^ "23rd International Conference on Implementation and Applications of Automata 2018 Sheng Yu Award". 23rd International Conference on Implementation and Applications of Automata (CIAA 2018). August 23, 2018. Retrieved December 21, 2018.

참조

  • S. 에일렌베르크, 오토마타, 언어 및 기계, B권ISBN 0-12-234001-9
  • W. Thomas, 정규 사건을 상징 논리로 분류한다.J. 연산.시스템. 과학 25(3): 360-376(1982)
  • J.-E. 핀, 통사적 의미 그룹, "공식어 이론 핸드북" 10장, 제1권, G. 로젠버그, A.Salomaa (eds.), Springer Verlag, (1997) Vol.1, 페이지 679–746
  • A. de Luca와 S.바리치오, 규칙성, 순결성 조건, 11장 "공식언어 이론 핸드북", 1권, G. 로젠버그, A.Salomaa (eds.), Springer Verlag, (1997) Vol.1, 페이지 747–810
  • V. 다이커트, P. 개스틴, M. 쿠플리트너, 유한한 단어 위에 놓인 1차 논리학의 작은 조각에 관한 조사.인트 J. 찾았다.계산하다.Sci. 19(3): 513-548(2008)
  • J. Salit, Cambridge University Press(2009)의 정규 언어와 오토마타 이론의 두 번째 과정

외부 링크