Лекция: 30 сағ. СӨЖ: 30 сағ обсөЖ: 30 сағ Барлық сағат саны: 90 сағ

А) Программаны түсіну ыңғайлы

Б) Код генераторын эмулятормен оңай ауыстыруға мүмкіндік береді

Д) Лексемалар түзіледі

80. 
    Бастапқы программаны аралық жазу формасына түрлендіру қай этапта жүзеге асады.
    

Б) код оптимизациасы.

С) аралық код оптимизациясы.

Д) аралық код генерациясы.

89. 
    Лексема қарапайым жағдайда мына түрдегі жұп:
    

Б) <лексема типі, мәні>

С) <лексема мәні, орны>

Д) <лексема мәні, жады көлемі>

89. 
    Сканер мына символдардың комбинациясын бір объект ретінде қарастырады.
    

Б) кілттік сөздер (BEGIN, END, INTEGER т.с.с)

С) бір неодан көп жақшалар

Д) идентификаторды білдіретін символдар тізбегін

89. 
    Лексикалық анализатордың 2 негізі типі
    

Б) жұп және тақ

С) қысқа және ұзын

Д) детерминирлі және детерминирлі емес

89. 
    ... үшін алдын-ала лексема типі беріледі және ол көрсеткіштің оң жағындағы символдарды анықтап,берілген типті қанағаттандыруын тексереді.
    

Б) детерминирлі лексикалық анализатор

С) тура емес лексикалық анализатор

Д) үшеуі де

89. 
    Кестелер құрумен қай элемент айналысады
    

Б) синтаксистік анализатор

С) код генераторы

Д) семантикалық анализатор

89. 
    Өрнекті жазудың инфиксті формасы “а+в”
    

Б) +ав

89. 
    Өрнекті жазудың постфиксті формасы “а+в”
    

Б) +ав

89. 
    Өрнекті жазудың префиксті формасы “а+в”
    

Б) +ав

89. 
    Программаның ішкі көрінісі. Тетрада
    

Б) Әрбір элементтінің тек бір ғана “түбі” болады, төменнен жоғары қарай, солдан оңға қарай оқылады.

С) Оператор операндалардан соң орналасады

Д) Операнда операторлардан соң орналасады.

89. 
    Мына компонент грамматиканы анықтауға қатысады.
    

Б) терминал емес символдар

С) бастапқы символ

Д) соңғы символ

89. 
    L тілі дегеніміз не?
    

Б) А алфавитінен құралған ұзындығы шекті тізбектер жиыны

С) ұзындығы шектелмеген тізбектер жиыны

Д) кез-келген ұзындығы шекті тізбектер жиыны

89. 
    Мыналардың қайсысы грамматика класстарына жатпайды
    

Б) регуляр

С) контексті тәуелді

Д) контексті

89. 
    Дұрыс емес пікірді көрсет
    

Б) грамматика кластары бірін-бірі өз ішіне алады

С) ереже ерекшеліктеріне қарай грамматиканы классификациялау Хомский иераркиясы деп аталынады

Д) жалпы түрдегі грамматика ең күрделісі

89. 
    Танушы дегеніміз не?
    

Б) кез-келген жиында анықтауға мүмкіндік беретін жалпыланған алгоритм

С) символдар тізбегін тексеріп шығып қай грамматика класына тиісті екендігін көрсетеді

89. 
    Регуляр грамматикамен берілген тілді танушы
    

Б) сызықты шектелген автомат

С) магазинді автомат

Д) шекті автомат

89. 
    Контексті бос грамматикамен берілген тілді танушы
    

Б) сызықты шектелген автомат

С) магазинді автомат

Д) шекті автомат

89. 
    Контексті тәуелді грамматикамен берілген тілді танушы
    

Б) сызықты шектелген автомат

С) магазинді автомат

Д) шекті автомат

89. 
    Шектеусіз грамматикамен берілген тілді танушы
    

