pour justifier de la qualité des algorithmes, les notions de correction, de complétude et de terminaison ont été mises en place ;
puʁ ʒystifjˈe də- la- kalitˈe de- (en)ˈalɡəɹˌɪθmz(fr), le- nosjˈɔ̃ də- koʁɛksjˈɔ̃, də- kɔ̃pletˈyd e də- tɛʁminɛzˈɔ̃ ˈɔ̃t etˈe mˈizz ɑ̃ plˈas ;