Формальды тілдердің синтаксистық құрамы

1 слайд
Формальды тілдердің синтаксистық құрамы Формальды тілдер логикалық есептеулердің негізі болып табылады. Олардың құрылымы А.Черч бойынша төрт негізгі элементтен тұрады: алғашқы символдар, формулалар, дұрыс құрылған формулалар мен аксиомалар, және қорытынды ережелер. Бұл құрылым бағдарламалау тілдерінің негізін қалайды және синтаксис пен семантиканы қамтиды. Формальды тілдің тиімділігі оның символдарын, формулаларын, аксиомаларын және қорытындыларын анықтау мүмкіндігімен өлшенеді. Бұл тілдер бағдарламалау тілдерінің негізі ретінде қызмет етеді және олардың синтаксисі мен семантикасы нақты анықталған. GA by Gani Abdumalik

1 слайд

2 слайд
Формальды тілдің құрылымы 1 Алғашқы символдар Тілде қолданылатын біркелкі бөлінбейтін алғашқы символдар теріп жазылады. 2 Формулалар Алғашқы символдардың тізбегі формулаға айналады. 3 Дұрыс құрылған формулалар Белгілі бір ережеге сәйкес дұрыс құрылған формулалар анықталады, олардың кейбіреулері аксиома болып табылады. 4 Қорытынды ережелер Қорытынды ережелерді шығару реті анықталады, дұрыс құрылған формулалардың ішінен қорытынды ретінде дұрыс құрылған формула анықталады.

2 слайд

3 слайд
Формальды тілдің тиімділік талаптары 1Символдарды анықтау Кез-келген таңбаның бастапқы таңбаның (алфавиттың) бірі болып табылатынын тиімді анықтайтын әдістің болуы. 2Формулаларды тексеру Кез-келген формуланың дұрыс құрылғандығын тиімді анықтайтын әдістің болуы. 3Аксиомаларды анықтау Кез-келген формуланың аксиома болатындығын тиімді анықтайтын әдістің болуы. 4Қорытындыларды тексеру Кез-келген дұрыс құрылған формуланың қорытынды болатынын тиімді анықтайтын әдістің болуы.

3 слайд

4 слайд
Бағдарламалау тілдерінің синтаксисы Бағдарламалау тілінің синтаксисы – кез-келген бағдарламаға қойылатын талаптардан тұрады. Бұл мәтіндерді құру ережелерін қамтиды. Бағдарламаға синтаксистық талдау жүргізу кезінде оның құрамдас бөліктері, құрылу жолдары және символдарының оқылу реті анықталады. Формальды тілдердің синтаксисі сөйлемдерді құру ережелерінен және олардың дұрыс құрылған формулалар, аксиомалар, теоремалар, қорытындылар немесе дәлелдеулер болатындығын тексеру мүмкіндігінен тұрады. Синтаксистік талдау Бағдарламаның құрылымын анықтау Ережелер жүйесі Сөйлемдерді құру ережелері Тексеру механизмі Формулалардың дұрыстығын тексеру

4 слайд

5 слайд
Индуктивты анықтамалар Формальды тілдердің құрылу әдісін зерттеу кезінде студенттер индуктивты анықтамалардың спецификасымен танысады. Базалық есептеулердегі сөздердің синтаксистық құрылымының индуктивтық анализы бірнеше маңызды алгоритмдерді береді: Формула анықтау Аталмыш сөздің формула екендігін анықтау алгоритмі Ішкі формулалар Аталмыш формуланың ішкі формулаларын жазу алгоритмі Қорытынды тізім Соңғы формулалар тізімінің қорытынды тізім екендігін анықтау алгоритмі

5 слайд

6 слайд
Алгоритм ұғымы Алгоритм ұғымы бір типті есептерді шығарудың нақты шығару кезеңдері көрсетілетін және осы класстың кез-келген есебін шығаруда қолданылатын нұсқаулықтар тізбегін айтады. Студенттер алгебраны оқу барысында классикалық алгоритмдардың кең ауқымымен танысады: Қалдықпен бөлу Сандарды қалдықпен бөлу алгоритмы Евклид алгоритмы Ең үлкен ортақ бөлгішті табу Эратосфен алгоритмы Жай сандарды табу әдісі Гаусс әдісі Сызықтық теңдеулер жүйесін шешу

6 слайд

7 слайд
Алгоритмның есептеу үрдісі Алгоритмның есептеу үрдісі таза механизм түрінде өтеді. Бұл үрдіс келесі сипаттамаларға ие: Нұсқаулықтар жиынтығы Алгоритм соңғы өлшемдері берілген нұсқаулықтар жиынтығынан тұрады. Есептеуіш Нұсқаулықтарды қолдана білетін және есептеуді жүргізе алатын есептеуіш (әдетте адам) болады. Қолдану аясы Алгоритм шексіз класстың бір типті есептерін шығаруда қолданылады. Дискретті уақыт Есептеуші нұсқаулықтарды қадам ретімен дискретті уақытта жүргізеді.

7 слайд

8 слайд
Бэкус-Наура формасы (БНФ) Бағдарламалау тілдерінің синтаксисін анықтау үшін Бэкус-Наура формасы (БНФ) қолданылады. БНФ конструкциясы келесі элементтерден тұрады: Алфавит символдары Терминальды символдар немесе терминалдар Конструкция атаулары Терминальды емес символдар немесе терминал емес ::= "мүмкін осымен алмастырылады" деген мағынаны білдіреді | "және" деп оқылады < > Терминал емес символдарды белгілеу үшін қолданылады

8 слайд

9 слайд
Синтаксистық диаграммалар Синтаксистық диаграммалар конструкцияларды құру ережелерін көрнекті түрде береді. Бұл диаграммаларда: 1Алфавит символдары Овал рамкаларда көрсетіледі 2Конструкциялар атауы Тік төртбұрыштарда беріледі 3Құру ережелері Ұшында бағыты бар сызықтармен белгіленеді 4Сызық бағыты Егер сызық блокқа бағытталған болса, онда аталып отырған конструкцияға сәкес символ енгізілу керек

9 слайд

10 слайд
Идентификатор конструкциясы Идентификатор конструкциясы - ең қарапайым конструкциялардың бірі. Ол көптеген күрделі конструкцияларда бағдарлама объектілерінің (берілімдер өрісі, процедура, функция) атын көрсетуде қолданылады. Borland Pascal-да идентификатор келесі ережелерге сәйкес құрылады: Символдар Латын алфавиті әріптері, сандар және астын сызу символы Бастапқы символ Міндетті түрде әріптен басталады Мысалдар аааа, Ы21, Parametral, _а

10 слайд