-Кесте.Ноутбуктар сипаттамасы

Принтерлерқұрлымына сипаттама:

1.Генератор лазера

2.Айналмалы айна

3. Лазерлік сәуле

4.Үйінділер, тартушылар қағаз

5.Үйінді, тартушы тонер

6.Фотопроводящий цилиндр

Төмен деңгейлі бағдарламалау тілі— нақты немесе виртуалды (мысалы, Java, Microsoft.NET) процессордың машиналық кодтарында тікелей бағдарламалауға жақын бағдарламалау тілі. Машина командаларын белгілеу үшін әдетте мнемоникалық белгілеу қолданылады. Бұл командаларды екілік нөлдер мен бірліктер тізбегі түрінде емес, адам тілінің (әдетте ағылшын) сөздерінің мағыналы қысқартылуы түрінде есте сақтауға мүмкіндік береді. Әдетте, ол процессорлардың белгілі бір отбасының ерекшеліктерін пайдаланады. Төменгі деңгейдегі тілдің белгілі мысалы — ассемблер тілі, дегенмен ассемблер тілдерінің тобы туралы айту дұрысырақ. Бір процессор үшін ассемблер тілінің бірнеше түрі бар. Олар машина нұсқауларында сәйкес келеді, бірақ қосымша функциялар жиынтығымен ерекшеленеді (директивалар мен макростар). Төмен тілдердің мысалы: Ассемблер.

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

C++

Visual Basic

Python

Perl

Delphi(Pascal)

Lisp
Жалпы, Егер компилятор дұрыс құрылған деп қабылдауы мүмкін бағдарламалар динамикада ешқашан рұқсат етілген мінез-құлықтан асып кетпесе, тіл қауіпсіз деп аталады. Бұл мұндай бағдарламаларда ешқандай қателер жоқ дегенді білдірмейді. "Бағдарламаның жақсы мінез-құлқы" термині (ағылш. well behavior) дегеніміз, егер бағдарламада белгілі бір қате болса да (атап айтқанда, логикалық қате), ол деректердің тұтастығын бұзып, құлап кете алмайды. Терминдер бейресми болғанымен, кейбір тілдердің қауіпсіздігі (мысалы, Standard ML) математикалық тұрғыдан дәлелденген. Басқалардың қауіпсіздігі (мысалы, Ada) ad hoc арқылы қамтамасыз етілді-концептуалды тұтастықты қамтамасыз етпестен, егер сіз оларға жауапты міндеттерге сүйенсеңіз, апатқа айналуы мүмкін .
C тілдері және оның c++ ұрпағы қауіпті. Оларға арналған бағдарламаларда терудің әлсіреуі (типтерді азайту) және оның тікелей бұзылуы (теру Пун) жағдайлары кең таралған, сондықтан жадқа кіру қателері олардағы статистикалық норма болып табылады (бірақ бағдарламаның құлдырауы бірден пайда болмайды, бұл кодтағы қатенің орнын табуды қиындатады). Олар үшін ең қуатты статикалық талдау жүйелері қателіктердің 70-80% — ынан аспайды, бірақ оларды пайдалану ақшалай мағынада өте қымбат. Ресми тексеруге жүгінбестен, осы тілдердегі бағдарламалардың сенімділігіне сенімді кепілдік беру мүмкін емес, бұл одан да қымбат емес, сонымен қатар арнайы білімді қажет етеді. Cyclone немесе Rust сияқты қауіпсіз ұрпақтары бар. Forth тілі "қауіпсіз" деп мәлімдемейді, дегенмен, іс жүзінде деректерге зиян келтіретін бағдарламалардың болуы дерлік алынып тасталады, өйткені ықтимал қауіпті қатені қамтитын бағдарлама бастапқы кодты түзетуге мәжбүр ете отырып, алғашқы сынақ басында апатты түрде аяқталады. Эрланг қауымдастығында қателерді ерте анықтауға бағытталған "crash let" әдісі қабылданды.

Бағдарламалау тілдерін әртүрлі критерийлер бойынша жіктеуге болады. Міне, ең маңыздылары.

Бағдарламаның қолданылу саласы. Кейбір тілдер масштабталатын қосымшаларды құруға арналған (кодтың үлкен мөлшері, көптеген әзірлеушілер, әзірлеу және сүйемелдеу көптеген жылдар бойы жүргізіліп келеді). Басқаларында мақсаттар қарапайым: кішігірім әзірлемелер, әртүрлі эксперименттер жүргізу, гипотезаларды тексеру. Сценарий (сценарий) тілдері әдетте екінші типке жатады. Әрине, эволюция барысында шағын бағдарлама бастапқыда көп функциялы, ұзақ өмір сүретін, үлкен бағдарламаға айналмайтынына кепілдік жоқ. Нәтижесінде екінші санаттағы сәтті тілдер көбінесе үлкен дамуға қолданылады. Мысал ретінде Microsoft Office жүйесіне енгізілген тілде офистік бағдарламалау болады.

Тексеру мүмкіндігі. Кейбір тілдер компилятор ықтимал қателерді таба алатындай етіп жасалған-мәтінді талдау нәтижесінде орындалу кезеңінің кейбір қасиеттеріне кепілдік беруге болады. Бұл әдетте бағдарламашыға қосымша міндеттемелер жүктейді, өйткені тексеру қосымша ақпаратты қажет етуі мүмкін (мысалы, барлық бағдарламалық жасақтама нысандарының түрлерін сипаттау). Кейбір тілдер талаптарды алып тастау және Код жазу кезінде бағдарламашының өмірін жеңілдету арқылы өрнектердің қарапайымдылығын қалайды. Тағы бір нәрсе, бағдарламашы жіберген қателер бұл жағдайда тек орындалу сатысында көрінеді.

Абстракция деңгейі. Кейбір тілдер машинаның төменгі деңгейіне тікелей сүйенеді. Басқалары абстрактілі есептеу моделін қолдануды жөн көреді.

Өмірлік циклдің рөлі. Кейбір тілдер тек іске асыру мәселелерін қарастырады. Басқалары өмірлік циклдің барлық кезеңдерінде, жүйені модельдеу, оны талдау және жобалау кезеңдерінде көмектесе алады.

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

Сәулет стилі. Ол жүйенің модульдерге қалай ыдырайтынын анықтайды. Бағдарламалаудың екі негізгі тәсілі тән-функцияларға немесе объектілер түрлеріне негізделген Модульдер құру. Тиісті екі стильдің тілдері процедуралық тілдер деп аталады ("функционалды тілдер" кейінірек талқыланатын басқа нәрсені білдіреді) және объектіге бағытталған тілдер деп аталады.
Белгілі бір тіл үшін осы сипаттамалардың кез-келген комбинациясы мүмкін. Eiffel бағдарламаларында суреттелген Осы курстың бағдарлама стилі C # және Java сияқты тілдерге де тән. Ол болжайды:
жалпы пайдалану (мамандандыру кітапханалардың арқасында рұқсат етіледі), үлкен әзірлемелерге жарамды;

компиляция кезеңіндегі мәтінді статикалық бақылау мүмкіндігі, абстракцияның жоғары деңгейі (кітапханалардың көмегімен төменгі машина деңгейін есепке алу мүмкіндігімен);

өмірлік циклды есепке алу (атап айтқанда, бұл күнделікті техникалық сипаттама мен дизайн үшін қолданылатын Эйфель тіліне қатысты);

тілдің императивтілігі және объектіге бағытталуы.