Cтраница 3
Дано общее определение системы, показано место SADT в спектре методов описания систем и введены основные понятия, на которых базируется SAPT. В главе обсуждаются синтаксические правила и правила применения методов, необходимые для создания одной SADT-диаграммы. Приведены правила соединения нескольких SADT-диаграмм в одну модель, даже если эта модель быстро развивается. Показано, как процесс SADT-моделирования - важнейшая часть методологии SADT - обеспечивает достоверность моделей. Рассмотрены SADT-диаграммы и характеристики системы, которые они отражают. Теория и практика SADT поясняются на примере задачи экспериментального механического цеха. Фрагменты модели экспериментального механического цеха иллюстрируют основные понятия SADT и типичное использование этой методологии. Хотя и определяются основные понятия SADT, сами по себе они недостаточны для построения точной, понятной и полезной SADT-модели. [31]
Многие программы накладывают ограничения на порядок слов, пунктуацию и требуют обязательного выбора одного значения параметра из множества возможных. Здесь описываются также синтаксические правила или даются ссылки на соответствующий документ в разд. [32]
Взаимное расположение каждого из указанных выше формуляров в тексте программы, моделирующей работу объекта проектирования, и грамматические конструкции, определяющие характер вьшолнения этой программы, образуют синтаксис ЯОЗ. В этом случае синтаксические правила ЯОЗ сводятся к одному: формуляры ЯОО должны располагаться сверху вниз в порядке, определяемом юрядком прохождения сигнала через ОЭП. [33]
Прежде всего выяснилось, что грамматические и синтаксические правила, которыми мы пользуемся, изучая язык, слишком громоздки и сложны. Они составлены лингвистами давно и в значительной мере умозрительно. Машины отказались пользоваться такой неточной грамматикой. [34]
Совокупность правил синтаксиса составляет грамматику языка. В отличие от естественных языков в языках программирования синтаксические правила не допускают различного толкования конструкций - определение должно быть однозначным, строго формализованным. Любая неоднозначность приводит к ошибкам в программе. [35]
Например, если желаемая буква или знак отсутствуют в индицируемой группе символов, то вдыхание воздуха, если курсор находится над первым символом, приведет к появлению нового сочетания букв. Для сокращения числа действий, требуемых для выбора буквы, системой учитываются синтаксические правила очередности расположения букв. [36]
Пульт управления ПМК этого семейства содержит клавиатуру для ввода директив и операторов программ. Словарный запас входного языка, включая операторы переходов и обращения к памяти только с прямой адресацией, небольшой, синтаксические правила простые - ввод операторов после операндов. Операторы разбиваются на несколько групп в соответствии с их назначением. [37]
Каждому основному символу из Т множество R ставит в соответствие конечное число категорий. Таким образом, элементы словарей Т, Н, I представляют соответственно словоформы, элементарные категории, отмеченные категории, а цепочки R - синтаксические правила грамматики К. [38]
Для этого нужно анализировать пропозициональные символы в форме предикатов и аргументов, кванторов и квантифицированных переменных. Логика предикатов предоставляет нам набор синтаксических правил, позволяющих выполнить такой анализ, набор семантических правил, с помощью которых интерпретируются эти выражения, и теорию доказательств, которая позволяет вывести правильные формулы, используя синтаксические правила дедукции. [39]
При вводе информации с терминала после ее обработки процедурами трафаретного диалога запускается система определяемого синтаксиса, которая является принадлежностью штатной операционной системы многопроцессорного вычислительного комплекса Эльбрус. Эта система позволяет в удобной форме проверить и выполнить синтаксический разбор строки терминала, выделенной трафаретным диалогом. Синтаксические правила, определенные в рамках ИК, позволяют разобрать необходимые приказы и запустить соответствующие процедуры или преобразовать строку в сообщение унифицированного формата и направить его в ту или иную подсистему ИК. [40]
Модула-2 обращается к объектам не только с помощью идентификаторов, таких как i, но-и с помощью чисел, таких как 1 и 10, а также с помощью числовых констант. Синтаксические правила для чисел и числовых констант показаны на синтаксических диаграммах на рис. А. [41]
Итак, на данном этапе выполняется перифразирование с помощью лексических и синтаксических правил. Лексические правила фиксируют чисто семантическую эквивалентность между формулировками смысла в терминах различных ЛФ. Синтаксические правила перифразирования - это правила синтаксической перестройки одной ГСС в другую, небходимость в которых возникает в связи с выполнением лексических правил [ Апресян, 1974, гл. [42]
Однако злоупотреблять расширением мнемонического кода операции не следует, поскольку с увеличением числа символов увеличивается вероятность ошибок при написании и оформлении программы. Конкретное мнемоническое изображение каждой команды специализированной ЭВМ выбирается при подготовке технологических средств ( см. гл. При этом должны соблюдаться синтаксические правила, единые для автокодов специализированных ЭВМ определенного класса. [43]
Одной из основных проблем искусственного разума является проблема механического перевода с одного естественного языка на другой. Многие рьяные защитники машинного перевода теперь понимают, что высококачественный перевод может осуществляться лишь машиной, оснащенной достаточно детализованными синтаксическими правилами, большим словарем и обладающей достаточной скоростью для определения по контексту содержания двусмысленных слов путем просмотра различных возможных вариантов. Нет сомнения, что, когда эти синтаксические правила будут открыты, вычислительная машина сможет делать достаточно хорошие переводы, и все же должно быть ясно, что такая машина никогда не осуществит действительно правильного и высококачественного перевода, не требующего предварительного и последующего редактирования со стороны опытного переводчика. [44]
БЕЙСИК-алгоритмический язык высокого уровня, мощный гибкий, удобный для программирования. Язык имеет операторную структуру. Как любой язык, БЕЙСИК имеет свои синтаксические правила построения конструкций языка. Для описания синтаксиса удобно пользоваться стандартными лингвистическими обозначениями. Они не всегда позволяют точно и однозначно описать конструкцию языка и при первом прочтении кажутся лишними, ненужными, загромождающими текст и память читающего. Однако компактность записи конструкции, обеспечиваемая этими обозначениями, очень удобна, особенно при повторных прочтениях. [45]