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