Окончил Московский государственный университет им. М. В. Ломоносова, механико-математический факультет. С 1953 г. работаю в Институте прикладной математики им. М. В. Келдыша.
Основные публикации:
О логических схемах алгоритмов. Проблемы кибернетики, вып. 1, 1958.
О тождественных преобразованеиях регулярных выражений. ДАН СССР, 147, № 2, 1962.
О существовании k-значных замкнутых классов, не имеющих конечного базиса. ДАН СССР, 127, № 1, 1959 (соавтор Мучник А. А.).
О локальных преобразованиях схем алгоритмов. Проблемы кибернетики, вып. 20, 1968.
Несколько теорем о свертках. Препринт ИПМ, № 95, 1978.
Предельно полная система правил эквивалентных преобразований для программ, вычисляющих всюду определенные функции. Проблемы кибернетики, вып. 37, 1980.
Метод разрешения семантических свойств алгоритмов. Mathematical Problems in Computational Theorie. Banach Center Publikations, vol. 21. Warsaw, 1988.
Ю. И. Янов, “О нижних оценках времени вычислений”, Дискрет. матем., 2:1 (1990), 142–154; Yu. I. Yanov, “Lower bounds on computation time”, Discrete Math. Appl., 1:4 (1991), 391–403
1975
4.
Ю. И. Янов, “О некоторых семантических характеристиках машин Тьюринга”, Докл. АН СССР, 224:2 (1975), 301–304
1969
5.
Ю. И. Янов, “О направленных преобразованиях формул”, Матем. заметки, 6:6 (1969), 663–668; Yu. I. Yanov, “On directed transformations of formulas”, Math. Notes, 6:6 (1969), 862–865
1962
6.
Ю. И. Янов, “О тождественных преобразованиях регулярных выражений”, Докл. АН СССР, 147:2 (1962), 327–330
1957
7.
Ю. И. Янов, “О матричных схемах”, Докл. АН СССР, 113:2 (1957), 283–286
8.
Ю. И. Янов, “О равносильности и преобразованиях схем программ”, Докл. АН СССР, 113:1 (1957), 39–42
1969
9.
Ю. И. Янов, “P. Д. Нельсон. Введение в автоматы. Рецензия”, Ж. вычисл. матем. и матем. физ., 9:1 (1969), 254–255; Yu. I. Yanov, “Introduction to automata: R. J. Nelson. xii+400 pp. John Wiley and Sons, Inc. New York–London–Sydney, 1968”, U.S.S.R. Comput. Math. Math. Phys., 9:1 (1969), 352–354
Обратная связь: