text: hər hansı nəzəri müddəaları, alqoritmləri, proqramları və prosedurları eksperimental (etalon və ya empirik) məlumatlarla, alqoritmlərlə və proqramlarla müqayisə etməklə yoxlama, təsdiq, sübut etmək üsulu;