WikiDer > Януш Бжозовский (специалист по информатике)

Janusz Brzozowski (computer scientist)
Януш Бжозовски
Портрет профессора Януша Бжозовского, сделанный в Центре Дэвиса Университета Ватерлоо
Бжозовский в 2018 году
Родившийся(1935-05-10)10 мая 1935 г.
Варшава, Польша
Умер24 октября 2019 г.,(2019-10-24) (84 года)
Лизаард Хаус, Кембридж, Онтарио, Канада
Альма-матерУниверситет Принстона
ИзвестенПроизводная Бжозовского
Научная карьера
ПоляИнформатика
ТезисМетоды регулярных выражений для последовательных схем (1962)
ДокторантЭдвард Дж. Маккласки

Януш (Джон) Антони Бжозовски (10 мая 1935 - 24 октября 2019) был польско-канадским специалист в области информатики и заслуженный профессор[1] на Университет Ватерлоос Школа компьютерных наук Дэвида Р. Черитона.[2]

В 1962 году Бжозовский получил докторскую степень в области электротехника в Университет Принстона под Эдвард Дж. Маккласки. Тема диссертации была Методы регулярных выражений для последовательных схем. С 1967 по 1996 год он был профессором Университет Ватерлоо. Он известен своим вкладом в математическая логика, теория цепей, и теория автоматов.

Достижения в исследованиях

Бжозовский работал над обычные выражения и дальше синтаксические полугруппы из формальные языки.[3] Результат был Характеристики локально тестируемых событий написано вместе с Имре Симон, что оказало аналогичное влияние[4] по развитию алгебраической теории формальных языков как Марсель-Пауль Шютценбергерхарактеристика языки без звезд.

В этой области сегодня по крайней мере три концепции носят имя Бжозовского в честь его вклада: первая - это Гипотеза Бжозовского[5] о регулярности неучтенных занятий. Второй, Алгоритм Бжозовского[6] концептуально простой алгоритм выполнения Минимизация DFA. В третьих, Эйленбергв справочнике по теории автоматов есть глава, посвященная так называемым Иерархия Бжозовского[7] внутри языки без звезд, также известный как иерархия глубины точек. Любопытно, что Бжозовский был не только соавтором статьи, определявшей иерархия глубины точек и поднял вопрос, является ли эта иерархия строгой,[8] Позже он также был соавтором статьи, решающей эту проблему примерно через десять лет.[9] Иерархия Бжозовского приобрела еще большее значение после того, как Томас обнаружил связь между алгебраической концепцией глубины точки и глубиной чередования кванторов в логика первого порядка через Игры Эренфойхта – Фраиссе.[10]

Он получил следующие академические награды и награды:

  • Премия NSERC за научные обмены для Франции (1974–1975)
  • Стипендия Японского общества содействия научным исследованиям (1984)
  • Ассоциация компьютерных исследований Почетная грамота за выдающийся вклад и службу в качестве члена Совета директоров CRA (1992 г.)
  • Уважаемый профессор, Университет Ватерлоо, Канада (1996)[11]
  • Медаль за заслуги, Католический университет Люблина, Польша (2001)
  • IBM Канада канадский пионер в области вычислительной техники (2005 г.)[12]
  • Роль теории в информатике, однодневная конференция в честь 80-летия Джона Бжозовского (2015)[13]
  • Награда за выслугу, Computer Science Canada / Informatique Canada (CS-CAN / INFO-CAN) (2016)[14]
  • Премия CIAA 2017 Sheng Yu за лучшую работу Сложность правильных префиксно-выпуклых регулярных языков Я. Бжозовский и К. Синнамон[15]
  • Премия CIAA 2018 Sheng Yu за лучшую работу Состояние сложности сборки перекрытия Я. Бжозовский, Л. Каря, Б. Ли, М. Шикула[16]

Научно-исследовательские работы

  • Я. А. Бжозовский: Производные регулярных выражений, Журнал ACM 11 (4): 481–494 (1964)
  • J. A. Brzozowski, I. Simon: Характеризация локально тестируемых событий, FOCS 1971, стр. 166–176
  • Р. С. Коэн, Дж. А. Бжозовски: Глубина точек беззвездных событий. Журнал компьютерных и системных наук 5 (1): 1-16 (1971).
  • Дж. А. Бжозовский, Р. Кнаст: Точечная иерархия беззвездных языков бесконечна. Журнал компьютерных и системных наук 16 (1): 37–55 (1978).

Книги

  • J. A. Brzozowski, M. Yoeli: Цифровые сети. Прентис-Холл, 1976
  • J.A. Бжозовский, К.-Ж. Х. Сегер: Асинхронные схемы. Springer-Verlag, 1995 г.

Примечания

  1. ^ "Джон Бжозовский". Школа компьютерных наук Дэвида Р. Черитона. Получено 21 декабря, 2018.
  2. ^ https://www.legacy.com/obituaries/theglobeandmail/obituary.aspx?n=janusz-a-brzozowski&pid=194286993&fhid=30885
  3. ^ Булавка (1997)
  4. ^ Diekert et al. (2008)
  5. ^ де Лука и Вариккио (1997)
  6. ^ Шаллит (2009), гл. 3.10
  7. ^ Эйленберг (1974)
  8. ^ Коэн и Бжозовский (1971)
  9. ^ Бжозовский и Кнаст (1979)
  10. ^ Томас (1982)
  11. ^ Профиль Джона Бжозовского
  12. ^ Пионеры вычислительной техники в Канаде, 2005 г., http://individual.utoronto.ca/klyons/files/pioneers.pdf Проверено 2 января 2019 года.
  13. ^ "Бжозовский 80: роль теории в информатике". Школа компьютерных наук Дэвида Р. Черитона. 24 июня 2015 г.. Получено 21 декабря, 2018.
  14. ^ «Награды за заслуги в жизни | 2016». Computer Science Canada / Information Canada (CS-CAN / INFO-CAN). 2016. Получено 21 декабря, 2018.
  15. ^ «22-я Международная конференция« Внедрение и применение автоматов | Премия Шэн Ю, 2017 ». Конференция по внедрению и применению автоматов (CIAA 2017). 2017. Получено 21 декабря, 2018.
  16. ^ «23-я Международная конференция по внедрению и применению автоматов | Премия Шэн Ю, 2018». 23-я Международная конференция по внедрению и применению автоматов (CIAA 2018). 23 августа 2018 г.. Получено 21 декабря, 2018.

Рекомендации

  • С. Эйленберг, Автоматы, языки и машины, Том Б. ISBN 0-12-234001-9
  • В. Томас, Классификация регулярных событий в символической логике. J. Comput. Syst. Sci. 25 (3): 360-376 (1982).
  • Ж.-Э. Штырь, Синтаксические полугруппы, Глава 10 в "Справочнике по теории формального языка", Vol. 1, Г. Розенберг и А. Саломаа (ред.), Springer Verlag, (1997) Vol. 1. С. 679–746.
  • А. де Лука и С. Вариккио, Условия регулярности и конечности., Глава 11 в "Справочнике по теории формального языка", Vol. 1, Г. Розенберг и А. Саломаа (ред.), Springer Verlag, (1997) Vol. 1. С. 747–810.
  • В. Дикерт, П. Гастин, М. Куфлейтнер, Обзор малых фрагментов логики первого порядка над конечными словами. Int. J. Found. Comput. Sci. 19 (3): 513-548 (2008).
  • Дж. Шаллит, Второй курс формальных языков и теории автоматов, Издательство Кембриджского университета (2009)

внешняя ссылка