1.4. Оқыту форматы: күндізгі
2. Пән мазмұны
2.1 Оқу түрі бойынша сағаттардың бөлінуі
Пәннің тақырыптық жоспары
№
|
Тақырыптың аталауы
|
Дәріс сағат
|
Зерт
сағат
|
ОСӨЖ сағат
|
СӨЖ сағат
|
Модуль 1. Кіріспе. Жиындар
|
|
Кіріспе.
|
2
|
|
|
|
|
Транслятор туралы жалпы мәліметтер
|
|
|
|
20
|
|
Тілдер теориясы мен формальді грамматиканың негіздері
|
|
|
|
20
|
Күтілетін нәтиже: тілдер теориясы мен автоматтар туралы жалпы мәліметтермен, бинарлық қатынастар, тіл ұғымы, тілдерге қолданылатын амалдар, регулярлы өрнектер, регуляр тілдрмен танысу, трансляция туралы жалпы мәлімет беру, лексикалық және синтаксистік талдауды ұйымдастыру негізінде білімді ұштастыру.
|
Модуль 2. Ақырлы автоматтар
|
|
Ақырлы автоматтар. Детеpминaнтты aқыpлы aвтoмaттap
|
4
|
|
|
|
|
Ақырлы автоматтар. Детерминделмеген ақырлы автоматтар
|
5
|
|
|
|
|
Ақырлы автоматтар. Лексикaлық тaлдay
|
5
|
|
|
|
|
Толық автоматтардың эквиваленттілігі мен минимизациясы.
|
|
2
|
|
|
|
Формальді тілдер. Сөздік, тізбек. Тілді анықтау тәсілдері. Жіктеу ағаштары
|
|
2
|
|
|
|
Көпленталы ақырлы автоматтар
|
|
|
5
|
|
|
Ақырлы автоматтар алгоритмдерініӊ күрделілігін бағалау.
|
|
|
5
|
|
|
Арифметикалық өрнектердіӊ грамматикасы.
|
|
|
5
|
|
|
Көптетікті ақырлы автоматтар.
|
|
|
5
|
|
|
Ақырлы автоматтар алгоритмдері.
|
|
|
5
|
|
|
Лексикалық талдауды ұйымдастыру
|
|
|
|
20
|
Күтілетін нәтиже: ақырлы автоматтар негізіндегі негізгі түсініктерді қарастыру, детерминделген және детерминделмеген ақырлы автоматтармен, детерминделмеген автоматты эквивалент детерминделген автоматқа көшіру алгоритмімен танысу, регулярлы және регулярлы емес тілдермен танысу, ақырлы автоматтыӊ күйлерініӊ санын минималдау, Майхил-Неуроуд теориясын меңгеру, ақырғы автоматтар теориясыныӊ алгоритмдік тұрғыларын анықтау
|
Модуль 3. Контекстік-еркін тілдер
|
|
Контекстік-еркін тілдер
|
4
|
|
|
|
|
Контекстік-еркін тілдер. Стектік автоматтар және контекстік-еркін грамматикалары
|
5
|
|
|
|
|
Контекстік-еркін тілдер. Үрлеу леммасы
|
5
|
|
|
|
|
Берілген автоматты грамматика үшін шекті автоматтың ауысу графын құру және өңдеу.
|
|
2
|
|
|
|
Оң жақты және сол жақты шығару. Жоғарыдан төмен және төменнен жоғары жіктеу
|
|
2
|
|
|
|
Төмен түсу әдісі бойынша КТ-тілдердің синтаксистік талдау
|
|
2
|
|
|
|
Контексті-тәуелсіз грамматикаларды келтіру.
|
|
2
|
|
|
|
Лексикалық талдаумен өңделуі. Лексикалық анализаторлың әрекеттесуі.
|
|
2
|
|
|
|
Жоғарыдан төмен синтаксистік талдауды автоматты жүзеге асыру
|
|
1
|
|
|
|
Синтаксистік талдауды ұйымдастырудың жалпы принциптері
|
|
|
|
20
|
Күтілетін нәтиже: контекстік-еркін грамматикалары, контекстік еркін тілдермен, синтаксистік талдаудыӊ ағаштарымен, екі ұшты және екі ұшсыз тілдермен, стектік автоматтар және контекстік-еркін грамматикалары, контекстік еркін тілдердіӊ инварианттары, контекстік-еркін грамматикаларыныӊ алгоритмдері, детерминирленгендік және статистикалық талдау, үрлеу леммасы (Pumping lemma) – берілген тіл үшін ақырлы автоматтыӊ бар болуы туралы леммамен танысу.
|
Барлығы
|
30
|
15
|
25
|
80
|
2.2 Дәрістер
№
р/н
|
Дәріс тақырып-тарының атауы
|
Дәрістің мақсаты және мазмұны
|
Оқу
түрі
|
Сағат көлемі
|
1
|
Кіріспе.
|
Мақсаты: тілдер және автоматтар теориясының негізгі терминдерін қарастыру
Мазмұны: Бинарлық қатынастар, тілдер түсінігі. Тілдерге қолданылатын амалдар. Регулярлық өрнек. Регулярлық тілдер.
|
күндізгі
|
2
|
2
|
Ақырлы автоматтар. Детеpминaнтты aқыpлы aвтoмaттap
|
Мақсаты: ақырғы автоматтар туралы негізгі түсініктерді қарастыру, детерминделген ақырлы автоматтарға анықтама беру.
Мазмұны: Детерминделген ақырлы автоматтар. Ақырлы автоматтармен танылатын тілдер.
|
күндізгі
|
4
|
3
|
Ақырлы автоматтар. Детерминделмеген ақырлы автоматтар
|
Мақсаты: детерминделмеген ақырлы автоматтарды қарастыру, детерминделмеген автоматты эквивалент детерминделген автоматқа көшіру алгоритмдермен танысу.
Мазмұны: Детерминделмеген ақырлы автоматтар. Детерминделмеген автоматты эквивалент детерминдел-ген автоматқа көшіру алгоритмі.
|
күндізгі
|
4
|
4
|
Ақырлы автоматтар. Лексикaлық тaлдay
|
Мақсаты: регулярлы тілдердіӊ тұйықтық қасиетін қарастыру, Майхил-Неуроуд теориясымен танысу.
Мазмұны: Регулярлы тілдердіӊ тұйықтық қасиеті. Ақырлы автоматтыӊ күйлерініӊ санын минималдау. Майхил-Неуроуд теориясы. Ақырғы автоматтар теориясыныӊ алгоритмдік тұрғылары.
|
күндізгі
|
6
|
5
|
Контекстік-еркін тілдер
|
Мақсаты: контекстік-еркін грамматикалармен танысу, синтаксистік талдаудыӊ ағаштарын, екі ұшты және екі ұшсыз тілдерін қарастыру.
Мазмұны: Контекстік-еркін грамматикалары, контекстік еркін тілдер. Синтаксистік талдаудыӊ ағаштары. Екі ұшты және екі ұшсыз тілдер.
|
күндізгі
|
4
|
6
|
Контекстік-еркін тілдер. Стектік автоматтар және контекстік-еркін грамматикалары
|
Мақсаты: стектік автоматтар және контекстік-еркін грамматикалармен танысу, контекстік еркін тілдердіӊ инварианттары мен контекстік-еркін грамматикалары-ныӊ алгоритмдерін қарастыру.
Мазмұны: Стектік автоматтар және контекстік-еркін грамматикалары. Контекстік еркін тілдердіӊ инварианттары. Контекстік-еркін грамматикаларыныӊ алгоритмдері.
|
күндізгі
|
5
|
7
|
Контекстік-еркін тілдер. Үрлеу леммасы
|
Мақсаты: үрлеу леммасымен танысу.
Мазмұны: Детерминирленгендік және статистикалық талдау. Үрлеу леммасы (Pumping lemma) – берілген тіл үшін ақырлы автоматтыӊ бар болуы туралы лемма.
|
күндізгі
|
5
|
2.3. Зертханалық сабақтар
№
|
Сабақ тақырыптың атауы
|
Мазмұны
|
Оқу түрі
|
Сағат көлемі
|
1
|
Толық автоматтардың эквиваленттілігі мен минимизациясы.
|
Мақсаты: толық автоматтармен, дербес автоматтармен, соңғы анықтауыштармен жұмысын меңгеру, Prolog программалау жүйесінде қарапайым программаны орындау, Prolog программалау жүйесімен танысу.
|
күндізгі
|
2
|
2
|
Формальді тілдер. Сөздік, тізбек. Тілді анықтау тәсілдері. Жіктеу ағаштары.
|
Мақсаты: алфавит, тізбек, формальді тіл, формальді грамматика, грамматиканың эквиваленттілігі түсінігін тағайындау. формальді тілдердің типін, грамматикалардың эквива-ленттілігі мен бірмәнділігін Хомский классификациясы бойынша туынды грамматика-лардың иерархиясын құруды дағдыландыру, формальді тілдердің типі, грамматикалардың Хомский классификациясы, туынды грамматика-лардың иерархиясын құру
|
күндізгі
|
2
|
3
|
Берілген автоматты грамма-тика үшін шекті автоматтың ауысу графын құру және өңдеу.
|
Мақсаты: тұрақты грамматикалар, соңғы автоматтар түсінігі, соңғы автоматтар түрілер түсінігін бекіту, «Автоматтардың эквивалент-тілігі», «минимальді шекті автомат» түсінігін енгізу, детерминантты шекті автоматтарды минимизациялауды дағдыландыруды қалыптас-тыру, тұрақты грамматикалар, соңғы автоматтар түсінігі, соңғы автоматтар түрі
|
күндізгі
|
2
|
4
|
Оң жақты және сол жақты шығару. Жоғарыдан төмен және төменнен жоғары жіктеу
|
Мақсаты: «эквиваленттілік грамматика», «келтірілген КС-грамматика» түсінігін бекіту, КТ-грамматиканың бірмәнділігі, контексті-тәуелсіз грамматикаларды келтіру және түрлендіру эквиваленттілігі, оң жақты және сол жақты шығару
|
күндізгі
|
2
|
5
|
Төмен түсу әдісі бойынша КТ-тілдердің синтаксистік талдау.
|
Мақсаты: эквиваленттілік автоматтар жағдайы, минимальный соңғы автоматтар, төмен түсу әдісі бойынша КТ-тілдердің синтаксистік талдау жасау, төмен түсу әдісі бойынша КТ-тілдердің синтаксистік талдау принциптері.
|
күндізгі
|
2
|
6
|
Контексті-тәуелсіз грамматикаларды келтіру.
|
Мақсаты: магазинді жадылы автомат, магазинді жадылы кеңейтілген автомат, магазинді жадылы автомат конфигурациясы түсінігін тағайындау, КТ-грамматикасын қолдану, МП-автомат және КТ грамматика эквиваленттілігі, КТ-грамматика-сын айқындау, негізгі түсінігі.
|
күндізгі
|
2
|
7
|
Лексикалық талдаумен өңделуі. Лексикалық талдаумен синтаксистік және семантикалық талдаудың әрекеттесуі.
|
Мақсаты: LL(1)-грамматика түсінігін бекіту, жиындармен жұмыс, лексикалық талдауды құру, лексикалық талдау мен басқа да талдаулар арасындағы байланыс, лексикалық талдаумен синтаксистік және семантикалық талдаудың әрекеттесуі. LL(1)-грамматикасы үшін рекурсивті түсіру, лексикалық талдау мен басқа да талдаулар арасындағы байланыс принциптерін анықтау
|
күндізгі
|
2
|
8
|
Жоғарыдан төмен синтаксистік талдауды автоматты жүзеге асыру
|
Мақсаты: қарапайым грамматика түсінігі, L(A) және R(A) жиындарын құру, грамматика белгілерінің матрицалары, қарапайым көрсетілім-ді грамматика үшін анықтауыштың функционал-дау моделін құру, грамматика белгілерінің матрицалары түсінігі
|
күндізгі
|
1
|
Достарыңызбен бөлісу: |
