Cтраница 3
Предположим, что язык X счетен. Мы можем задать подходящую геделевскую нумерацию символов и выражений языка X так, что все естественные синтаксические свойства и преобразования становятся на соответствующих геделевских номерах рекурсивными предикатами и функциями. [31]
Большую роль в определении семантики языка играет функциональность. Функциональность определяется рекурсивно на синтаксических определениях, входящих в выражения языка. [32]
Некоторые многозначные глаголы русского языка имеют в украинском языке разные соответствия. Внимательно ознакомьтесь с приведенными ниже конструкциями и постарайтесь запомнить выражения украинского языка. [33]
Эти программы предназначены для перевода с языков высокого уровня на машинный. Разница между ассемблером и компилятором заключается в том, что компилятор переводит одно выражение языка высокого уровня в ряд машинных команд. Фортран является примером языка компилятора. С помощью таких языков можно быстро записать решение задачи, используя выражения, весьма сходные с употребляемыми в алгебре и обычном английском языке. Компилятор проверяет правильность выражений программы и генерирует из них программу в машинных кодах. Важной чертой языков компиляторов является то, что они проблемно-ориентированные, а не машинно-ориентированные. Например, Фортран по своему характеру является алгебраическим языком. Поэтому пользование им позволяет программисту при разработке программы изъясняться на эффективном и знакомом языке и не вдаваться в изучение набора внутренних команд вычислительной машины. [34]
Все рассматриваемые языки запросов имеют не меньшую выразительную силу, чем реляционная алгебра. Однако в ряде случаев эта выразительность может быть достигнута только благодаря использованию последовательностей операторов присваивания, а не отдельно взятых выражений языка. Иногда, для того чтобы выполнить некоторые алгебраические операции, приходится пользоваться командами манипулирования данными. [35]
Общей темой упомянутых здесь предметов является неформальное введение необходимой нотации в контекст способом, знакомым по обучению математике. В [2] язык APL широко используется как средство реализации системы для анализа схем, а в [3] графический ввод и выражения языка APL совместно применяются для описания проектов в экспертной системе. [36]
Писать картину без этюдов с натуры, без работы над моделями и натурщиком, писать ее из головы de chic ( no техническому выражению языка живописцев), считается плохим приемом. [37]
АЛГОЛ, а л г о л - 60 ( ALGOL - сокращение от слов AL-GOrithimc Language, англ, algorithmic - алгоритмический, language - язык) - алгоритмический процедурно-ориентированный программирования язык, используемый при решении научно-технических задач. К простым операторам языка относятся присваивание, передача управления по метке или по ее номеру в заданном списке меток, вызов процедуры. Выражения языка могут содержать вызов процедуры, вычисляющей значения функции. Последовательность операторов в языке может объединяться в один составной оператор, к-рый содержит описания используемых в нем имен и таким образом образует б л о к - основную конструкцию А. [38]
Затем принципы наивной теории множеств выражаются на описанном языке в виде аксиом, схем аксиом. Ниже дано краткое описание нек-рых наиболее распространенных систем А. Выражения языка делятся на термы и формулы. Термы являются именами множеств, а формулы выражают суждения. Термы и формулы образуются согласно следующим правилам. [39]
Программа на языке Пролог представляет собой набор спецификаций, заданных в исчислении предикатов и описывающих объекты и отношения проблемной области. На набор спецификаций, описывающих факты проблемной области ( истинные утверждения), ссылаются как на БД. Заметим, что выражения языка Пролог, используемые в БД, являются примерами фактов. В Прологе определяются и правила, описывающие отношения между фактами, используя логическую импликацию (: -), разделяющую правило на две части: левую и правую. Напомним, что правила в языке Пролог являются хорновскими дизъюнктами. Таким образом, левая часть правила состоит из одного предиката, который представляет одну положительную литеру в хор-новском дизъюнкте. [40]
Между тем, если в L выразимы также частичные функции ( и их описания признаются рекурсивными), то диагонализация не обязательно выводит за пределы / - /, так что такой язык в принципе может быть пригодным для адекватного уточнения рекурсивности. Если L-один из таких языков, то естественно предполагать, что в нем есть и другие синтаксич. Вообще говоря, выражения языка L но обязательно описывают только числовые функции. Нек-рые из них могут задавать функциональные операторы и другие объекты. L, задающие в совокупности нек-рый оператор. Но все выразимые в L операторы должны быть эффективными ( поскольку L - алгоритмич. В силу этого всякая система указанного вида обладает минимальным ( в смысле отношения - ) решением и, по определению, является рекурсивным описанием функций, составляющих это решение. [41]
Необходимо отметить, что в табл. 5.4 в качестве идентификатора времени задержки указано слово, длина которого превышает предельно допустимую для идентификатора. Однако это не является ошибкой, так как фактически ГЗхххххх представляет собой выражение, состоящее из двух разных идентификаторов, у которых одинаковая буквенная часть как бы вынесена за скобку. Поскольку это выражение является единственным выражением языка, целесообразно не выделять его в специальный класс элементов языка, а привести среди идентификаторов, объяснив его происхождение, что и сделано выше. [42]
Выше уже неоднократно отмечалось, в языке Verilog порядок исполнения операторов определяется не только и не столько порядком их записи. Предусмотрен широкий набор средств, определяющих условия, при которых оператор будет исполнен. Эти условия оформляются в виде префиксов операторов и выражений языка, в том числе логических и арифметических выражений, а также и выражений присваивания. Среди этих средств наиболее важное значение имеют префиксы управления временем и префиксы событийного управления. [43]
На этом уровне устанавливаются правила формирования и переформирования языковых единиц. Для языка документов это будет установлением правил, по которым одни документы строятся из других ( документ строится из набора высказываний), изучением правил построения показателей, иными словами, формализацией процедур составления и обработки документов. Все задачи, которые связаны с описанием знаков и выражений языка, с исследованием правил образования таких выражений из более простых знаков, с анализом отношений между этими знаками, а также правил преобразований этих выражений, относятся к области синтаксического анализа. [44]
На этом уровне устанавливаются правила формирования и переформирования языковых единиц. Для языка документов это будет установлением правил, по которым одни документы строятся из других ( документ строится из набора высказываний), изучением правил построения показателей, иными словами, формализацией процедур составления и обработки документов. Все задачи, которые связаны с описанием знаков и выражений языка, с исследованием правил образования таких выражений из более простых знаков, с анализом отношений между этими знаками, а также правил преобразований этих выражений относятся к области синтаксического анализа. [45]