Борис Трахтенброт ( 20 февраля 1921, Бричево, Сорокский уезд, Бессарабия — 19 сентября 2016, Реховот, Израиль) - советский и израильский математик в области математической логики, теории алгоритмов и кибернетики. Доктор физико-математических наук (1962), профессор (1963).<br/> Один из начинателей теоретической информатики в СССР, видный теоретик в области дискретной математики и формальных языков, а также математической логики, электронных вычислительных машин, в особенности теории автоматов.<br/> Публиковаться начал в 1950 году (представлена и доказана теорема неразрешимости Трахтенброта) и тогда же защитил кандидатскую диссертацию в Институте математики Украинской Академии Наук (Киев) по теме «Разрешимость проблем для конечных классов и определения конечных классов» под научным руководством профессора (впоследствии академика) П. С. Новикова. Первая же монография математика («Алгоритмы и машинное решение задач», в 2-х изданиях — 1957 и 1960) была переведена на болгарский, английский, французский (оба издания), чешский, японский (оба издания), испанский (оба издания), итальянский, турецкий, немецкий и польский языки. Монографии «Введение в теорию конечных автоматов» (1962), «Конечные автоматы: поведение и синтез» (1970) и «Алгоритмы и вычислительные автоматы» (1974) также были переведены на несколько иностранных языков.<br/> В 2008 году в серии «Столпы компьютерных наук» (Pillars of Computer Science) издательства Springer Verlag вышел сборник научных статей в честь 85-летия Б. А. Трахтенброта. <br/><details><summary></summary><br/><b>Монографии:</b><br/> Алгоритмы и машинное решение задач. В серии «Популярные лекции по математике». Гостехиздат: Москва, 1957 (издание на японском языке — Токио, 1959 и 1964).<br/> Wieso können Automaten Rechnen (на немецком языке). Deutsche Verlag der Wissenschaften: Берлин, 1959.<br/> Алгоритмы и машинное решение задач. Второе (расширенное) издание. Физматгиз: Москва, 1960.<br/> Algoritmy i automatyczne rozwiazyvanie zadan (на польском языке). Pasttwowe Wydawnictwo Naukowe: Варшава, 1961.<br/> Algorithmes et machines à calculer (на французском языке). Dunod: Париж, 1963.<br/> Algoritmy a strojove reseni ulokh (на чешском языке). Nakladatelstvi Ceskoslovenske akademie ved: Прага, 1963.<br/> Алгоритми и машинно решаване на задачи (на болгарском языке). Държавно издателство Техника: София, 1963.<br/> Algorithms and Automatic Computing Machines (на английском языке). В серии «Topics in Mathematics». D.C. Heath and Company: Бостон, 1963.<br/> Algoritmi e Macchine Calcolatrici Automatiche (на итальянском языке). Progresso Tecnico Editoriale: Милан, 1964.<br/> Algoritmalar ve Otomatik Hesap Makinalari (на турецком языке). Turk Matematik Dernegi Yaynlari: Стамбул, 1964.<br/> Introduccion a la Teoria Matematica de las Computadoras y de la Programacion (на испанском языке). Siglo Veintiuno Editores SA: Мехико, 1967.<br/> Algorithme et Resolution de Problemes par des Machines (на французском языке). Вторая часть книги Nouvelles Orientations des Mathematiques (И. Яглом, Б. Трахтенброт, Г. Венцель, А. Солодовников). Editions Mir: Москва, 1975.<br/> Los Algoritmos y la Resolución Automática de Problemas (на испанском языке). Editorial Mir: Москва, 1977.<br/> アルゴリズムの数学 (単行本（ソフトカバー）) (на японском языке, см. здесь (недоступная ссылка с 13-05-2013 [2646 дней])). 東京図書: Токио, 1994.<br/> Введение в теорию конечных автоматов (совместно с Н. Е. Кобринским). Физматгиз (Государственное издательство физико-математической литературы): Москва, 1962.<br/> Introduction to the Theory of Finite Automata (на английском языке). В серии «Studies in Logic and the Foundations of Mathematics». North-Holland Publishing Company: Амстердам, 1965.<br/> Uvod do Teorie Konecnych Automatu (на чешском языке). Nakladatelstvi Technicke Literatury: Прага, 1967.<br/> Einfuhrung in die Theory Endlicher Automaten (на немецком языке). Akademie-Verlag: Берлин, 1967.<br/> Сложность алгоритмов и вычислений (лекции). Новосибирский Государственный университет: Новосибирск, 1967.<br/> Конечные автоматы (поведение и синтез, совместно с Я. М. Барздинем). Наука: Москва, 1970.<br/> Finite Automata (Behavior and Synthesis, на английском языке). В серии «Fundamental Studies in Computer Science». North-Holland Publishing Company: Амстердам—Лондон, 1973 и American Elsevier Publishing Company: Нью-Йорк, 1973.<br/> Алгоритмы и вычислительные автоматы. Советское радио: Москва, 1974.<br/> Algorithmen und Rechenautomaten (на немецком языке). Deutsche Verlag der Wissenschaften: Берлин, 1977.<br/> Što su algoritmi: algoritmi i računski automati (на хорватском языке). Školska Knjiga: Загреб, 1978.<br/> Algoritmusok és absztrakt automaták (на венгерском языке). Műszaki Könyvkiadó: Будапешт и Мир: Москва, 1978.<br/> Selected Developments in Soviet Mathematical Cybernetics. Delphic Associated: Вашингтон, 1985.<br/> Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (см. электронное издание здесь). Lecture Notes in Computer Science (Введение: From Logic to Theoretical Computer Science, стр. 1—39). Springer: Нью-Йорк, 2008.<br/></details>