UkrReferat.com
найбільша колекція україномовних рефератів

Всього в базі: 75838
останнє поновлення: 2016-12-03
за 7 днів додано 10

Реферати на українській
Реферати на російській
Українські підручники

$ Робота на замовлення
Реклама на сайті
Зворотній зв'язок

 

ПОШУК:   

реферати, курсові, дипломні:

Українські рефератиРусские рефератыКниги
НазваМова та метамова (реферат)
Авторdimich
РозділІнформатика, компютерні науки
ФорматWord Doc
Тип документуРеферат
Продивилось2966
Скачало425
Опис
ЗАКАЧКА
Замовити оригінальну роботу

Реферат на тему:

 

Мова та метамова

 

1. Мова: вирази та їх семантика

 

У попередніх розділах було описано означення, вирази й оператори мови

Паскаль. Очевидно, всі вони мають визначену структуру, або синтаксис. Не

можна, наприклад, ім'я типу в означенні записати перед іменами змінних,

або написати вираз із двома відкриваючими й однією закриваючою дужками.

Якщо в нашій програмі будуть подібні дурниці, то її трансляція

завершиться невдало, і замість машинної програми ми одержимо образливі

повідомлення про помилки.

 

Очевидно, що правила запису Паскаль-програм існують, і якимсь чином вони

втілені в трансляторі його авторами. Але щоб "навчити комп'ютер" хоча б

відрізняти правильні програми від неправильних, необхідно чітке

формулювання правил їхнього запису. Ось чому ми почнемо знайомитися з

формальними системами описання структури конструкцій мов програмування.

 

Мова Паскаль, як і всяка мова, – це система позначень, призначена для

передачі якогось змісту. Кожна мова починається з алфавіту і містить у

собі правила утворення найпростіших виразів мови (лексем) і правила

побудови складніших виразів із більш простих. Ці дві групи правил

називаються відповідно лексичною та синтаксичною системами мови.

 

Виразам мови, починаючи від найпростіших, ставиться у відповідність

позначений ними зміст, що й є їхньою семантикою. Наприклад, у мовах

програмування семантика числової сталої – це число, подане в комп'ютері,

семантика імені змінної – це ділянка пам'яті, стани якої можна

змінювати, семантика оператора – дії комп'ютера з виконання цього

оператора.

 

Правила, за якими виразам мови зіставляється зміст, утворюють семантичну

систему мови. Розуміти мову – значить уміти зіставити виразу його зміст.

Можна сказати, що комп'ютер "розуміє" мову Паскаль за допомогою

"перекладача" – програми-транслятора (утім, translator і є англійське

"перекладач").

 

Все сказане стосується не лише мов програмування. І природні мови, і

мови запису нот, креслень або географічних карт теж мають алфавіт та

правила побудови й "осмислення" виразів. Усім добре знайомі описи

структури "правильних" виразів цих мов, починаючи від букварів і

шкільних підручників з граматики.

 

Існують такі описання структури і для мов програмування, причому

структура в них задається свого роду формулами, тобто з "математичною

точністю". Вивчення однієї з таких систем опису структури ми й почнемо.

 

2. Метамова БНФ

 

У кожній мові є своя система понять. Наприклад, будь-який конкретний

оператор є представником загального поняття "оператор", будь-яке ім'я –

представником поняття "ім'я" тощо. Представники понять, тобто конкретні

оператори або імена – це вирази деякої структури (синтаксису).

Наприклад, усі імена – це послідовності букв і цифр, що починаються з

букви, цілі сталі – послідовності цифр, а кожний оператор присвоювання

складається з імені, знака ":=" і виразу. Остання фраза по суті містить

три правила: вони описують синтаксис представників понять "ім'я",

"стала", "оператор присвоювання" і називаються синтаксичними.

-----> Page:

0 [1] [2] [3] [4] [5]

ЗАМОВИТИ ОРИГІНАЛЬНУ РОБОТУ