Cтраница 1
Анализ языков, порождаемых сетями Петри, показывает, что сети Петри по выразительной мощности, т.е. по способности адекватно моделировать поведение дискретных систем, превосходят такие классы моделей, как конечные автоматы, но все же не обладают универсальными возможностями, так как некоторые классы языков не могут порождаться сетями Петри. [1]
Анализ языка выявлял все новые и новые логические головоломки и сопутствующие им философские трудности, в принципе известные давно и наиболее характерные для абстрактных уровней рассуждения. Острее всего это проявилось в парадоксах оснований математики, с чем и столкнулся Рассел. Здравый смысл и уроки философского критицизма подсказывали ему, что реально дело обстоит не так, как порой нам внушает язык. [2]
Анализ языка Росписи дает любопытные мат ериа-лы о превращении обычных обиходных слов в независимую терминологию технического языка. [3]
Алгоритм анализа языков, порожденный иерархической грамматикой обработки изображений, имеет в этом случае следующий вид. [4]
Понятие анализа языка было расширено за счет добавления к логико-синтаксическому п логнко-семантич. [5]
В анализе языков программирования, представленном в следующих главах, многие сравнения имеют в своей основе разницу во времени связывания. Нас будет постоянно интересовать вопрос: когда делается связывание, во время трансляции или во время выполнения. Многие из наиболее важных и тонких отличий между языками заключаются в разном времени связывания. Например, почти все языки допускают числа в качестве данных и арифметические операции над ними. [6]
Еще одним способом анализа языка, да и любых культурных продуктов, является концепция коннотации - иерархии символов: соотношения выражающего и выражаемого в разных вариациях, приводящего к понятиям мифа и метаязыка. Если какой-либо символ входит в состав другого символа в качестве выражающей стороны, то он рассматривается как внешнее выражение мифа, внутренней выражаемой стороны сложного символа. И наоборот, если символ образует выражаемую сторону иного символа, то выражающая часть последнего будет рассматриваться как одно из понятий языка более высокого уровня абстракции - метаязыка. [7]
Во всех алгоритмах анализа языка, употребляющихся в системе SMART, используется программа автоматического отделения суффиксов, опирающаяся на составленный вручную словарь суффиксов. Поэтому при исследовании эффективности использования тезауруса как главные рассматриваются две процедуры: распознавание общеупотребительных слов и построение классов понятий. Эти две задачи рассматриваются ниже. [8]
Тем не менее такой анализ языков программирования позволяет глубже понять их природу и использование. [9]
Весьма соблазнительным представляется проведение анализа языка программирования в терминах списка предоставляемых им возможностей, но без учета взаимосвязи этих возможностей. К сожалению, ло невозможно именно в силу наличия таких взаимосвязей. Язык программирования Ада представляет собой попытку обеспечить связанную структуру ограниченного числа возможностей, необходимых для решения задач, из предполагаемой для данного языка программирования области применения. [10]
Одним из узких мест в восприятии и использовании информации является анализ языка, лежащего в его основе. [11]
Возросший за последние годы интерес к семантике существенно расширил доступные лингвистике сферы анализа языка и одновременно сделал более естественным использование в лингвистике идей и понятий, впервые выдвинутых в логике. Одним из понятий, которое возникло в рамках логического анализа языка, а потом стало использоваться в лингвистической семантике, является понятие презумпции - ср. [12]
Исследование семантики языка художественной литературы, или художественно-речевой семантики, является одной из важнейших задач анализа языка художественного произведения. Об этом говорил еще Г.О.Винокур, по мнению которого установление отношений между обоими типами значений слов - прямым и поэтическим и есть задача лингвистического исследования ( Винокур, 1959, с. [13]
Сложность определения операций в языках программирования - это одна из причин, объясняющих, почему попытки анализа языков программирования средствами обычной математики оказались не столь успешными. Получавшиеся в результате формальные структуры были слишком сложными для анализа. По мере того как языки понимаются все лучше, а их конструкция становится менее сложной, создание подлинной математики языков программирования становится все реальнее. Однако для тех целей, которые мы преследуем в данной главе при обсуждении существующих операций языков программирования, лучше всего подходит неформальное рассмотрение. [14]
С учетом этих соображений в системе МИВОС используется такая функциональная структура, которая, отображая лишь наиболее общие представления о процессе анализа языка, допускает как последовательное, так и смешанное выполнение отдельных этапов анализа. [15]