Қазақстан Республикасы Білім және ғылым министрлігі
С. Торайғыров атындағы Павлодар мемлекеттік университеті
Физика, математика және ақпараттық технологиялар факультеті
Информатика және ақпараттық жүйелер кафедрасы
ТІЛДЕР МЕН АВТОМАТТАР ТЕОРИЯСЫ
дәрістердің тірек конспектісі
Павлодар
УДК 004.434(075)
ББК 32.81я73
Т 51
С. Торайгыров атындағы Павлодар мемлекеттік университетінің
Факультет кеңесінде құпталды
Рецензент
Ж.К. Нурбекова – педагогика ғылымдарының кандидаты,
профессор
Құрастырушы: М.А. Токкожина
Т51 Тілдер мен автоматтар теориясы: дәрістердің тірек конспектісі. – Павлодар, 2007. – 71 б.
Тілдер мен автоматтар теориясы пәнінің негізгі қызметі формалдық грамматика мен соңғы автоматтар теориясы негіздері мен әдістерін оқу және тәжірибеде қолданылуы.
УДК 004.434(075)
ББК 32.81я73
Токкожина М.А., 2007
С. Торайгыров атындағы Павлодар
мемлекеттік университеті, 2007
Кіріспе
«Информатика» ғылыми бағыты негізінен компьютер жадында көрсетіле алынатын модельдерді өңдеу мен іске қосуға негізделген.
Бұдан модельді құру әдісі ақпараттық технологиялар қорын құрайды. Теориялық және тәжірибеде қолданылатын жүйелерді құруда соңғы автомат пен формалды грамматика негізінде пайда болған модельдерді кеңінен пайдалану «Тілдер мен автоматтар теориясы» пәнін «Информатика» бағытының негізгі пәндерінің бірі ретінде санауға мүмкіндік береді.
Бұл пәнді оқуға кіріспес бұрын студенттер «Алгоритмизация мен бағдарламалау негіздері», «Мәліметтер қоры» және «Дискреттік математика» курстарының мазмұнымен таныс болу керек.
«Тілдер мен автоматтар теориясы» пәнінің негізгі қызметі формалдық грамматика мен соңғы автоматтар теориясы негіздері мен әдістерін оқу және тәжірибеде қолданылуы. Бұл пән «Компиляторларды құру», «ЭЕМ элементтері мен түйіндері», «ЭЕМ жобалауды автоматтандыру» және «Имитациялық модельдеу» пәндерін оқытуға дайындық болып табылады.
1.1 Формалдық грамматика мен тілдер анықтамасы
Түрлі ұлттар қарым-қатынас жасайтын табиғи тілден жасанды тілдің ерекшелігі – олар жазба мәтіндерді құру үшін қолданылатыны белгілі. Бұндай тілдер жасанды тілдерден қида жеңіл болып табылады, себебі бұл тілде көп мағыналық пен синоним жоқ,, синтаксис пен семантика жеңілдетілген, сондай-ақ айтарлықтай мәтіндік бағыныңқылық төмендетілген. Жасанды мәтіндердің негізгі қызметі -ақпаратты компьютерлер мен басқару құрылғыларына беру.
Мәтін компьютер немесе басқару құрылғылары орындау қажет тапсырма болып табылады. Бұндай тапсырманың мәтінін адам құрғандықтан, кіріс тілі деп аталатын мәтінді жазу тілі қолданатын адамдар қолданысына ыңғайлы және түсінікті болу керек. Адамға бағытталған тіл әдетте компьютер орындайтын команда түрлерімен біртектес болмайды. Компьютерге түсінікті командалар артынан кіріс тілінде мәтіннің өзгертілуін орындау үшін транслятор деп аталатын арнайы құрылғы немесе бағдарламалар қолданылады.
Трансляторды құру тапсырмасы айтарлықтай қиын және жауапты іс. Оның шешім қабылдау сапасына өзгертуді орындауға қажет ресурстар байланысты болады. Және бұнымен қатар кіріс тілінде жазылған мәтін мазмұнын дәлме-дәл жеткізу трансляторға қойылатын негізгі талап болып табылады. Ондай өзгертулерді іске қосу үшін тіл синтаксисі деп аталатын кіріс мәтіндерінің құрылу ережелерінің дәлме-дәл суреттелуі мен тіл семантикасы деп аталатын мәтін мазмұнын баяндайтын талдау ережелері қажет.
Синтаксис пен семантиканы мазмұндау үшін түрлі құралдар қолданылады. Осылайша тіл синтаксисін формалдық грамматика, ал семантиканы атрибуттық грамматика көмегімен мазмұндауға болады.
Бұл бөлімде тек қана синтаксисті мазмұндаумен байланысты мәселелер ғана қарастырылады. Табиғи тілдік аналогиялармен қолдана отырып формалды тілді нақты ережелер бойынша құрылған көптеген сөйлемдер ретінде көрсетуге болады. Формалды тіл мен құру ережелерінің ұсыныстарын құру тәсілі формалдық грамматика көмегімен анықталуы мүмкін. Бұнымен қатар құру ережелерінің жиыны грамматика кестесі деп аталады, ал құру реті шығару түсінігінің көмегімен анықталады. Грамматика ережелерінің көмегімен тіл сөйлемдерінің ережесі болып табылатын түрлі шығарулар құруға болатыны белгілі. Сондықтан формалдық грамматика көп жағдайларда тудыру грамматикасы, ал шығару – тудыру үрдісі деп аталады.
Бұл бөлімде алфавит, шынжыр, грамматика, шығару, тіл және т.б. базалық түсініктер анықтамалары беріледі. Содан соң формалдық грамматиканың мүмкін классификацияларының бірі – Хомс бойынша классификациялау қарастырылады. Бұл классификация бағдарламалау тілін тәжірибеде мазмұндау үшін қолданылатын грамматика типін көрсетуге мүмкіндік береді. Бөлімнің соңында бағдарламалау тілінің кейбір конструкцияларына арналған жай грамматикаларды құру мысалдары қарастырылады.
Формалдық тіл мен грамматиканы анықтауға қажет алғашқы және ең жай түсінік болып алфавит пен алфавиттегі сөздер табылады.
Символдардың бұл қарастыруда бөлінбейтін соңғы жиыны сөздік немесе алфавит деп, ал жиынға жататын символдар - алфавит әріптері деп аталады.
Мысалы, әрбіреуі екі символдан тұратын  алфавиті 5 әріпті құрайды, ал  алфавиті 4 әріпті құрайды.
Алфавит әріптерінің реті бұл алфавиттегі сөз немесе шынжыр деп аталады. Сөздегі әріптер саны  жиынының ұзындығы деп аталады. Бос шынжыр – бұл бірді-бір әріпі жоқ шынжыр. Оң жақтан немесе сол жақтан  шынжырына кез келген бос шынжырдың қосылуы шынжырын өзгертпейді 
 алфавитінің символдарынан құрылған барлық мүмкін шынжыр жиындарын анықтау үшін  белгісі қолданылады.
 формалды грамматика деп келесі төрт объектінің жиынтығы аталады:  мұнда
Достарыңызбен бөлісу: | 
