(ЗЛИТУ) СТРУКТУРУ ОЗНАК, ЯКЩО ОПЕРАЦІЯ УСПІШНА І ПОМИЛКУ, ЯКЩО ВХІДНІ
СТРУКТУРИ ОЗНАК НЕСУМІСНІ;ВХІДНІ СТРУКТУРИ ОЗНАК МОЖНА ПРЕДСТАВИТИ У ВИГЛЯДІ НАПРАВЛЕНОГО АЦИКЛІЧНОГО ГРАФА
ОУ – РЕКУРСИВНИЙ АЛГОРИТМ ПЕРЕВІРКИ (УЗГОДЖЕННЯ) ВІДПОВІДНОСТІ ДВОХ ГРАФІВ
НОВА СТРУКТУРА ОЗНАК НЕ БУДУЄТЬСЯ А ЗАЗНАЮТЬ ЗМІН АРГУМЕНТИ (ВХІДНІ СТРКТУРИ)
ВИКОНАННЯ ОПЕРАЦІЇ -УНІФІКАЦІЯ
Комп'ютерна лінгвістика (2010) Романюк А.Б.