Стретегии Briggs и George

Переведи на инглиш, этот транслит невозможно понять

>доказательство корректности стратегий Бриггса

Это не алгоритм Чейтина-Бриггса случайно?

Да, он самый.

Где вы тут транслит увидели хоть? :)

Да когда эти дисциплины на русский переводили, транслитерацию сделали в большинстве случаев и всё. Я русскоязычную литературу например уже с трудом в этих областях понимаю - а здесь и авторы явно не особо славяне.