CC BY
3
Важность построения формального языка, характеризующего нормативные документы
А. Ж. Абдукаримова Казахский национальный университет имени аль-Фараби Алматы, Казахстан abdukarimova_anel@mail.ru
Аннотация. Формальный язык рассматривается как множество со всеми строками, которые находятся под конечным числом алфавитов. Теория формального языка утверждает, что изучение всех семейств осуществляется формальными методами. Этот формальный метод в основном используется для разработки и верификации программных и аппаратных систем.
Ключевые слова: формальный язык, документы, нормативные документы, право.
Введение
Построение формального языка, характеризующего нормативные документы, является важным инструментом для обеспечения точности и ясности в описании правил и требований, содержащихся в нормативных документах. Нормативные документы используются в различных сферах деятельности, от юриспруденции до технической документации, и часто имеют юридическое значение. Поэтому необходимо, чтобы они были написаны четким и понятным языком, чтобы пользователи могли легко разобраться в содержащихся в них требованиях.
Однако нормативные документы часто сложны и запутанны, что затрудняет их понимание и приводит к ошибкам в толковании и применении. Построение формального языка позволяет разработать единый язык, который будет использоваться для описания документов, и установить четкие синтаксические правила его использования. Это облегчит пользователю понимание требований, содержащихся в нормативных документах, и снизит вероятность ошибок.
Кроме того, построение формального языка может помочь в разработке новых нормативных документов и внесении поправок в существующие. С помощью языка можно быстро определить, какие понятия уже используются в других нормативных документах, какие синтаксические правила применяются и как описываются различные требования. Это может значительно ускорить процесс разработки и изменения документов.
Понятие формального языка и его преимущества
Теория формального языка утверждает, что изучение всех семейств основано на формальных методах. Формальные методы используются в основном для разработки и верификации программных и аппаратных систем. Как правило, формальные языки имеют дело с набором строк и определяются двумя наборами правил. Первое правило касается синтаксиса, который указывает, как использовать символы, в то время как второе правило касается семантики, которая сообщает значение символов и допустимых выражений. Здесь рассматривается теория
графических языков, которая является уникальной и необычной категорией теории формального языка. Было введено множество моделей, которые, как оказалось, представляют графические языки [1].
В то время как арифметика изучает числа и отношения над ними, теория формального языка основана на изучении наборов строк. Знакомая специалистам по информатике строка — это просто конечная последовательность токенов из некоторого конечного алфавита Е. Пусть, например, Е = {а, Ь}. Тогда аЬ, ааЬЬ и ЬЬаЬа являются примерами строк над Е. Каждая строка имеет конечную длину, но на самом деле существуют счетно-бесконечные строки над Е. Мы обозначим это бесконечное множество всех строк над Е как Е* . Формальный язык — это обычно бесконечный набор строк, то есть подмножество Е* . Множество всех языков над Е неисчислимо бесконечно [2].
Формальный язык представляет собой строго определенную систему символов и правил, которые могут быть использованы для описания и анализа нормативных документов. В отличие от естественных языков, формальные языки обладают строгой семантикой и синтаксисом, что делает их более точными и однозначными. Преимущества использования формального языка включают улучшение понимания нормативных документов, возможность автоматической проверки их согласованности, а также обеспечение более точного и надежного применения.
Существуют различные методы и подходы к описанию нормативных документов, такие как контекстно-свободная грамматика, формальная онтология, машинное обучение, обработка естественного языка и т. д. Их преимущества и недостатки, а также возможности использования в конкретных ситуациях определены.
Один из возможных способов описания нормативных документов — использование формальной грамматики, такой как контекстно-свободная грамматика или регулярные выражения. Подобный подход позволяет формализовать структуру документа и автоматизировать процесс его анализа и обработки.
Также можно рассмотреть подходы, основанные на моделях онтологии и формального образования. Онтология — формально явная характеристика общего понятия.
Другой способ описания нормативных документов на формальном языке — это машинное обучение и использование методов обработки естественного языка. Например, можно рассмотреть алгоритмы автоматического извлечения информации из нормативных документов на основе методов машинного обучения, таких как классификация и
кластеризация текста. Такой подход помогает автоматизировать процесс анализа нормативных документов и извлекать из них информацию.
Сложности интерпретации нормативных документов Нормативные документы — это документы, написанные на естественном языке, которые описывают разрешения, обязательства и запреты двух или более сторон в отношении набора действий, включая описания штрафов, которые должны быть выплачены при нарушении основных норм [3]. Объем и плотный лингвистический стиль таких документов часто затрудняют их понимание неспециалистами, и многие люди соглашаются с этими юридически обязательными документами, даже не читая их.
Большинство нормативных документов используют специфические термины и определения, которые могут быть двусмысленными или иметь неоднозначное толкование. Это может приводить к различным интерпретациям, что затрудняет применение нормативных документов и может вызывать конфликты и споры. Формальный язык помогает преодолеть эти сложности, поскольку основан на точных определениях и ясных правилах, которые минимизируют вероятность неправильной интерпретации.
При разработке нормативных документов могут возникать проблемы с согласованностью и противоречиями между различными частями документа. Использование формального языка позволяет определить явные правила и ограничения, которые помогают автоматически проверять согласованность документов и выявлять потенциальные противоречия. Это повышает качество нормативных документов и уменьшает возможность ошибок в их применении.
Применение формального языка в практических сферах Формальный язык может быть использован для разработки юридических текстов и законов с целью улучшения их понятности и применимости. В научных исследованиях формальный язык может быть использован для определения точных определений и терминов, а также для обеспечения единообразия в использовании терминологии. В бизнесе формальный язык может помочь в разработке и анализе корпоративных политик и процедур, а также в автоматическом контроле их соблюдения.
Возможные применения формального языка в различных сферах деятельности показаны в таблице 1.
Таблица 1
Применение ф ормального языка в практических сферах
Сфера деятельности Применение формального языка
Право • разработка юридических текстов и законов с использованием точных определений и ясных правил; • обеспечение единообразия и ясности терминологии; • автоматическая проверка согласованности и противоречий в нормативных документах
Наука • определение точных определений и терминов для использования в научных исследованиях; • обеспечение единообразия в терминологии; • формализация научных теорий и моделей для улучшения их понимания и применимости;
Бизнес • разработка корпоративных политик и процедур с использованием формального языка; • автоматический контроль соблюдения политик и процедур; • улучшение понимания и интерпретации бизнес-правил и регламентов
Технологии • описание и моделирование систем и процессов с использованием формального языка; • разработка и анализ алгоритмов и протоколов; • обеспечение точности и надежности в разработке и внедрении технологических решений
Медицина • разработка медицинских протоколов и стандартов с использованием формального языка; • систематизация медицинской терминологии; • автоматический контроль соответствия процедур и протоколов медицинским стандартам и регуляциям.
Выводы
В статье была рассмотрена важность построения формального языка, специально разработанного для описания и характеристики нормативных документов. Формальный язык обеспечивает точность, ясность и однозначность в применении нормативных документов, что улучшает их понимание, интерпретацию и согласованность. Применение формального языка в различных сферах деятельности, таких как право, наука и бизнес, способствует повышению эффективности и надежности применения нормативных документов. В будущем разработка и использование формального языка в нормативных документах будет продолжать играть важную роль в обеспечении правовой и профессиональной ясности и согласованности.
Литература
1. Govindaraj, R. Computational Theory of Formal Languages on Picture Languages // Materials Today: Proceedings. 2022. Vol. 51, Part 1. Pp. 196-200.
DOI: 10.1016/j.matpr.2021.05.072.
2. Merrill, W. C. Formal Language Theory Meets Modern NLP // ArXiv. 2021. Vol. abs/2102.10094. 25 p.
3. Camilleri, J. J. Analysing Normative Contracts: On the Semantic Gap Between Natural and Formal Languages: Thesis for the Degree of Licentiate of Philosophy. — Gothenburg: Chalmers University of Technology: University of Gothenburg, 2015. — 127 p.
The Importance of Building a Formal Language That Characterizes Normative Documents
A. Zh. Abdukarimova Al-Farabi Kazakh National University Almaty, Kazakhstan abdukarimova_anel@mail.ru
Abstract. A formal language is considered as a set with all strings that are under a finite number of alphabets. The theory of formal language asserts that the study of all families is carried out by formal methods. This formal method is mainly used for the development and verification of software and hardware systems.
Keywords: formal language, documents, normative documents, law.
References
1. Govindaraj R. Computational Theory of Formal Languages on Picture Languages, Materials Today: Proceedings, 2022, Vol. 51, Part 1, Pp. 196-200. DOI: 10.1016/j.matpr.2021.05.072.
2. Merrill W. C. Formal Language Theory Meets Modern NLP, ArXiv, 2021, Vol. abs/2102.10094, 25 p.
3. Camilleri J. J. Analysing Normative Contracts: On the Semantic Gap Between Natural and Formal Languages: Thesis for the Degree of Licentiate of Philosophy. Gothenburg, Chalmers University of Technology, University of Gothenburg, 2015, 127 p.
HHmenneKmyanbHbie техноnогии Ha mpaHcnopme. 2023. № S1. Cne^bmycK. MMIS-2023
16
