Лекция: 45 сағат С¤Ж: 45 саѓат обс¤Ж: 45 саѓат Барлыќ саѓат саны: 135 саѓ Ќорытынды баќылау: емтихан 2 семестр
жүктеу/скачать 1.97 Mb.
|
- Бұл бет үшін навигация:
- 12. Пєн бойынша тестілік с±раулар.
- С) программаны спецификациялау
- С) Спецификация – программалаушыға берілген бұйрық
- С) тілдің орындалуына байланысты
- Д) Әрбір машиналық тілдегі бұйрыққа бірнеше мнемоника сәйкес келеді
- Б) табиғи тілдерге жақын болады
- А) Көп өтпелі Б) Бір өтпелі
|
Ќазаќстан Республикасы Білім жєне ѓылым министрлігі “Сырдария” университеті 
“Жаратылыстану” факультеті “Информатика” кафедрасы “Тілдер теориясы және автоматтандыру” пєні бойынша 050602 мамандыѓыныњ студенттері ‰шін
БАЌЫЛАУ Т‡РЛЕРІ: а) Тестілік сауалнамалар є) Жазбаша баќылау ж±мыстары б) Коллоквиумдар в) Сµзж±мбаќтар Жетісай-2005 ж
А) Шексіз кіші қадамдармен өзгере алатын шама Б) Өзгерудің ең кіші қадамы белгіленіп берілген шама С) Кез-келген анықталған, шектеулі символдар жиыны Д) Өте қарапайым информациялар жиыны
А) Шексіз кіші қадамдармен өзгере алатын шама Б) Өзгерудің ең кіші қадамы белгіленіп берілген шама С) Кез-келген анықталған, шектеулі символдар жиыны Д) Өте қарапайым информациялар жиыны
А) Шексіз кіші қадамдармен өзгере алатын шама Б) Өзгерудің ең кіші қадамы белгіленіп берілген шама С) Кез-келген анықталған, шектеулі символдар жиыны Д) Өте қарапайым информациялар жиыны
А) 96 Б) 2
С) 256 Д) 250
А) 96 Б) 2
С) 256 Д) 250
А) 100 әріптік алфавит Б) 256 әріптік алфавит С) 96 әріптік алфавит Д) 80 әріптік алфавит
А) Формльді ережелердің шектелген жиыны Б) Құрылған сөздер жиынынан дұрыс сөздерді анықтайды В) Формальді ережелерге сәйкес құрылған барлық сөздер Д) Әріптер тізбегі
А) Формльді ережелердің шектелген жиыны Б) Құрылған сөздер жиынынан дұрыс сөздерді анықтайды В) Формальді ережелерге сәйкес құрылған барлық сөздер Д) Әріптер тізбегі
А) Формльді ережелердің шектелген жиыны Б) Құрылған сөздер жиынынан дұрыс сөздерді анықтайды В) Формальді ережелерге сәйкес құрылған барлық сөздер Д) Әріптер тізбегі
А) Сол жақ оң жақта келтірілген форма мәндерінің кез-келгенімен анықталады Б) Немесе С) Тең Д) Меншіктеу
А) Тең Б) Немесе С) Және Д) Егер
А) берілгендер қабылдай алатын мәндерге сәйкес * Б) нақты, бүтін С) екілік, екілік-ондық Д) берілгендер қабылдай алатын сандарға сәйкес
А) 10,5 Б) 10.5
С) 0010 Д) 10 *
<…>::=0 | 1 | 0 <бүтін сан> | 1 <бүтін сан> А) екілік сан Б) бүтін сан С) сан
Д) нақты сан
<…>::= <бүтін сан>, <бүтін сан> А) екілік сан Б) бүтін сан С) сан
Д) нақты сан
А) Ондық форма Б) Жылжымайтын және жылжымалы үтір арқылы жазылу формасы С) Жылжымайтын үтір арқылы жазылу формасы Д) Жылжымалы үтір арқылы жазылу формасы
А) ЕОБ(15,3) = ЕОБ(15,15) Б) ЕОБ(15,3) = ЕОБ(5,3) С) ЕОБ(15,3) = ЕОБ(15,1) Д) ЕОБ(15,3) = ЕОБ(3,3)
А) вертикал сызықтар x=сonst Б) горизонталь сызықтар y= сonst С) диогональдар x+y= сonst Д) жауап сызығы x=0
Дұрыс емес берілген теореманы көрсетіңіз А) ЕОБ (х,у)= ЕОБ (x’,y’) мұнда (x’,y’) фишканың бастапқы орны,(x,y) фишканың ойын барысындағы кез-келген орны Б) х=у болатын кез-келген (х,у) нүктесі үшін ЕОБ (х,у)=х С) х=у болатын кез-келген (х,у) нүктесі үшін ЕОБ (х,у)=0 Д) Кез-келген бастапқы (x’,y’) орыннан шекті қадамдар сан фишканы соңғы орынға (жауап сызығына) апарады
А) Алгоритмді екілік формаға өткізуге мүмкіндік береді Б) Алгоримдерді матеметикалық обьект ретінде қарастыруға мүмкіндік береді С) Алгоритмнің формальді бейнесін негіз ретінде алып, жалпыланған алгоритмдер классы үшін теорема дәлелдеуге мүмкіндік береді
А) қайсы бір тілдің элементтерінің құрылуын анықтайтын ережелердің жиынтығы Б) Тілдің элементтері мен және олардың мағыналы мәндері арасындағы қатынасты анықтайтын ережелер мен шарттар. С) Д) кодты немесе операцияны орындау әдістерін пайдаланатын программа
А) қайсы бір тілдің элементтерінің құрылуын анықтайтын ережелердің жиынтығы Б) Тілдің элементтері мен және олардың мағыналы мәндері арасындағы қатынасты анықтайтын ережелер мен шарттар. С) Д) кодты немесе операцияны орындау әдістерін пайдаланатын программа
А) Жүйе әрдайым жағдайлар кеңістігі нүктелерінің бірінде болады Б) Жүйе жағдайлар кеңістігі нүктелерінің барлығында болады С) Жүйенің жағдайлар кеңістігі нүктелерінің барлығы да керекті болуы шарт Д) Жағдайлар кеңістігі нүктелері 100 000 000-нан аспайды
А) 8 март 2000 ж Б) 1.08
С) 8 март Д) 1 март
(күн=20) теңдеуінің шешімі нешеу? А) 1
С) 10 Д) 366
А) “Соңғы шарт” жүйенің жұмысы аяқталған кездегі жағдайына қойылады. Б) Егер бастапқы жадай алғы шартты қанағаттындырса, онда жүйе ең соңында соңғы шарттың орындалғандығын көрсетеді. С) “соңғы шарт” жүйе жұмысы аяақталғаннан кейінгі жағдайына қойылады.
А) “қасиет” деп аталады Б) “предикатарды түрлендіруші” деп аталады С) функция деп аталады Д) Синтаксис деп аталады
А) х=ЕОБ(х,у) Б) y=ЕОБ(х,у) С) y<ЕОБ(х,у) Д) x<ЕОБ(х,у)
А) Кез-келген S конструкциясы үшін W P(S,F)=F (мұнда WP(S,F)=F алғы шарт, F-соңғы шарт) Б) Кез-келген S конструкциясы берілген Q>R үшін WP (S,Q) >WP (S,R) (мунда Q,R –соңғы шарттар) С) кез-келген S конструкциясы үшін WP (S,R) =S Д) кез-келген S конструкциясы және кез-келген Q,R соңғы шарттар үшін (WP (S,Q) AND WP (S,R))=WP (S,Q AND R)
А) R Б) F
С) T Д) S
А) R Б) F
С) T Д) S
А) wp (өткізу,R) =R Б) WP(өткізу, R)=өткізу, R)=0 C) WP( өткізу,R)= өткізу Д) WP(өткізу ,R)=S
А)< оператор >::= өткізу қабылдау Б) <оператор >= өткізу қабылдамау С) <оператор >::=өткізу | қабылдамау Д) <оператор> өткізу немесе қабылдау
А) Бос оператордың Б) Меншіктеу операторының С) “қабылдамау” операторының Д) Немесе операторының
А) {a/b=4} Б) {a=4}
С) {b=4} Д) {a/b=а}
А) {a=4} Б) {a+с=4} С) {4=а+с} Д) {a+с=а}
А) {a=4} Б) {a2=4} С) {4=а2} Д) {a=а}
А) {a=а+5} Б) {a=4}
С) {4=а+5} Д) {a+5=4}
А) программаны верификациялау С) программаны спецификациялау
А) программаны верификациялау Б) программаны синтездеу С) программаны спецификациялау
А) Программа-программалаушының компьютерге берген бұйрығы Б) Спецификация – программалаушының компьютерге берген бұйрығы С) Спецификация – программалаушыға берілген бұйрықД) Спецификация сөзі сипаттама дегенді білдіреді.
А) нақты айнымалылар (нақты берілгендер) Б) енгізу айнымалылары (алғашқы берілгендер) С) программалық айнымалылар (аралық берілгендер) Д) шығару айнымалылары (соңғы нәтижелер)
А) Деңгейі төмен тілдер Б) Деңгейі жоғары тілдер С) Машиналық тілдерД) Барлық программалау тілдері
А) тілдің деңгейіне байланысты Б) тілдің қызметіне, яғни қандай есептерді шешуге мүмкіндік беретініне байланысты С) тілдің орындалуына байланыстыД) тілдің моделі, яғни құрылуына байланысты
А) орындау Б) аударуС) жүзеге асыру Д) жеңілдету
А) Мнемоника -машиналық тілдегі деректердің әріптер мен цифрлардан тұратын тізбектерге алмастырылып жазылуы Б) Автокод тар мнемокодтардың біршама дамыған түрі С) Мнемокодтар мен автокод тар машинаға бағытталған арнайы тілдерге жатады
А) машиналық тілге жақын болады Б) табиғи тілдерге жақын боладыС) жасанды тілдерге жақын болады Д) мнемодтарға жақын болады
А) машиналық тілге жақын боладыБ) табиғи тілдерге жақын болады С) жасанды тілдерге жақын болады Д) мнемокодтарға жақын болады
А) ондық Б) екілік С) ондық-екілік Д) он алтылық
А) компиляцияБ) интерпретация С) компиляция, интерпретация Д) ешқайсысы да емес
А) компиляция Б) интерпретацияС) компиляция, интерпретация Д) ешқайсысы да емес
А) Лексикалық анализ фазасы Б) Синтаксистік анализ фазасы С) Кодты генерациялау фазасы Д) Лексикалық анализді оптимизациялау фазасы
А) Эмулятор Б) Синтаксистік анализатор С) Код генераторы
А) Синтаксистік анализатор Б) Код генераторы С) Эмулятор Д) Лексикалық анализатор
А) Синтаксистік анализатор Б) Код генераторы С) Лексикалық анализатор Д) Қателер анализаторы
А) Синтаксистік анализатор Б) Код генераторы С) Лексикалық анализатор Д) Қателер анализаторы
А) Синтаксистік анализатор Б) Код генераторы С) Лексикалық анализатор Д) Қателер анализаторы
А) Синтаксистік анализатор Б) Код генераторы С) Лексикалық анализатор Д) Эмулятор
А) програманың аралық берілгендері Б) лексемалар тізбегі С) есептеулер нәтижесі Д) объектілі код
А) програманың аралық берілгендері Б) лексемалар тізбегі С) есептеулер нәтижесі Д) объектілі код
А) Лексемалар Б) Танушы С) Семантикалық анализ блогы Д) Обьектілі модель
А) танушы Б) семантикалық анализС) ешқайсысы да емес Д) лексикалық анализ
А) қателер анализаторы Б) семантикалық анализ С) синтаксистік анализ
А) Бір өтпелі, көп өтпелі Б) Бір өтпелі, екі өтпелі С) Аралас, көп өтпелі Д) Бір өтпелі, аралас
Жеке фазалардың ерекшеленгендігі, бұл олардың бір-біріне тәуелсіз жүзеге асыруға,қолдануға мүмкіндік береді. А) Көп өтпеліБ) Бір өтпелі С) Көп өтпелі, бір өтпелі Д) Екі өтпелі
А) Көп өтпелі Б) Бір өтпеліС) Көп өтпелі, бір өтпелі Д) Екі өтпелі
А) Көп өтпелі Б) Бір өтпеліС) Көп өтпелі, бір өтпелі Д) Екі өтпелі
А) Көп өтпеліБ) Бір өтпелі С) Көп өтпелі, бір өтпелі Д) Екі өтпелі
А) Көп өтпеліБ) Бір өтпелі С) Көп өтпелі, бір өтпелі Д) Екі өтпелі
Күрделі құрылымды тілдер үшін трансляциялауды іске асыру мүмкін болмайды А) Көп өтпеліБ) Бір өтпеліС) Көп өтпелі, бір өтпелі Д) Екі өтпелі
Фазалар біртіндеп орындалады. А) Көп өтпеліБ) Бір өтпелі С) Көп өтпелі, бір өтпелі Д) Екі өтпелі
жүктеу/скачать 1.97 Mb. Достарыңызбен бөлісу:
|
R сонғы шартты үшін, мұнда х-айнымалы, Е-өрнек) қай оператардың семантикасы