Janusz A.Brzozowski

Janusz (John) Brzozowski Tämän kuvan kuvaus, myös kommentoitu alla Janusz Brzozowski vuonna 2018. Avaintiedot
Syntymä 10. toukokuuta 1935
Varsova (Puola)
Kuolema 24. lokakuuta 2019
Waterloo, Kanada
Alueet Teoreettinen tietojenkäsittelytiede
Tutkintotodistus Princetonin yliopisto
Valvoja Edward J.McCluskey
Tohtorikoulutettavat Imre Simon , Denis Therien, Rina Cohen
Tunnettu Minimointi, johtaminen, äärellisten automaattien hierarkiat

Janusz Antoni Brzozowski , syntynyt10. toukokuuta 1935vuonna Varsovassa vuonna Puolassa ja kuoli24. lokakuuta 2019in Waterloo , Kanada , oli puolalainen kanadalainen tietokone tiedemies.

Brzozowski tunnettiin parhaiten perustavanlaatuisesta panoksestaan matemaattiseen logiikkaan , piiriteoriaan ja automaatiteoriaan .

Elämäkerta

Vuonna 1962 Brzozowski sai sähkötekniikan tohtorin tutkinnon Princetonin yliopistosta Edward J.McCluskeyn valvonnassa, väitöskirja nimeltä Regular Expression Techniques for Sequential Circuits . Vuosina 1967-1996 hän oli professori Waterloon yliopistossa . Vuodesta 1966 lähtien hän on ollut arvostettu emeritusprofessori Waterloon yliopistossa.

Tieteelliset panokset

Brzozowski on erityisen tunnettu perustyönsä säännöllisistä lausekkeista ja muodollisten kielten syntaktisista monoideista . Merkittävä tulos oli algebrallinen luonnehdinta paikallisesti testattavissa kielten Imre Simon , joka antoi samanlaisen sysäyksen kehittämiseen algebrallinen teoria virallista kieltä kuin kuuluisa luonnehdinta starless kielten by Marcel-Paul Schützenberger .

Tällä alalla on nykyään ainakin kolme konseptia, joilla on Brzozowskin nimi hänen panoksensa kunniaksi: Ensimmäinen on "Brzozowskin olettamus", jonka Luca ja Varicchio nimesivät niin, että mitattujen luokkien säännöllisyys. Toinen on " Brzozowski algoritmi  ", joka esiintyy monissa oppikirjoissa, käsitteellisesti yksinkertainen algoritmi suorittamiseksi minimointi on deterministinen äärellinen automaatti . Lopuksi, Eilenberg omistaa automaatiteoriaa käsittelevän viitetyönsä B-osassa luvun tähtittömien kielten "Brzozowski-hierarkiaksi" , jota kutsutaan nyt myös pisteiden syvyyden hierarkiaksi . Brzozowski on kirjoittanut artikkelin, joka määrittelee ketjutushierarkian  (in) ja herätti kysymyksen siitä, onko tämä hierarkia tiukka; hän on myös kirjoittaja noin kymmenen vuotta myöhemmin ilmestyneessä artikkelissa, joka vastaa kysymykseen. Brzozowski hierarkian merkitys on kasvanut vuodesta Wolfgang Thomas löysi suhde algebrallinen käsite ketjutus hierarkia ja syvyys vuorottelu quantifiers vuonna ensimmäisen kertaluvun logiikan kautta Ehrenfeucht-Fraisse pelit .

Kunnianosoitukset ja palkinnot

Suuritehoiset tieteelliset artikkelit

Kirjat

Huomautuksia ja viitteitä

(fr) Tämä artikkeli on osittain tai kokonaan otettu englanninkielisestä Wikipedia- artikkelista ”  Janusz Brzozowski (tietojenkäsittelytieteen tutkija)  ” ( katso luettelo kirjoittajista ) .
  1. Jean-Éric Pin, "Syntactic semigroups" , julkaisussa G. Rozenberg ja A. Salomaa (toimittajat), Handbook of Formal Language Theory , voi.  Minä, Springer Verlag,1977( lue verkossa ) , s.  679-746 (luku 10).
  2. Volker Diekert, Paul Gastin ja Manfred Kufleitner, ” Tutkimus ensirivisen logiikan  pienistä fragmenteista äärellisillä sanoilla  ”, Int. J. Löydetty. Laske. Sci. , voi.  19, n °  3,2008, s.  513-548.
  3. Aldo de Luca ja Stefano Varricchio, ”Säännöllisyys ja hienousolosuhteet” , julkaisussa G. Rozenberg ja A. Salomaa (toim.), Formaalisen kieliteorian käsikirja , voi.  Minä, Springer Verlag,1977, s.  747–810 (luku 11).
  4. Jeff Shallit, toinen virallisten kielten ja automateorian kurssi , Cambridge University Press ,2009, 240  Sivumäärä ( ISBN  978-0-521-86572-2 ).
  5. Samuel Eilenberg, automaatit, kielet ja koneet , voi.  B, akateeminen lehdistö ,1974( ISBN  0-12-234001-9 ).
  6. Cohen ja Brzozowski 1971 .
  7. Brzozowski ja Knast 1978 .
  8. Wolfgang Thomas, ”  Säännöllisten tapahtumien luokittelu symbolisessa logiikassa  ”, J. Comput. Syst. Sci. , voi.  25, n °  3,1982, s.  360-376.
  9. Tietojenkäsittelyn edelläkävijät Kanadassa "Arkistoitu kopio" (versio 13. heinäkuuta 2011 Internet-arkistossa )

Aiheeseen liittyvät artikkelit

Ulkoiset linkit