Юлиус Рихард Бючи (1924–1984) был швейцарским логиком и математиком .
Юлиус Рихард Бючи | |
---|---|
Родившийся | 31 января 1924 г. |
Умер | 1984 |
Он получил докторскую степень. физ. в 1950 году в Высшей технической школе Цюриха под руководством Пола Бернейса и Фердинанда Гонсета . Вскоре после этого он поступил в Университет Пердью , Лафайет , Индиана . Он и его первый ученик Лоуренс Ландвебер оказали большое влияние на развитие теоретической информатики .
Вместе со своим другом Сондерсом Мак Лейном , учеником Поля Бернейса , Бючи опубликовал множество знаменитых работ. Он изобрел то, что сейчас известно как автомат Бюхи, автомат с конечным числом состояний, принимающий определенные наборы бесконечных слов, известных как омега-регулярные языки . Проблема « n квадратов», известная также как проблема Бюхи , является открытой проблемой теории чисел , тесно связанной с десятой проблемой Гильберта .
Избранные публикации
- Конечные автоматы, их алгебры и грамматики - к теории формальных выражений . Опубликовано посмертно, Спрингер, Нью-Йорк, 1989.
- Собрание сочинений Дж. Рихарда Бючи . Под редакцией Сондерса Мак Лейна и Дирка Зифкеса . Спрингер, Нью-Йорк, 1990.
Внешние ссылки
- Публикации Юлиуса Рихарда Бючи и о нем в каталоге Helveticat Швейцарской национальной библиотеки