Файл қосу
Тілдер және грамматика
|Қазақстан Республикасы білім және ғылым министрлігі |
|Семей қаласы ШӘКӘРІМ атындағы МЕМЛЕКЕТТІК УНИВЕРСИТЕТІ |
|3 деңгейдегі СМК құжаты |ПОӘК |ПОӘК |
| | |042.14.2.07.1.20.хх/01-2013|
| | | |
| | | |
| | | |
|ПОӘК |03.09.2013ж | |
|Оқытушыға арналған |№..... басылым | |
|«Соңғы автоматтар және формальдік | | |
|тілдер теориясы» пәні бойынша оқу | | |
|жұмыс бағдарламасы | | |
«Соңғы автоматтар және формальдік тілдер теориясы»
ПӘНІН ОҚЫТУ-ӘДІСТЕМЕЛІК КЕШЕН
5В011100 - «Информатика» мамандығына арналған
ОҚЫТУШЫҒА АРНАЛҒАН ОҚУ ЖҰМЫС БАҒДАРЛАМАСЫ
Семей
2013
АЛҒЫ СӨЗ
1. ҚҰРАСТЫРЫЛДЫ
Құрастырған:_________ Семей қаласы Шәкәрім атындағы Мемлекеттік
университеті, Информатика кафедрасының аға оқытушысы Рысжанова А.С.
«___»__________ 2013ж.
2. ТАЛҚЫЛАНДЫ
2.1. Информатика кафедрасының отырысында талқыланды
Хаттама № 1 «11» қыркүйек 2013 ж.
Кафедра меңгерушісі _________________ Абишова А.А.
2.2. Физика-математика факультетінің әдістемелік Кеңесінің отырысында
талқыланды
Хаттама №1 «12» қыркүйек 2013 ж.
Әдістемелік кеңестің төрағасы __________ Батырова Қ.А.
3. БЕКІТІЛДІ
Университеттің оқыту-әдістемелік кеңесінің отырысында мақұлданып, баспаға
ұсынылды
Хаттама №1 «18» қыркүйек 2013 ж.
Оқыту әдістемелік кеңесінің төрағасы _____________ Г.К.Искакова
БІРІНШІІ РЕТ ЕНГІЗІЛДІ
МАЗМҰНЫ
|Қолданылу облысы | |
|Нормативті сілтемелер | |
|Жалпы жағдайлар | |
|Оқытушыға арналған оқу жұмыс бағдарламасының мазмұны | |
|Студенттердің өздік жұмыстарының тақырыптары | |
|Пән бойынша оқу-әдістемелік карта | |
|Оқу-әдістемелік әдебиеттердің жабдықталу картасы | |
|Әдебиеттер | |
1. Қолданылу облысы
«Соңғы автоматтар және формальдік тілдер теориясы» пәні бойынша Оқыту-
әдістемелік кешен 5В011100 – «Информатика» мамандығының студенттеріне
арналған. Кешен студенттерді пәннің мазмұнымен, пәннің көкейкестілігі мен
қажеттілігімен, курс саясатымен, оқу барысында үйренетін машықтармен
таныстырады. Оқыту-әдістемелік кешен пәнді оқыту үшін негізгі бағдар болып
табылады.
2. Нормативті сілтемелер
Бұл «Соңғы автоматтар және формальдік тілдер теориясы» пәні бойынша
Оқытушыға арналған оқу жұмыс бағдарламасы оқыту процесін келесі құжаттарда
келтірілген талаптар мен ұсыныстарға сәйкес жүргізу үшін құрастырылған және
реттейді:
– 5В011100 – «Информатика» мамандығына ҚР МЖМБС 3.08.317-2006.
Қазақстан Республикасы Білім және Ғылым министрлігінің 2005 ж.
23 желтоқсанындағы №779 бұйрығымен бекітілген және іске
қосылғын.
– СТУ 042 – РГКП – СГУ – 4-2013 Университет стандарты «Пәннің
оқыту әдістемелік комплексін дайындауға жалпы талаптар»;
– ДП-042-1.01–2013 Құжатталған процедура «Пәннің оқыту
әдістемелік комплексінің құрылымы мен мазмұны»
–
3. ЖАЛПЫ ЖАҒДАЙЛАР
3. 1. Пәннің қысқаша мазмұны
Бұл ПОӘК 5В011100– Информатика мамандығы студенттерінің «Ақпаратты
қорғау» пәнін оқуға арналған.
Бұл курс информатика саласында мәселелердің қойылымын және шешімін
нақты қалыптастыруда, есептеу құрылымдырын, алгоритмдерді және ақпараттарды
өңдеу программаларын құруда шектеулерді және мақсаттарды анықтауда қызмет
етеді. Сонымен қатар жоғарғы деңгейлі программалау тілдерімен, программалау
тілдерінің сипатталуымен және грамматикаларымен таныстыру.
Пәнді зерттеу есептері: тілдер мен автоматтар теориясын білу. Осы
білімдеріне қатырсыт есептерге компилятор құруда, программалау тілдерін
жүзеге асырғанда және қолданбалы ақпараттар жүйесін құрғанда қолдана білу.
3.2. Пәннің мақсаты
Студенттердің тілдер мен автоматтар теориясының негізін меңгеруі,
компилятор құрудың сатыларын: лексикалық, синтаксистік және семантикалық
талдауларды білуі. Осы білімдердің практикалық машықтарын қалыптастыру.
3.3. Пән міндеті:
– Программалау тілдерінің даму тарихын, жоғарғы деңгейлі
программалау тілдері туралы түсінік және олардың сипатталуы,
программалау тілдерінің грамматикасы, синтаксисі және семантикасы,
прагматикасы;
– Шекті функционалдық айналдырғыштар;
– Математикалық логикаға кіріспе;
– Автоматтар. Автоматтық тілдер;
– Тьюринг машиналары;
– Алгоритмдік мәселелер.
3.4. Пәнді оқып, аяқтаған студенттердің
Білуі керек:
– білу қажет: программалау тілдерінің даму тарихын, жоғарғы деңгейлі
программалау тілдері туралы түсінік және олардың сипатталуы,
программалау тілдерінің грамматикасы, синтаксисі және семантикасы,
прагматикасы.
– Шекті функционалдық айналдырғыштар.
– Математикалық логикаға кіріспе.
– Автоматтар. Автоматтық тілдер.
– Тьюринг машиналары.
– Алгоритмдік мәселелер.
3.5. Пән пререквизиттары:
Пән жоғарғы оқу орында оқылатын «Программалау І», «Информатиканың
теориялық негіздері» пәндерінен алынған білімге негізделеді.
3.6. Пән постреквизиттары:
Программаны өңдеу және программа – ақпараттық кешендерді (ПАК-
дер) өңдеумен байланысты барлық пәндер, оларда келесі оқытылатын
пәндер білімі қолданылады: «Алгоритмдер теориясы»
1-кесте. Оқу жоспарынан ақпарат
|Курс |Семестр |Кредит |Дәріс |
|Дәріс сабақтары |Зертханалық | | | |
| |сабақтар | | | |
|1 |2 |3 |4 |5 |
|Тілдер және грамматика |Толық |Компьютер, |Формальдық тілдер |Жазбаша, |
|Алфавиттер, тізбектер |автоматтардың |презентациялар,|мен грамматиканың |ауызша |
|және тілдер |эквиваленттілігі|электронды |типтерін айқындау.| |
| |. |кітаптар |«алфавит», | |
| | | |«тізбек», | |
| | | |«формальдік | |
| | | |грамматика», | |
| | | |«эквиваленттілік | |
| | | |грамматика» | |
| | | |түсінігін бекіту. | |
|Программалау тілдерінің |Шекті |Компьютер, |Формальді |Жазбаша, |
|даму тарихы |айқындауыштар, |презентациялар,|тілдердің типін, |ауызша |
|Тілдерді өрнектеу. |берілген |электронды |грамматикалардың | |
|Синтаксис, семантика |автоматты |кітаптар |эквиваленттілігі | |
|және программалау |грамматика үшін | |мен бірмәнділігін | |
|тілдерінің грамматикасы.|шекті автоматтың| |Хомский | |
|Формализациялау |ауысу графын | |классификациясы | |
|проблемалары |құру және өңдеу | |бойынша туынды | |
| | | |грамматикалардың | |
| | | |иерархиясын құруды| |
| | | |дағдыландыру. | |
|Формальді грамматика |Дербес |Компьютер, |Шекті |Жазбаша, |
|Формальді грамматиканың |автоматтар және |презентациялар,|айқындауыштардың |ауызша |
|негізгі түсінігі және |олардың |электронды |эквиваленттілігі | |
|классификациясы. |минимизациясы. |кітаптар |және бір | |
|Грамматикаларды | | |мәнділігін құру, | |
|классификациялау: | | |тұрақты грамматика| |
|регулярлық, | | |бойынша шекті | |
|контексті-бос, | | |автоматтарды құру,| |
|контексті-тәуелді, жалпы| | |«детерминатты емес| |
|көріністегі, атрибутты, | | |және детерминантты| |
|программалық. | | |емес шекті | |
|Хомскийдің формальдық | | |автоматтар» ұғымын| |
|тілдер иерархиясы. | | |бекіту. | |
|Шекті автоматтар |Магазинді жадылы|Компьютер, |«Автоматтардың |Жазбаша, |
|Детерминантты шекті |автоматтар. |презентациялар,|эквиваленттілігі»,|ауызша |
|автоматтар. Мур | |электронды |«минимальді шекті | |
|диаграммалары. Шекті | |кітаптар |автомат» түсінігін| |
|автоматтардың | | |енгізу, | |
|эквиваленттілігі. Мур | | |детерминантты | |
|теоремасы. Мили и Мур | | |шекті автоматтарды| |
|автоматтары. Шекті | | |минимизациялауды | |
|автоматтардың алгебралық| | |дағдыландыруды | |
|құрылымдық теоремасы. | | |қалыптастыру. | |
|Шекті автоматтардың ішкі| | | | |
|жағдайларын кодтау. | | | | |
|Тьюринг машинасы |LL(1)- |Компьютер, |Магазинді жадылы |Жазбаша, |
|Тьюринг машинасы, фон |грамматикасы |презентациялар,|автоматпен |ауызша |
|Нейман автоматы. Бір |үшін рекурсивті |электронды |КТ-грамматикаларды| |
|қалыпты өрнек бойынша |түсу әдісімен |кітаптар |ң | |
|детерминант емес шекті |синтаксисті | |эквиваленттілігі. | |
|автомат құру. |талдау | |Контексті-тәуелсіз| |
|Детерминант емес шекті | | |грамматика бойынша| |
|автомат бойынша | | |магазинді жадылы | |
|детерминант автомат | | |автоматтарды құру.| |
|Лексикалық талдау |Төмен түсу әдісі|Компьютер, |LL(1) - |Жазбаша, |
|Белгілерді оқу. |бойынша |презентациялар,|грамматикасы үшін |ауызша |
|Лексикалық анализдерді |КТ-тілдердің |электронды |айқындауыштардың | |
|программалау. LEX |синтаксистік |кітаптар |функционалдық | |
|лексикалық |талдау | |модельдеуі. | |
|анализаторының құрылымы.| | | | |
| | | | | |
|Синтаксистік талдау | |Компьютер, |LL(1) - |Жазбаша, |
|Шығарылған синтаксистік | |презентациялар,|грамматикасының |ауызша |
|талдау. LL(1) - | |электронды |қажетті және | |
|грамматикасы. | |кітаптар |жеткілікті | |
|Рекурсивтік түсу. | | |шарттарын қолдану.| |
|КС-грамматикасының | | |LL(1)- | |
|бейнеленуі. Сол жақ | | |грамматикасы үшін | |
|рекурсияның жойылуы. Сол| | |тізбектерді | |
|жақ факторизация. | | |анықтау | |
|Енгізілген синтаксистік | | |функционалдау. | |
|талдау. | | | | |
|LL(1)-анализаторы. | | | | |
|Синтаксистік талдаудың | | | | |
|құру және қолдану | | | | |
|кестесі. LR талдауының | | | | |
|ерекшелігі және нұсқасы.| | | | |
| | | | | |
|Семантикалық талдау | |Компьютер, |Жоғарыдан төмен |Жазбаша, |
|Тілдің контексті еркін | |презентациялар,|синтаксистік |ауызша |
|емес қасиеттері. | |электронды |талдауды автоматы | |
|Символдар кестесінің | |кітаптар |жүзеге асыру, | |
|ұйымдастыру. | | |қарапайым | |
|Идентификатордың | | |көрсетілімді | |
|кестесі. Орналастыру | | |грамматика үшін | |
|кестесі. Тізімді қойылым| | |анықтауыштың | |
|кестесі. Орналастыру | | |функционалдау | |
|функциясы. Ағаштар | | |моделін құру. | |
|кестесі. Блоқтық | | | | |
|құрылым. | | | | |
|Жадының бөлінуі және код| |Компьютер, | L(A) және R(A) |Жазбаша, |
|генерациясы | |презентациялар,|жиындарын құру, |ауызша |
|Жады ұйымдастыру. | |электронды |грамматика | |
|Статикалық және | |кітаптар |белгілерінің | |
|динамикалық жады. | | |матрицаларын төмен| |
|Компиляцияның уақыт | | |түсу әдісі бойынша| |
|адресі. Уақытша жады. | | |құру. | |
|Кодтың генерациясы. | | | | |
|Кодты құру. Үш адресті | | | | |
|код. Р – коды. Байт – | | | | |
|коды. Машиналық кодты | | | | |
|құру. Нұсқаның таңдауы. | | | | |
|Регистрлердің үлестіру. | | | | |
|Объектті кодтың | | | | |
|ықшамдылығы | | | | |
7. Оқу-әдістемелік әдебиеттердің жабдықталу картасы
4-кесте. Оқу-әдістемелік әдебиеттердің жабдықталу картасы
|Оқулықтар мен оқу-әдістемелік |Экз. саны |Студенттер саны |Жабдықталу |
|құралдардың аттары | | |% |
|Ю.Г. Карпов. Теория автоматов. – |10 |13 |76 |
|СПБ.: Питер, 2002. | | | |
|Ахо А., Дж.Ульм. Теория |1 |13 |7 |
|синтаксического анализа, перевода| | | |
|и компиляции. М.: Мир, 1978. тт. | | | |
|1,2. | | | |
|Касьянов В. Н.. Лекции по теории |1 |13 |7 |
|формальных языков, автоматов и | | | |
|сложности вычисле ий. — | | | |
|Новосибирск: НГУ, 1995. | | | |
|Языки и автоматы. Сб. переводов.|6 |13 |46 |
|М.: Мир, 1975. | | | |
|Ф.Льюис, Д.Розенкранц, Р. Стирнз.|5 |13 |38 |
|Теоретические основы | | | |
|проектирования компиляторов. М.: | | | |
|Мир, 1979. | | | |
|Э. Дейкстра. Дисциплина |6 |13 |46 |
|программирования. М. Мир: 1978. | | | |
|Д. Брис. Наука программирования. |10 |13 |76 |
|М.: Мир. 1984. | | | |
|Б. Дисков, Дж. Гатэг. |6 |13 |46 |
|Использование абстракций и | | | |
|спецификаций при разработке | | | |
|программ. - М.: Наука, 1996. | | | |
8. ӘДЕБИЕТТЕР ТІЗІМІ:
Негізгі әдебиеттер:
1. Ю.Г. Карпов. Теория автоматов. – СПБ.: Питер, 2002.
2. Ахо А., Дж.Ульм. Теория синтаксического анализа, перевода и компиляции.
М.: Мир, 1978. тт. 1,2.
3. Касьянов В. Н.. Лекции по теории формальных языков, автоматов и
сложности вычисле ий. — Новосибирск: НГУ, 1995.
4. Языки и автоматы. Сб. переводов. М.: Мир, 1975.
5. Ф.Льюис, Д.Розенкранц, Р. Стирнз. Теоретические основы проектирования
компиляторов. М.: Мир, 1979.
6. Э. Дейкстра. Дисциплина программирования. М. Мир: 1978.
7. Д. Брис. Наука программирования. М.: Мир. 1984.
8. Б. Дисков, Дж. Гатэг. Использование абстракций и спецификаций при
разработке программ. - М.: Наука, 1996.
Қосымша әдебиеттер:
1. Кнут Д.. Искусство программирования для ЭВМ. В 3 томах. - М., Мир,1976.
2. Кормен Т., Ч. Лейзерсон, Алгоритмы. Построение и анализ -М:
МЦНМО,1999.
3. А. Ахо, Дж. Хопкрофт, Дж. Ульман. Построение и анализ вычислительных
алгоритмов - М: Мир, 1979.
4. Агафонов В.Н. Синтаксический анализ языков программирования. Уч.пособие,
Новосибирск, НГУ, 1981.
Пәндер
- Іс жүргізу
- Автоматтандыру, Техника
- Алғашқы әскери дайындық
- Астрономия
- Ауыл шаруашылығы
- Банк ісі
- Бизнесті бағалау
- Биология
- Бухгалтерлік іс
- Валеология
- Ветеринария
- География
- Геология, Геофизика, Геодезия
- Дін
- Ет, сүт, шарап өнімдері
- Жалпы тарих
- Жер кадастрі, Жылжымайтын мүлік
- Журналистика
- Информатика
- Кеден ісі
- Маркетинг
- Математика, Геометрия
- Медицина
- Мемлекеттік басқару
- Менеджмент
- Мұнай, Газ
- Мұрағат ісі
- Мәдениеттану
- ОБЖ (Основы безопасности жизнедеятельности)
- Педагогика
- Полиграфия
- Психология
- Салық
- Саясаттану
- Сақтандыру
- Сертификаттау, стандарттау
- Социология, Демография
- Спорт
- Статистика
- Тілтану, Филология
- Тарихи тұлғалар
- Тау-кен ісі
- Транспорт
- Туризм
- Физика
- Философия
- Халықаралық қатынастар
- Химия
- Экология, Қоршаған ортаны қорғау
- Экономика
- Экономикалық география
- Электротехника
- Қазақстан тарихы
- Қаржы
- Құрылыс
- Құқық, Криминалистика
- Әдебиет
- Өнер, музыка
- Өнеркәсіп, Өндіріс
Қазақ тілінде жазылған рефераттар, курстық жұмыстар, дипломдық жұмыстар бойынша біздің қор #1 болып табылады.
Ақпарат
Қосымша
Email: info@stud.kz