Тізімдер. Циклдік тізімдер. Ортогоналды тізімдер 6 страница
(См. также список утилит, предоставляемых C++ для работы с типами.)
Логический тип
bool — тип, способный хранить одно из двух значений: true (истина) или false (ложь).
Символьные типы
signed char — тип для знакового представления символов.
unsigned char — тип для беззнакового представления символов.
char — тип для представления символов, который может наиболее эффективно обрабатываться в целевой системе (эквивалентный signed char или unsigned char, но всё же отличный от них тип).
wchar_t — тип для широкого представления символов.
char16_t — тип для представления символов в UTF-16. (начиная с C++11)
char32_t — тип для представления символов в UTF-32. (начиная с C++11)
Целочисленные типы
int — базовый целочисленный тип. Может быть опущен, если представлен любой из модификаторов. Если не представлен ни один из модификаторов размера, гарантировано имеет ширину не меньше 16 бит. Тем не менее, на 32/64-битных системах почти всегда имеет ширину не меньше 32 бит (см. ниже).
Желілік деректер моделі.
Бұл стандартты құруға американдық ғалым Ч.Бахманның көп үлесі болды. Деректердің желілік моделінің негізгі принциптері 60-жылдардың ортасында құрылды, деректердің желілік моделінің эталондық варианты деректер базасының тілінің жұмысшы тобының есеп берулерінде сипатталған (COnference on DAta SYstem Languages) CODASYL (1971 г.).
Деректердің желілік моделі иерархиялық модель терминдері арқылы анықталады. Ол топтық қатынастың иесі немесе мүшесі болуы мүмкін, жазбалар жиынынан тұрады. Ие-жазба мен бағыныңқы-жазба арасындағы байланыс түрі 1:N типті болады. Бұл модельдердің негізгі айырмашылығы, желілік модельде жазба бірден көп топтық қатынас мүшесі болуы мүмкін. Бұл модельге сәйкес, әрбір топтық қатынасқа ат беріледі және оның типі мен данасы арасындағы ерекшелік жүргізіледі. Топтық қатынас типі оның аты арқылы беріледі және бұл типтің барлық даналары үшін ортақ қасиетті анықтайды. Топтық қатынас данасы ие-жазба мен бағыныңқы-жазба жиынымен (бос болуы да мүмкін) өрнектеледі. Бұл жағдайда келесі шектеулер бар болады: жазба данасы бір типті топтық қатынастың екі данасы болуы мүмкін емес (яғни, жұмысшы, мысалы, екі бөлімде жұмыс істей алмайды).
|
|
|
3.Ақырлы автоматтардың эквиваленттілігі. Мур теоремасы. Мили мен Мур автоматтары.
Ақырлы автоматтар теориясының ең маңызды ғылыми нәтижелерінің бірі бейдетерминді ақырлы автоматтар танитын тілдер тобы толық анықталған детерминді ақырлы автоматтар танитын тілдер тобына сәйкес келетіндігінен тұрады. Ол үшін танитын бейдетерминді ақырлы автомат пен детерминді ақырлы автомат эквиваленттілігі туралы теорема дәлелдейміз.
|
|
|
II.2.2.1-теорема. L тілін танитын кез келген БААM үшін осы тілді танитын ДААM′ әрдайым тұрғызылады.
Дәлелелдеу. Мейлі регулярлық L тілін танитын БААM = < Q, Т, d, F,⊢,⊣, d> берілсін, яғни L(M) = L, онда осы L тілін танитын ДААM′=<Q′,Т′,q′0,F′,⊢,⊣,d′>, яғни L(M′)=L болатындайкелесі жолмен тұрғызылады:
(1) Q' = J(Q) = 2Q, яғни M БАА-ның күйлер жиынының барлық ішжиындары M' ДАА-ның күйлері болады;
(2) q0'= {q0};
(3) F' жиыныFжиынымен қиылыспайтын Q жиыныныңбарлық ішжиындары P жиынынан тұрады, яғни
F'= {P | P ⊆J(Q) &P∩F=Ø};
(4) Т′= Т;
(5) d(P, t) = P'барлықP⊆Qүшін, мұндағыP'={р| кейбірqÎP} үшінркүйіd(q,t) жиынындақамтылады, яғни∃q(qÎP&рÎd(q,t)).
M′автоматыныңкүйі[q1, q2, ..., qi]ÎQ' арқылыбелгіленеді,мұндаq1, ..., qiÎQ; q0'= [q0]. Осыданd'([q1, ..., qi],t) = [p1, …, pj] текқанажәнетекқанасонда
d ([q1, ..., qk],t) = 
d(qi, t) = {p1, …, pj}.
Ендікелесітұжырым(P, τ)╞Mi (P', ε) текқанажәнетекқанасонда, қашанP' = {р| d(q,τ) )╞Mi (p,ε)кейбірqÎPүшін} болғандаорындалатындығынібойыншаиндукциямендәлелдейік.
|
|
|
Индукциябазисі. i=0 үшін(q, τ) )╞M0 (p, ε) текқанажәнетекқанасонда, қашанτ= ε жәнерÎP'болатыныайқын.
Индукцияқадамы. i, τ=tζ, |ζ| = iүшін (P, τ)╞Mi-1(P', ε) ақиқатдепалайық. СондакейбірPÎQүшінтұжырым(P, τ)╞Mi(P',ε) жәнетұжырым (q, tζ)╞Mi (p,ε) теңмәнді.
Бұлжерденшығатыны, ({q0},τ)╞Mi(P', ε), P'ÎF'үшінорындалса,кейбіррÎFүшін (q0,τ)╞Mi(p,ε)орындалады.Сонымен, L(M') = L(M).
Сонымен, ДАА-ныңауысуфункциясыбірғанакүйді, алБАА-ныңауысуфункциясыбірденкөпкүйлердіанықтайды, яғниегерqÎQ – ағымдағыкүй,рÎQ – келесікүй,tÎT – ағымдағыкіріссимволыболса, ондаd(q, t) = р– ДААүшін,d(q, t) = {р} – БААүшінжәнеегерd(q, t) = Ø, ондаd(q, t) функциясыанықталмаған. ОсыданДААқайсыбірБАА-ныңдербесжағдайыекендігікөрінеді.
Осылайшаегербізавтоматтардыңбастапқыжағдайларыэквиваленттідесек, ондабасқадаэквиваленттіжағдайларжұбыналуымызғаболады.
Егеросындайжұптардыңбірінеаяқтаушыжағдайменаяқтаушыемесжағдайтүсіпқалатынболсаонда 
эквиваленттіемес.
|
|
|
Милавтоматы - ол M = (К, X, Y, f, g) түріндегібестік, мұндағы:
K - автоматтардыңкүйлерініңжиыны;
X – кіруалфавиті;
Y – шығуалфавиті;
f - өтуфункциясы (K . X → K бейнеленуі);
g – шығуфункциясы (K . X → Y бейнеленуі).
БасқаавтоматтарсияқтыМилиавтоматындаграфнемесекестетүріндекөрсетугеболады. Милиавтоматыныңөтуграфындадоғалардакіружәнешығусимволдары ‘/ ’ символыарқылынұсқалады (белгіленеді). Өтукестесіекібөліктентұрады: солжақбөлігіндешығуфункцияларыныңмәндеріжазылады, алоңжағында - өтуфункцияларыныңмәндері.
Муравтоматы
Муравтоматы – ол U = (К1, X, Y, f1, h) түріндегібестік, мұндағы:
K1 – автоматтардыңкүйлерініңжиыны;
X – кіруалфавиті;
Y – шығуалфавиті;
f1 - өтуфункциясы (K . X → K бейнеленуі);
h - функция выходов (K . X → Y бейнеленуі).
Мур автоматын көрсеткенде графтың доғасы кіру алфавитінің символдарымен белгіленеді, ал графтың әрбір төбесі – шығу алфавитінің күйлері мен символдары арқылы белгіленеді.Мили және Мур автоматтарының анықтамасын формальды салыстырғанда Мур автоматы кіруге тәуелсіз Мили автоматы болып көрінуі мүмкін, яғни шығу функциясы келесі шарттарды қанағаттандыратын Мили автоматы: ∀a ∈X, ∀b ∈X, ∀z ∈Z (g(z, a) = g(z, b)). Бірақ бұл Мур автоматын функциялау әдісінің енгізілген анықтамасына сай келмейді. Мур автоматында бір күйден екінші күйге өту мен шығудың арасында Мили автоматымен салыстырғанда басқа уақыт байланысы бар, Мили автоматында қандай да бір кіру мен күйге сәйкес келетін шығу, автомат келесі күйге өткенде туады. Мур автоматында ең алдымен шығу туындайды, содан кейін барып келесі күйге өту басталады, сонымен қатар шығу автоматтың күйіне байланысты анықталады.
Автомат Мили
Автомат Мура
БИЛЕТ -8
- Массивтер, жазбалар және жиындар.
Массив типі
Массив типі – реттелген бір типті компоненттердің бекітілген саны. Олар бірөлшемді және көпөлшемді бола алады. Массив типін беру үшін array резервтелінген сөз пайдаланылады, одан кейін индекстің (индекстар) компоненттің (квадр түріндегі жақшаларында) типін және of сөзінен кейін компоненттердің типін көрсету керек:
type
< типтің аты > = array [< индекстің типі (индекстардың) >] of
< компоненттердің типі >;
Массив типін енгізгеннен соң, осы типтін айнымалыларын немесе типтелген константтарын беруге болады.
Жиын
Жиынның түрін анықтау үшін set және of сөздерін қолдану керек, одан кейін осы жиынның элементтерін аралық немесе санап шығу ретінде көрсету, мысалы:
type
Alfa = set of ‘A’ .. ‘Z’;
Cout = set of (Plus, Minus, Mult, Divid);
Ten = set of 0 .. 9;
Number = set of ‘0’ .. ‘9’;
Жиынтипіненгізіпосыжиынтүрініңайнымалылардынемесеконстанттардыберугеболады. Жиынғабағдарламадамәнберугеболады. Мәнжиынныңконструкторыныңкөмегіменберіледі.
Элементтiң жиынға тиiстiлiгiн анықтайтын қызметшi сөз –IN(in–тиiстi (да‚ де жатыс септiгiнiң жалғауы)).
Жиындармен орындалуы мүмкiн әрекеттер:
-бiрiктiру(+); мысалы‚ [3,5,9]+]7,9]=[ 3,5,9,7,9];
-қиылысын табу ( * ); {екi жиында да бар элементтерден тұратын жиын}
-айырмасын табу( - ); {соңғысында жоқ элементтер}
-салыстыру;
- элементтiңжиынға тиiстiсiнанықтау (IN).
Бiрiктiрiлген жиын – екi жиынның барлық элементтерiнен тұратын жиын. Мысалы‚ [3,5,9]+[7,9]=[3,5,9,7,9].
Екi жиынның қиылысы – екi жиында да бар элементтерден тұратын жиын. Мысалы‚ [3,5,9]*[7,9]=[9].
Жазба – атрибуттардың аталған жиынтығы. Жазбаларды пайдалану базаға бір рет кіру арқылы бірқатар логикалық байланысы бар деректер жиынтығын алуға мүмкіндік береді. Нақ осы жазбаларды өзгертеміз, қосамыз және өшіреміз. Жазба типі оның құрамындағы атрибуттар арқылы анықталады. Жазба данасы – ол нақты элементтер мәні бар нақты жазбалар.
Жазба және оның өріс элементтеріне атаулар беріледі.
Мысал:
Type abit= record
N:integer; {рет нөмірі}
Fam:string[13] ; {аты-жөні}
Ball:integer;{ұпай саны}
End;
Var B:abit; {жазу аты}
Top: array[1..15] of abit; {массив}
Жазбаның әр компонентін жазба аты және нүкте арқылы ажыратылған өріс аты арқылы өрнектеуге болады.
- Реляциялық деректер моделі.
Реляциялық модельді 1970 жылы Е.Ф.Кодд ұсынды. Қазіргі уақытта, қазіргі замаңғы коммерциялық МББЖ-дың барлығы дерлік осы модельді стандарт ретінде қабылдайды.
Реляқциялық модельдер, иерархиялық немесе желілік модельдерге қарағанда, деректерді абстракциялаудың жоғарғы деңгейінде. Е.Ф.Кодд жоғарыда аталған мақаласында былай дейді: «реляциялық модель мәліметерді сипаттауда, олардың тек табиғы структурасы негізіндегі құралдарды ұсынады, яғни, машиналық түрде көрсету мақсаты үшін ешқандай қосымша структура еңгізу қажеттілігі жоқ». Басқаша айтқында, деректерді көрсету олардың физикалық ұйымдастыруынан тәуелсіз. Бұл математикалық қатынас теориясын пайдалану есебінен қамтамасыздандырылады («реляциялық» деген аттың өзі ағылшынның relation – «қатынас» деген сөзінен шығады).
- Ақырлы автоматтардың алгебралық құрылымдық теориясы.
А. т. состоит из ряда разделов. Один из разделов: абстрактно-алгебраическая А. т. В этом разделе абстрактные автоматы изучаются с точки зрения исследования их свойств и различных способов задания. Абстрактным автоматом называют объект А = А (U, X, Y, , ), состоящий из трёх непустых множеств: U — состояний, Х — входных сигналов, Y — выходных сигналов, и двух функций, осуществляющих однозначное отображение множества UХ в U, (а, х) переходов и множества UХ в Y, (а, x) выходов. Абстрактный автомат называется конечным, если множества U, X, Y — конечны. В абстрактно-алгебраической А. т. можно выделить теорию конечных автоматов и теорию бесконечных автоматов. Основные вопросы теории конечных автоматов можно считать решенными. Наиболее интересными результатами теории конечных автоматов являются: теорема анализа и синтеза конечных автоматов, которая даёт характеристику событий, представленных в конечных автоматах, теоремы об определяющих соотношениях в алгебре регулярных событий, оценки длины экспериментов с конечными автоматами, а также ряд результатов по исследованию алгебраических свойств абстрактных автоматов. В теории бесконечных автоматов рассматриваются различные концепции бесконечных автоматов, точнее выделяются классы бесконечных автоматов специального вида. Этот раздел важен тесной связью с общей теорией формальных языков и грамматик (см. Математическая лингвистика), а также с теорией алгоритмов (см. Алгоритмов теория). В рамках абстрактно-алгебраической А. т. наметился (конец 60-х гг.) подход к решению проблемы создания алгебры алгоритмов и построения аппарата для формальных преобразований выражений в этой алгебре, что позволяет совершенно по-новому подойти к решению такого рода задач, как эквивалентность схем алгоритмов, и даёт возможность эффективно решать оптимизационные задачи в проектировании дискретных устройств.
БИЛЕТ -9
- Тізбектер. Ақпараттық құрылымдар. Сызықты тізімдер.
FlexiObjDB репозиториі контексінде ақпараттық құрылымдар объектілер, процестер және олардың қасиеттері сияқты негізгі түсініктер негізінде аналитиктер (геологтар, технологтар және т.б.) тарапынан қалыптастырылады. Яғни, кез-келген объект / процесс (репозиторий контекстінде) өзінің сипаттары мен доменнен басқа объектілермен / процестермен байланысын көрсететін өзінің жеке ақпарат құрылымына ие. Ақпараттық құрылым - ата-ана / процесспен басталатын иерархиялық нысан / процестің бөлігі болып табылады және осы нысандардың / процестердің барлық қасиеттерін қамтиды. Оның негізгі мақсаты - адамға (белгілі бір объектіге / процеске) тұжырымдамалық жүйелік шектеулердісіз, қолайлы сапада (домендегі Аналитикалық Пайдаланушының тұрғысынан) анық жіктелген және құрылымдалған ақпаратты сақтау. Домендегі кез-келген объектілер / процестердің қасиеттері шексіз әртүрлі қасиеттерге ие, олардың көрінісі байқаушыны ақпараттық дүкендердің ақпараттық құрылымдарында одан әрі көрсету үшін басып алуға және жазуға мүмкіндік береді. Осындай объектілер / процестер (доменде) кейбір қасиеттердің (осы қасиеттердің мәндерімен шатастырмау үшін) белгілі бір «жеке өзгеріс» арқылы айтарлықтай дәрежеде (оларды репозиторийдің ақпараттық құрылымдарына жатқызу жағдайында) бар.
Дата добавления: 2018-08-06; просмотров: 390; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!