Символдық верификация

3

Бұл әдіс өзінің табиғаты бойынша функционалданған, сондықтан мұнда функционалдық байланыстылық жарияланды. Сонымен қатар, объектілі - бағытталған тәсілдің принципті артықшылықтарының бірі объектілердің табиғи байланысы болып табылады. Ең көп байланысты объект болып табылады, онда бірыңғай мән беріледі және осы нысан бойынша барлық операциялар енгізілген. Мысалы, компилятор символдарының кестесін ұсынатын нысан, егер оған "таңбаны қосу", "кестедегі іздеу" және т. б. сияқты барлық функциялар енгізілген болса, барынша байланысты болып табылады. Демек, сегізінші байланыс түрін анықтауға болады: