Анотация: Математичні моделі дозволяють значно спростити алгоритми та програми, які реалізують пошук, оцінити якість пошуку та порівняти із заданими критеріями різних пошукових систем. Для опису моделей пошуку на основі семантичних мереж пропонується використовувати метод виробляючих функцій.