АВТОМАТИЗИРОВАННАЯ СИСТЕМА РАЗРАБОТКИ, ПРИНЯТИЯ И ПРИМЕНЕНИЯ НОРМАТИВНЫХ ПРАВОВЫХ АКТОВ С ИСПОЛЬЗОВАНИЕМ ИХ ЗАПИСИ НА ФОРМАЛЬНОМ ЯЗЫКЕ

Интегрированная автоматизированная система разработки, принятия и применения нормативных правовых актов, включающая в себя базы данных и автоматизированные рабочие места разработчиков нормативных правовых актов, лиц, рассматривающих и принимающих нормативные правовые акты, и пользователей нормативных правовых актов, отличающаяся тем, что содержит функциональные блоки, использующие формальный язык записи нормативных правовых актов, который исключает неоднозначность текстов последних, выполненные с функциями создания, редактирования, приема-передачи, хранения и использования текстов нормативных правовых актов на формальном языке, автоматической проверки синтаксиса текста вводимых нормативных правовых актов на формальном языке и недопущения дальнейшей работы с текстом, содержащим синтаксические ошибки, автоматического выявления противоречий записи вводимых в автоматизированную систему правовых норм на формальном языке с записями других правовых норм данного и иных нормативных правовых актов на формальном языке и недопущения дальнейшей работы с текстом, содержащим противоречия, автоматической трансляции текста нормативного правового акта на формальном языке в текст на естественном языке, пригодный для дальнейшего редактирования, подготовки посредством обработки текстов нормативных правовых актов на формальном языке автоматических выводов о конкретной юридической ситуации, введенной пользователем, о правомерности или неправомерности юридической ситуации, об условиях, при которых данная ситуация является правомерной, если таковые имеются, о правовых последствиях наличия данной ситуации.