КАТЕГОРИЯ:


Астрономия- (809) Биология- (7483) Биотехнологии- (1457) Военное дело- (14632) Высокие технологии- (1363) География- (913) Геология- (1438) Государство- (451) Демография- (1065) Дом- (47672) Журналистика и СМИ- (912) Изобретательство- (14524) Иностранные языки- (4268) Информатика- (17799) Искусство- (1338) История- (13644) Компьютеры- (11121) Косметика- (55) Кулинария- (373) Культура- (8427) Лингвистика- (374) Литература- (1642) Маркетинг- (23702) Математика- (16968) Машиностроение- (1700) Медицина- (12668) Менеджмент- (24684) Механика- (15423) Науковедение- (506) Образование- (11852) Охрана труда- (3308) Педагогика- (5571) Полиграфия- (1312) Политика- (7869) Право- (5454) Приборостроение- (1369) Программирование- (2801) Производство- (97182) Промышленность- (8706) Психология- (18388) Религия- (3217) Связь- (10668) Сельское хозяйство- (299) Социология- (6455) Спорт- (42831) Строительство- (4793) Торговля- (5050) Транспорт- (2929) Туризм- (1568) Физика- (3942) Философия- (17015) Финансы- (26596) Химия- (22929) Экология- (12095) Экономика- (9961) Электроника- (8441) Электротехника- (4623) Энергетика- (12629) Юриспруденция- (1492) Ядерная техника- (1748) Arhitektura- (3434) Astronomiya- (809) Biologiya- (7483) Biotehnologii- (1457) Военни бизнесмен (14632) Висока technologies- (1363) Geografiya- (913) Geologiya- (1438) на държавата (451) Demografiya- ( 1065) Къща- (47672) журналистика и смирен (912) Izobretatelstvo- (14524) външен >(4268) Informatika- (17799) Iskusstvo- (1338) историята е (13644) Компютри- (11,121) Kosmetika- (55) Kulinariya- (373) културата е (8427) Lingvistika- (374) Literatura- (1642) маркетинг-(23702) математиците на (16968) Механична инженерно (1700) медицина-(12668) Management- (24684) Mehanika- (15423) Naukovedenie- (506) образователна (11852) truda- сигурност (3308) Pedagogika- (5571) Poligrafiya- (1312) Politika- (7869) Лево- (5454) Priborostroenie- (1369) Programmirovanie- (2801) производствено (97 182 ) индустрия- (8706) Psihologiya- (18388) Religiya- (3217) Svyaz (10668) Agriculture- (299) Sotsiologiya- (6455) на (42831) спортист строително (4793) Torgovlya- (5050) транспорт ( 2929) Turizm- (1568) физик (3942) Filosofiya- (17015) Finansy- (26596) химия (22929) Ekologiya- (12095) Ekonomika- (9961) Electronics- (8441) Elektrotehnika- (4623) Мощност инженерно ( 12629) Yurisprudentsiya- (1492) ядрена technics- (1748)

Metalinguistic формула Бакъс-Naur Форма

Метаезик БНФ е стандартен език за описване на синтаксиса на езиците за програмиране. BPF беше предложен през 1959 г. от Джордж. Бакъс, един от 13-те членове на Комитета за Алгол-60, за да се опише синтаксиса на езика. С тази форма също съобщава името на П. Naur Форма (Университета на Копенхаген), благодарение на предложените от него промени и интензивното използване на БНФ в съобщението на Алгол-60, която той редактира. Идеята за такава форма, независимо върна през 1956 г. американският лингвист Чомски.

Metalinguistic формула подобна на редовен математика, така че те се наричат ​​формули. За всеки език, има уникална концепция на metaformula (нормална формула).

Metalinguistic формула се състои от лявата и дясната страна. В лявата част е посочено определено понятие. Това е последвано от маска ":: =", по смисъла на което е еквивалентно на думите "по дефиниция". В дясната част съдържа определяне metavyrazhenie, която определя набора от допустими езикови конструкции, които са комбинирани в тази концепция. Тя се състои от metakonstant, metavariables и metaznakov (метасимвола). Всички metavyrazhenii metavariables използват трябва да бъдат определени по-рано от тази metaformula.

Metavariables затворени в ъглови скоби (<и>). Ако използвате езиковите елементи може да бъде произволно приемем, че metavariables по смисъла на програмиста дефинира.

Metakonstanty при определяне на езика за програмиране - това са елементи от азбуката и функционални думи (т.е., добре дефинирана концепция). В дизайна metakonstanty език трябва да бъде написано като те се появяват в определението.

Metaznaki:

| - ИЛИ логично съединителната

[] - Избор на допълнителни части metaformuly

() - Групиране на сложни структури в проста БНФ

{} - Повтаряне определяне част произволен брой пъти (включително един единствен пъти)

Примери metaformul

1) Броят и броя на

<Digit> :: = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

<Положително цяло> :: = <брой> {<брой>}

<Integer> :: = <положително цяло> | + <Положително цяло> | - <Положително цяло>

<Фиксирана точка номер> :: = <число>. <Положително цяло>

<Float> :: =

<Integer> E <число> | <Номер да се определи. точка> E <число>

2) писма и имена

<Letter> :: = A | B | C | ... X | Y | Z | а | б | С | ... X | Y | Z

<Id> :: = <писмо> {<писмо> | <Номер> | <_>}

3) Binary операция

<Влезте аритметична операция> :: = + | - | * | /



<Операция сравнение Вход> :: = = | <| > | <> | <= | > =

4) непразна списък, който се състои от произволен брой елементи, разделени със запетаи:

<Списък> :: = <влизане списък> {<елемент от списъка>}

5) <условие> :: = ако <булев израз> тогавашния <изявление> [другаде <изявление>]

6) <процедура повикване> :: = <име> [(<параметър> {<параметър>})]

Допуска рекурсивни дефиниции на термини и понятия, т.е. когато дясната ръка на формулата участва концепцията определено от лявата страна. Например, да предположим, че трябва да се въведе понятието <двоичен>, която се отнася до не-празна последователност от цифри 0 и 1. След това един прост и компактен рекурсивно определение използване metaformuly изглежда така:

<Binary цифра> :: = 0 | 1

<Binary> :: = <двоична цифра> | <двоичен> <двоична цифра>

Според приетите правила на първата покана за рекурсивно дефинира понятието трябва да се ограничи до не-рекурсивни част от формулата, че е, двоично число се отнася до двоичен цифра - 0 или 1. Но на втория адрес, за да metaformule определяне двоично число, можете да използвате рекурсия, която ще даде следните опции за този термин: 0 1 00 01 11 октомври, т.е. всички видове едно- и фигура двоични числа. Очевидно е, че човек може да се сдобие с възможно двоично число в следната приложения рекурсията.

Можете също така да се даде рекурсивно определение за самоличност:

<Id> :: =

<Letter> | <Id> <писмо> | <ID> <номер> | <ID> _

<== Предишна лекция | На следващата лекция ==>
| Metalinguistic формула Бакъс-Naur Форма

; Дата: 12.14.2013; ; Прегледи: 410; Нарушаването на авторските права? ;


Ние ценим Вашето мнение! Беше ли полезна публикуван материал? Да | не



ТЪРСЕНЕ:


Вижте също:



ailback.ru - Edu Doc (2013 - 2017) на година. Тя не е автор на материали, и дава на студентите с безплатно образование и използва! Най-новото допълнение , Al IP: 11.45.9.24
Page генерирана за: 0.048 сек.