Б) сызықты шектелген автомат

С) магазинді автомат

Д) шекті автомат

89. 
    Автоматтыњ ережелері ...
    

Б) грамматиканы аныќтайды.

С) енуші тізбектіњ берілген тілге тиістілігін аныќтайды.

Д) тіл ќай грамматикамен аныќталынатындыѓын айќындайды.

89. 
    (Q,∑‚q,F) бестігімен ... аныќталады.
    

Б) шекті автомат.

С) магазинді автомат.

Д) шексіз автомат.

89. 
    (Q, ∑‚ Г,  q₀, Z₀, F) жетілігімен ... аныќталады.
    

Б) шекті автомат.

С) магазинді автомат.

Д) шексіз автомат.

89. 
    (V_T, V_N, P, S) тµрттігімен ... аныќталады.
    

Б) шекті автомат.

С) магазинді автомат.

Д) шексіз автомат.

89. 
    Мына теоремалардыњ ќайсысы д±рыс?
    

В) Егер ќайсыбір детерминирлі емес М шекті автоматы ‰шін L=L(M) болса, онда ќайсыбір М' детерминилі автоматы ‰шін L=L(M') болады.

С) Егер ќайсыбір детерминирлі емес М шекті автоматы ‰шін L=L(M) болса, онда ќайсыбір М' детерминилі автоматы ‰шін L=0 болады.

113. 
     Ќате пікірді кµрсет.
     

В) Шекті автоматты тіл регуляр грамматикамен аныќталады.

С) Регуляр грамматикамен берілген тілдер классы, ќазіргі кезењдегі программалау тілдерініњ кµптеген ќасиеттерін бейнелеуге м‰мкіндігі жетпейді.

Д) Регуляр грамматика контексті- бос грамматикаѓа ќараѓанда компиляцияларда кењірек тараѓан.

113. 
     Грамматикаларды т‰рлендірудіњ т‰рі .
     

А) Бэкус- Наур формасы.

В) Грейбахтыњ нормал формасы.

С) Хомскийдіњ нормал формасы.

113. 
     Ќате пікірді кµрсет.
     

Б) МП-автоматпен танылатын тілдер классы, дєлме-дєл КБ-грамматикалармен берілетін тілдер классымен сєйкес т‰седі

С) МП-автомат магазин бос болып ќалса да µз ж±мысын жалѓастыра береді

Д) МП-автомат енуші тізбек аяќталѓан жаѓдайда µз ж±мысын жалѓастыруы м‰мкін

113. 
     LR (к) грамматикасы...
     

Б) тізбектің соңынан бастап, к символға дейін ғана қарай алады.

С) тізбектің алдын 1 символға ғана қарай алады.

Д) оңнан солға қарай тек 1 символдан қарай алады.

113. 
     Si және Sj екі жағдайда эквивалентті деп аталады, егер V кез келген X € Σ * үшін ... орындалса
     

Б) б ( q_i, x ) € F б ( q_i, x) € F

С) б ( q_i, x ) € F б ( q_i, x) € F

Д) б ( q_i, x ) € F б ( q_i, x) € F

113. 
     Шекті автоматты минимизациялауда қайсы әрекет
     

А) “ қол жетпейтін ” жағдайлардың барлығын жойып тастаймыз.

Б) орындала алатын жағдайлардың барлығын қысқартамыз.

С) орындала алатын жағдайлардың барлығын айыра алмайтын

жағдайлардың эквивалентті класстарына бөлеміз.

113. 
     Бәкус – Наур формасында қандай металингвистикалық байланыстырушылар пайдаланылады ?
     

Б) :: =

Д) :: , = , |

113. 
     Програмалау тілдерінің синтаксисін берудің әдістері .
     

А) Ван – Вейнгаарден граматикасы

Б) Тетрада формасы

С) Бәкус – Наур формасы

1. 
   Ақпарат дегеніміз не?
   
