John Cocke. John Cocke(1925-yil 30-mayda tugʻilgan, Sharlotta,Shimoliy Karolina, AQSH – 2002-yil 16-iyulda vafot etgan, Valxalla, Nyu-York), amerikalik matematik va kompyuter olimi, 1984-yilda A. M. Turing mukofoti, informatika sohasidagi eng yuqori mukofot, "kompilyatorlar dizayni va nazariyasi, katta tizimlar arxitekturasi va qisqartirilgan koʻrsatmalar toʻplamini (RISC) rivojlantirishga qoʻshgan muhim hissasi" uchun taqdirlangan. Hozirda kompilyatorlarni optimallashtirishda foydalaniladigan koʻplab fundamental oʻzgarishlarni aniqlash va tizimlashtirish uchun, shu jumladan operator kuchini kamaytirish, umumiy pastki ifodalarni yoʻq qilish, registrlarni ajratish, doimiy tarqalish va oʻlik kodni yoʻq qilish. Hayoti va ish faoliyati. John Cocke Duke universitetida mashinasozlik boʻyicha bakalavr (1946) va matematika boʻyicha doktorlik (1953) darajasini oldi. Uning butun professional faoliyati IBM kompaniyasida sanoat tadqiqotchisi (1956–92) boʻlgan. Cocke IBM aʼzosi (1974) deb topildi. Johning otasi Duke Energy kompaniyasining prezidenti boʻlgan va universitetning vasiylar kengashida ishlagan. 1956-yildan 1992-yilgacha Cocke oʻz faoliyatini IBM da sanoat mashinalari tadqiqotchisi sifatida boshlagan. Uning innovatsiyalari eng yaxshi eʼtirof etilgan loyiha IBM 801 mini-kompyuteri boʻlib, uning amalga oshirilishi arxitektura koʻrsatmalari toʻplamiga, aslida kompilyatorlar tomonidan ishlab chiqarilgan nisbatan oddiy koʻrsatmalarga zid boʻlib, arzon narxlarda ishlashni oshirish imkonini beradi. Cocke CYK algoritmining asoschilaridan biri boʻlgan (Cocke-Younger-Kasami algoritmi). Shuningdek, u 1970-1980-yillarda IBMda nutqni aniqlash va mashina tarjimasi algoritmlarini dastlabki ishlab chiqishda ishtirok etdi va nutqni aniqlash uchun tilning trigramma modelidan foydalanish gʻoyasini taklif qildi. Gʻoya Frederik Jelinek tomonidan maʼqullandi.