Определение - язык
Cтраница 4
Большое внимание при моделировании уделяется выбору языковых средств. В настоящее время имеется большое число специализированных языков моделирования, поэтому для определения лучшего языка при конкретных приложениях возникают серьезные трудности. Выбор языка программирования для описания имитационных моделей в первую очередь определяется постановкой задачи, когда учитываются характеристики объекта моделирования, тип разрабатываемой модели, условия проведения эксперимента. [46]
Другая точка зрения состоит в том, что побочные эффекты должны допускаться, но из определения языка должно быть совершенно ясно, каким будет порядок вычисления того или иного выражения, с тем чтобы программист мог использовать побочные эффекты в своей программе должным образом. Принятие второй точки зрения сопряжено с той трудностью, что становятся невозможными многие виды оптимизации. Во многих описаниях языков этот вопрос просто полностью игнорируется, что, к сожалению, приводит к разным толкованиям в разных реализациях. [47]
Подобные сложные программы никогда не могут быть оттестированы полностью. Например, компилятор должен обрабатывать любую строку символов конечной длины и, если строка соответствует определению языка, должен сформировать эквивалентную рабочую программу. Операционные системы тестировать еще труднее, поскольку они управляют множеством параллельных процессов. Когда сбивается операционная система. [48]
Возможно представление субъекта этого вопроса в виде ( х - простое число / / х лежит между 10 и 20), однако важно осознать, что не всегда целесообразно записывать весь субъект предложения естественного языка в виде категор-ных условий лексического субъекта интеррогатива. Дело в том, что, по определению, категорные условия заданы заранее как часть, входящая в определение языка наравне со словарными и грамматическими определениями. Придумывание нового категорного условия сходно с придумыванием нового слова или новой синтаксической конструкции и поэтому приводит к изменению в языке. Язык L, как было показано в разд. Однако по отношению к произвольно заданному языку мы не можем строить категорные условия по своему усмотрению, так как они являются составной частью глубинной грамматики самого языка и подвержены изменению не более, чем другие грамматические признаки. [49]
Возможно представление субъекта этого вопроса в виде ( х - простое число / / х лежит между 10 и 20), однако важно осознать, что не всегда целесообразно записывать весь субъект предложения естественного языка в виде категор-ных условий лексического субъекта интеррогатива. Дело в том, что, по определению, категорные условия заданы заранее как часть, входящая в определение языка наравне со словарными и грамматическими определениями. Придумывание нового категорного условия сходно с придумыванием нового слова или новой синтаксической конструкции и поэтому приводит к изменению в языке. Язык L, как было показано в разд. V V ( ял) Однако по отношению к произвольно заданному языку мы не можем строить категорные условия по своему усмотрению, так как они являются составной частью глубинной грамматики самого языка и подвержены изменению не более, чем другие грамматические признаки. [50]
 |
Сетьг Петри, язык L-типа которой совпадает с языком G-типа сети Петри, приведенной на. [51] |
Если со является компонентой заключительной маркировки, то это означает, что мы не должны заботиться о вхождении значения этой компоненты в заключительное состояние. Состояние s является заключительным, если существует такая заключительная маркировка Д что для всех г, 1 i ny из / г - со следует Si / г. Это определение более общее, чем данное ранее определение языков L-типа. [52]
Страницы: 1 2 3 4