2. 
   Мәліметтерге қандай амалдар қолданылады?
   
3. 
   Мәліметтер қандай құрылымдардан тұрады?
   
4. 
   Бит, Байт ұғымдарын қалай түсінесіз?
   
5. 
   Есептеу техникасы дегеніміз не?
   
6. 
   Есептеу жүйесі дегеніміз не?
   
7. 
   Программа деп нені айтады.
   
8. 
   Информатика пәні қандай ұғымдарды қарастырады?
   
9. 
   Информатиканың негізгі мәселесі қандай бағыттардан тұрады?
   
10. 
    Дербес компьютерлердің ішкі құрылғыларын атаңыз?
    
11. 
    Дербес компьютерлердің сыртқы құрылғыларын атаңыз?
    
12. 
    Сызықтық құрылымды мәліметтерге мысалы келтіріңіз?
    
13. 
    Кестелік құрылымдық мысалдарға мысалы келтіріңіз
    
14. 
    Санау жүйесі дегеніміз не?
    
15. 
    Санау жүйесінің түрлерін келтіріңіз
    
16. 
    Аналогтық жєне дискретті информация
    
17. 
    Абстрактты алфавиттер
    
18. 
    Кодтау
    
19. 
    Екілік алфавит
    
20. 
    Байттық алфавит
    
21. 
    Сөздер және абстракт тілдер
    
22. 
    Формальді тіл.
    
23. 
    Бэкустің нормаль формалары.
    
24. 
    Берілгендер.
    
25. 
    Элементар берілгендер типтері.
    
26. 
    Айнымалы және тұрақты шамалар.
    
27. 
    Бульдик тип мәндері
    
28. 
    Нақты снадардың ЕЭМ-дегі көрінісі
    
29. 
    Индентификатор, константа
    
30. 
    Орындау абстракциясы.
    
31. 
    ЕОБ (111,259) конструкциясы.
    
32. 
    Кемшіліктері.
    
33. 
    Кемелдендірілген конструкция.
    
34. 
    3 Теорема.
    
35. 
    Программалау тілдерінің ролі
    

1. 
   Формальді жазу
   
2. 
   Формальді жазу артықшылықтары
   
3. 
   Жағдайлар және олардың сипаттамалары.
   
4. 
   Жағдайлар кеңестігі
   
5. 
   Жағдайлар кеңестігінде теңдіктерді қолдану
   
6. 
   Семантика мінездемелері.
   
7. 
   Жүйеге қойылатын соңғы шарт пен алғы шарт.
   
8. 
   Жүйе семантикасы.
   
9. 
   Предикат түрлендірушісінің 1-ші қасиеті
   
10. 
    Предикат түрлендірушісінің 2-ші қасиеті
    
11. 
    Предикат түрлендірушісінің 3-ші қасиеті
    
12. 
    Предикат түрлендірушісінің 4-ші қасиеті
    
13. 
    Программалау тілдерінің семантикалық мінездемелері.
    
14. 
    Программалау тілі және программа.
    
15. 
    “Өткізу” және “қабылдау”операторлары Формальді синтаксисі.
    
16. 
    Меншіктеу операторы.
    
17. 
    Конструкциялар композициясы.
    
18. 
    Программаның дұрыстығы туралы ұғым
    
19. 
    Программаның дұрыстығын дәлелдеу әдістері
    
20. 
    Программаның спецификациясын құру
    
21. 
    Операторлардың семантикасы
    
22. 
    Флоид әдісі
    
23. 
    Флойд әдісі бойынша программаның дұрыстығын дәлелдеу
    
24. 
    Түйін нүктелер.
    
25. 
    Программаның орындалу жолдары
    
26. 
    Верификациялау шарттарының ақиқаттығын тексеру
    
27. 
    Машиналық тіл. Программаның орындалуы
    
28. 
    Фон – Нейман машинасының архитектурасы
    
