formalization формалізація 2 UDC 510+004.4 1 UDC 519.85 1 algebraic matching 1 algorithm 1 behavior algebra 1 constructive-synthesizing modeling 1 constructor 1 formal grammar 1 incompleteness 1 legal text mining 1 software 1 symbolic modeling 1 УДК 510+004.4 1 УДК 519.85 1 алгебра поведінки 1 алгебраїчне зіставлення 1 алгоритм 1 конструктивно-продукційне моделювання 1 конструктор 1 неповнота 1 програмне забезпечення 1 символьне моделювання 1 формальна граматика 1 інтелектуальний аналіз юридичного тексту 1