Особенности языка

Особенностями языка являются строгая типизация и наличие средств структурного (процедурного) программирования. В Паскале сведены к минимуму возможные синтаксические неоднозначности, а сам синтаксис сделан интуитивно понятным даже при первом знакомстве с языком.

Наиболее известной реализацией Паскаля, обеспечившая широкое распространение и развитие языка, является Turbo Pascal фирмы Borland, выросшая затем в объектный Паскаль для DOS и Windows и далее в Delphi, в которой были внедрены значительные расширения языка.

Диалекты Паскаля, применяемые в Turbo Pascal для DOS и Delphi для Windows, стали популярны из-за отстутствия других успешных коммерческих реализаций.

2) Javascript — объектно-ориентированный скриптовый язык программирования.

JavaScript обычно используется как встраиваемый язык для программного доступа к объектам приложений. Наиболее широкое применение находит в браузерах как язык сценариев для придания интерактивности веб-страницам.

Основные архитектурные черты: динамическая типизация, слабая типизация, автоматическое управление памятью, прототипное программирование.

Языком JavaScript не владеет какая-либо компания или организация. Название «JavaScript» является зарегистрированным товарным знаком компании Sun Microsystems, Inc.

Разработчики ставили перед собой цель обеспечить «язык для склеивания» составляющих частей веб-ресурса: изображений, плагинов, Java-апплетов, который был бы удобен для веб-дизайнеров и программистов, не обладающих высокой квалификацией.

Первоначально язык назывался LiveScript. На синтаксис оказали влияние языки Си и Java. 4 декабря 1995 года LiveScript переименовали в JavaScript^. получив соответствующую лицензию у Sun.

3) HTML (от англ. HyperText Markup Language — «язык разметки гипертекста») — стандартный язык разметки документов во Всемирной паутине. Большинство веб-страниц создаются при помощи языка HTML (или XHTML). Язык HTML интерпретируется браузером и отображается в виде документа, в удобной для человека форме.

Язык HTML был разработан британским учёным Тимом Бернерсом-Ли приблизительно в 1991—1992 годах. HTML создавался как язык для обмена научной и технической документацией, пригодный для использования людьми, не являющимися специалистами в области вёрстки. С помощью HTML можно легко создать относительно простой, но красиво оформленный документ. Помимо упрощения структуры документа, в HTML внесена поддержка гипертекста. Мультимедийные возможности были добавлены позже. Изначально язык HTML был задуман и создан как средство структурирования и форматирования документов без их привязки к средствам воспроизведения (отображения). В идеале, текст с разметкой HTML должен был без стилистических и структурных искажений воспроизводиться на оборудовании с различной технической оснащённостью.

_____________________________________________

Общим признаком описания специализированных искусственных языков является формальный метод, их определяют с помощью алфавита, словаря и системы правил образования и преобразования выражений. Формальный метод необходим для порождения правильных текстов (т.е. записанных по определенным правилам). Для этого используется метод формальных грамматик.

Формальная грамматика – это абстрактный аппарат позволяющий с помощью единообразной процедуры получать правильные тексты данного языка (например, порождающая грамматика Хомского).

Кратко опишем порождающую грамматику. Порождающая формальная грамматика – это система Г = <V_т, V_нт, S, R>, где

Г - грамматика;

V_т - множество терминальных (конечных) символов языка;

V_{нт ­} - множество нетерминальных символов (из которых можно выводить далее), заключаются в угловые скобки <…>;

S - начальный символ нетерминального множества;

R – система правил вывода типа X®Y (где X,Y – цепочки символов из V_т, V_нт).

Множество цепочек, выводимых в Г из ее начального символа S, есть язык, порождаемый этой грамматикой Г (т.е. вывод цепочек всегда начинается с нетерминала S).

Пример:
	Формальная система: Г =<{I, We, They,.}, {S, Pr, V, N}, S, R>, где {I, We, They,.} – Vт, {S, Pr, V, N} - Vнт	система правил R: <S>®<Pr><V><N>. <Pr> ® I ½We½They <V> ® love <N> ® music	язык, порождаемый согласно правилам вывода R: I love music. We love music. They love music.

Формальная грамматика, изложенная по подобным правилам, в свою очередь, образует Метаязык, т. е. специальный символический язык для работы с языком (похож на язык математической логики).

На практике применяется еще один метаязык - Бекус-Науровы формы (БНФ–формы или БНФ–нотации), которые как и формальная грамматика служат для задания правил получения правильных текстов.

Пример:	БНФ-нотация для описания англо-русского словаря:
	Пример типовой странички   P Pay [pei] 1. платить; 2. Заработная плата; 3. Расплата. Pea[pi:] горох. Peak [pi:k] остроконечная вершина.	<словарь>::= [<раздел>] <раздел>::= <заглавная лат.буква>[<словарная статья>] <заглавная лат.буква>::= A½B½….½Z <словарная статья>::= <термин> <транскрипция> <перевод>. <термин>::= [<прописная лат.буква>] <прописная лат.буква>]::= a½b½…½z <транскрипция>::= [ [<звук>] ] <звук>::= a:½'½…½z <перевод>::= <определение 1>½<определение 2> <определение 1>::= <слово>½<словосочетание> <слово>::=[<прописная русск.буква>] <прописная русск.буква>::= а½б½в….½я <словосочетание>::= [<слово>] <определение 2>::= 1.<определение 1>; 2.<определение 1>; …

Аналогичный метаязык, имеющий графическое, наглядное представление – это Синтаксические диаграммы. Синтаксическая диаграмма – это схема, объясняющая правило построения либо некоторого понятия, выражения либо множества текстов.

Пример:

Синтаксическая диаграмма морфологической структуры русского слова:

Обе эти формы нашли широкое применение при описании языков программирования в информатике.

1. Структурная и Математическая лингвистика. Моделирование в лингвистике. Понятие лингвистической модели. Основные требования к модели. Понятие формализации.

Общим признаком описания специализированных искусственных языков является формальный метод их описания. Математическая лингвистика является смежной со структурной и компьютерной лингвистикой.

В Математической лингвистике используются широко известные в информатике структуры:

1. формальные грамматики

2. синтаксические диаграммы

3. БНФ