29. 
    Фон – Нейман машинасының жұмыс істеу принципі
    
30. 
    Программаны жоғарыдан төмен қарай проектрлеу әдісі бойынша программа дұрыстығын дәлелдеу.
    

1. 
   Программалау тілдерінің жіктелуі
   
2. 
   Комиляция әдәсі
   
3. 
   Интерпретация әдісі
   
4. 
   төмен деңгейлі тілдер
   
5. 
   Жоғары деңгейлі тілдер
   
6. 
   Жоғары деңгейлі тілдердің бөлінуі
   
7. 
   Мнемокод, автокод
   
8. 
   Операциялық жүйе программалары және жоғары деңгейлі тілдер
   
9. 
   Программалау тілдерінің моделі бойынша жіктелуі
   
10. 
    Транслятор.
    
11. 
    Ассемблер.
    
12. 
    Компилятор.
    
13. 
    Интерпретатор.
    
14. 
    Эмулятор
    
15. 
    Перекодировщик.
    
16. 
    Микропроцессор
    
17. 
    Транслиятордың жалпылама құрылымы
    
18. 
    Компилятор фазалары
    
19. 
    Транслятордың жалпыланған құрылымы
    
20. 
    Фазалар функциялары
    
21. 
    Транслятор блоктарыныњ µзараєрекеттесу т‰рлері.
    
22. 
    Транслятор блоктарының өзараәрекеттерінің ұйымдастырылуы
    
23. 
    Транслятор блоктарының көп өтпелі өзараәрекеттесуі
    
24. 
    Көпөтпелі варианттың артықшылықтары
    
25. 
    Көпөтпелі варианттың кемшіліктері
    
26. 
    Транслятор блоктарының өзараәрекетінің бірөтпелі ұйымдастырылуы.
    
27. 
    Бірөтпелі варианттың артықшылықтары
    
28. 
    Бірөтпелі варианттың кемшіліктері
    
29. 
    Транслятор блоктары өзараәрекетінің аралас ұйымдастырылуы.
    
30. 
    Компиляция этаптары
    
31. 
    Бастапқы программа, мәліметттік кесте
    
32. 
    Компилятор құрырылымының ЕЭМ құрылымына тәуелділігі
    
33. 
    Лексикалық анализ (сканер)
    
34. 
    Қандай символдар комбинацияларын сканер бір объект ретінде қарастырады
    
35. 
    Атаулар кестесі
    
36. 
    Лексемалардың түзілуі
    
37. 
    Лексикалық анализатор типтері
    
38. 
    Сканердің кестелермен жұмысы
    

39. 
    Синтаксистік және семантикалық анализ.
    
40. 
    Инфиксті форма
    
41. 
    Префиксті форма
    
42. 
    Постфиксті форма
    
43. 
    Ағаш форма
    
44. 
    Тетрада формасы
    
45. 
    Синтаксистік анализ.
    
46. 
    Жазу формалары.
    
47. 
    Танушының жалпыланған құрылымы
    
48. 
    Танушы көп фигуралы (бастапқы, аяқтаушы кофигурациялар)
    
49. 
    Синтаксистік айқындау ұғымы
    
50. 
    Синтаксистік айқындау қызметі
    
51. 
    Лексема класы, лексема мәні
    
52. 
    Сканер қызметін синтаксистік анализаторға жүктеудің қолайсыздығы (себептері келтіріледі)
    

Студенттердің білімін бағалау оның жіберген қатесіне жазалау емес, жетістігін мадақтау, көтермелеу құралына айналуы тиіс.

Студенттердің білімін бағалау жүйесі Sillabus / оқыту бағдарламасына/ міндеті элемент болып кіреді.

Әр деңгейдің ұпай саны студенттердің білімін бақылаудың үлгілері мен кіріспе, ағымдағы және аралық бақылаулармен жиналады. Төменде студенттердің баллмен есептегенде білім градациясының кестесін беріп отырмыз: