John Backus – Wikipedia tiếng Việt

John Warner Backus ( 3 tháng 12 năm 1924 – 17 tháng 3 năm 2007 ) là một nhà khoa học máy tính người Mỹ. Ông đã chỉ huy nhóm ý tưởng và tiến hành FORTRAN, ngôn từ lập trình cấp cao tiên phong được sử dụng thoáng đãng và là người ý tưởng ra Dạng Backus – Naur ( BNF ), một một thủ tục ký hiệu được sử dụng thoáng đãng để miêu tả văn phạm của những ngôn từ lập trình, tập lệnh và những giao thức tiếp thị quảng cáo. Ông cũng là nhà điều tra và nghiên cứu số 1 về lập trình công dụng .

Những năm đầu đời[sửa|sửa mã nguồn]

John Backus chào đời ngày 3 tháng 12 năm 1924 tại Philadelphia và lớn lên ở gần Wilmington, Delaware [ 1 ]. Backus học tại The Hill School ở Pottstown, Pennsylvania. Cậu tỏ ra là người có năng khiếu sở trường và ham học hỏi, yêu thích hàn cơ khí và hóa học. Tuy vậy Backus không phải là một học viên siêng năng, có thành tích học tập không đáng tự hào lắm và phải tham gia những khóa học hè để theo kịp những bạn [ 2 ] .Con đường học vấn của ông cũng không khả quan hơn khi ông vào Đại học Virginia. Tại đây ông phải vật lộn với những khóa học của mình và bị đuổi sau một năm vì kém chịu khó. [ 3 ]

Sau đó, ông nhập ngũ vào Quân đội Hoa Kỳ trong Chiến tranh Thế giới thứ hai, và cuối cùng được giữ cấp bậc hạ sĩ, được chỉ huy một khẩu đội phòng không đóng tại Fort Stewart, Georgia. Sau khi nhận được điểm cao trong những cuộc kiểm tra năng khiếu, ông được gửi đi đào tạo tại một khóa học kỹ sư chuyên gia đặc biệt ở Đại học Pittsburgh, Pennsylvania. Sau đó, anh chuyển sang chương trình đào tạo chuẩn bị y học tại Đại học Haverford. Trong thời gian thực tập tại bệnh viện, anh được chẩn đoán mắc khối u xương sọ, khối u được loại bỏ thành công và thay vào đó là một chiếc đĩa. Sau đó, anh chuyển đến trường Y khoa Flower and Fifth Avenue để học y, nhưng không thấy hứng thú và bỏ dở giữa chừng. Ông tiếp tục phải trải qua cuộc phẫu thuật thứ hai để thay thế tấm kim loại trong đầu bằng một thiết kế của riêng mình, và nhận được giấy giải ngũ danh dự từ Quân đội Hoa Kỳ vào năm 1946.

Ngôn ngữ Fortran[sửa|sửa mã nguồn]

Sau khi rời quân ngũ, Backus liên tục theo học tại Đại học Columbia ở Thành Phố New York, theo đuổi niềm đam mê toán học và nhận bằng thạc sỹ vào năm 1950. Cũng vào năm 1950, ông gia nhập IBM. Trong ba năm tiên phong, ông thao tác trên một loại máy tính có tên gọi là SSEC, dự án Bất Động Sản lớn tiên phong của ông là viết một chương trình để thống kê giám sát những vị trí của Mặt trăng. [ 2 ]

Đến năm 1952, IBM giới thiệu sản phẩm máy tính thương mại đầu tiên, model 701. Mẫu máy này có nhiều hạn chế và do đó, nó thôi thúc Backus phát minh ra một hệ thống lập trình tự động được gọi là Speedcoding cho model 701, giúp thực hiện được nhiệm vụ dễ dàng hơn nhiều. Tuy nhiên, Speedcoding lại tạo ra những chương trình chậm không kinh tế. Chính vì vậy, mùa thu 1953, Backus đã đề nghị với người quản lý phát triển một hệ thống có tên Fomula Translator-sau này gọi là Fortran- cho máy tính model 704.[4]

Sau đó không lâu chương trình này nhanh chóng được công bố. Đặc điểm độc đáo nhất của Fortran là khả năng tạo ra những chương trình tốt bằng 90% những chương trình được viết bởi một nhà lập trình. Backus đã hăng hái tích cực và chỉ định lập một nhóm gồm mười lập trình viên trong khoảng thời gian sáu tháng. Mục tiêu thiết kế một hệ thống chuyển đổi để tạo ra những chương trình hiệu quả thực sự đã trở thành một thách thức lớn. Lúc mà hệ thống được công bố vào tháng 4 năm 1957, sáu tháng đã trở thành ba năm.[2]

Backus Giao hàng và là thành viên trong những Ủy ban quốc tế ALGOL. Một ủy ban có ảnh hưởng tác động và nhanh gọn trở thành tiêu chuẩn trong thực tiễn trên toàn quốc tế về công bố những thuật toán. Backus đã tăng trưởng Dạng Backus – Naur ( BNF ), được xuất bản trong báo cáo giải trình của UNESCO về ALGOL 58. Đây là một siêu ngữ hoàn toàn có thể diễn đạt bất kể ngôn từ lập trình phi ngữ cảnh nào và rất quan trọng trong việc tăng trưởng những trình biên dịch. Ngông ngữ Algol đã có những ảnh hưởng tác động lớn trong phong cách thiết kế ngôn từ lập trình, và BNF đã trở thành một trong những nguyên tắc cơ bản của khoa học máy tính. Sự góp phần này đã giúp Backus giành được giải Turing năm 1977 .

Lập trình tính năng[sửa|sửa mã nguồn]

Sau đó, Backus đã thao tác, trong nhiều năm trời, với một nhóm kỹ sử tại IBM trong một nghành nghề dịch vụ được gọi là lập trình tính năng. Theo ông, ý tưởng sáng tạo chính là tăng trưởng một mạng lưới hệ thống lập trình tập trung chuyên sâu nhiều hơn vào việc diễn đạt yếu tố mà một người muốn máy tính xử lý và ít đưa ra hướng dẫn từng bước cho máy tính [ 5 ] .Những ngôn từ lập trình mà ông thao tác để phục cho việc điều tra và nghiên cứu này là FP và sau người tiếp sau của nó, FL. FP ít được tiến hành trong trong thực tiễn, và hầu hết được sử dụng cho mục tiêu giáo dục. Trong khi FL là một dự án Bất Động Sản nội bộ của IBM và mã nguồn không được công khai minh bạch .

Trao Giải và vinh danh[sửa|sửa mã nguồn]

  • Giải thưởng W. W. McDowell (1967)
  • Giải thưởng Turing (1977)
  • Thành viên của American Academy of Arts and Sciences (1985)
  • Tiến sĩ danh dự của Université Henri-Poincaré (1989)
ĐÁNH GIÁ post
Bài viết liên quan

Tư vấn miễn phí (24/7) 094 179 2255