АВТОМАТЛАР НЯЗЯРИЙЙЯСИ– дискрет информасийа чевириъиляринин (автоматларын) рийази моделлярини юйрянян дискрет рийазиййат бюлмяси; биоложи системлярин вя щесаблама машынларынын рийази моделляри кими автоматларын юйрянилмяси иля ялагядар олараг 20 ясрин орталарында мейдана эялмишдир. А.н.-нин проблематикасы сонрадан хейли эенишлянмишдир. А.н. алгоритмляр нязяриййяси, о ъцмлядян, мцъярряд щесаблама машынлары нязяриййяси иля сых ялагялидир.
Мцъярряд автомат вя автоматларын композисийасы А.н.-нин ясас анлайышларыдыр. Бу анлайышлар реал мювъцд олан дискрет гурулушларын – автоматларын мянтигя уйьун мцъяррядликляридир. Мцъярряд автомат анлайышы гурулушу онун функсийаларынын алгоритми бахымындан характеризя етмяйя, автоматларын композисийасы анлайышы ися гурулушу структур бахымындан характеризя етмяйя имкан верир, башга сюзля, онун даща садя щиссялярдян неъя гурулмасы щаггында тясяввцр йарадыр.
А.н. бир сыра бюлцмлярдян ибарятдир. Мцъярряд-ъябри А. н. бюлцмцндя мцъярряд автоматларын хассяляри вя тапшырыгларын верилмя цсуллары юйрянилир. Цч бош олмайан чохлугдан вя ики функсийадан ибарят олан А=А(У, Х, Й, δ, λ) обйектиня мцъярряд автомат
дейилир. У – щаллары, Х – эириш сигналларыны, Й – чыхыш сигналларыны эюстярир. δ (а,х) кечидляр функсийасы У×Х чохлуьуну У чохлуьуна, λ(а, х) чыхышлар функсийасы ися У×Х чохлуьуну Й чохлуьуна биргиймятли иникас етдирир. Яэяр У, Х, Й чохлуглары сонлу оларса, мцъярряд автомата сонлу автомат дейилир. Мцъяррядъябри А.н.-ндя сонлу автоматлар нязяриййяси вя сонсуз автоматлар нязяриййяси айырд олунур. Сонлу автоматлар нязяриййясинин ясас мясяляляри, демяк олар ки, щяллини тапмышдыр. Бу нязяриййянин ян мараглы нятиъяляриндян бири сонлу автоматларын анализ вя синтез теоремидир. Сонсуз автоматлар нязяриййясиндя сонсуз автоматларын мцхтялиф консепсийаларына бахылыр, даща доьрусу, онлар хцсуси синифляря айрылыр. Бу бюлцм рийази лингвистика вя алгоритм нязяриййяси иля баьлы олдуьу цчцн мцщцм ящямиййят кясб едир.
А.н.-нин диэяр бюлцмц структур А.н.-дир. Бурада автомат, елементляри елементар автоматлар мяъмусундан тяшкил едилян шябякя шяклиндя тясвир олунур.
А.н.-нин цчцнъц бюлцмц ещтимали автоматлар вя юзцтяшкиллянян (дяйишян шяраитляря автоматик уйьунлашан) системляр нязяриййясидир.
А.н.-нин практикада ясас тятбиг сащяси дискрет гурулушларын, о ъцмлядян, щесаблама машынларынын лайищяляндирилмяси вя лайищяляндирмянин автоматлашдырылмасыдыр. А.н. бир тяряфдян алгоритм нязяриййяси кими, классик рийазиййат фянляриндя, диэяр тяряфдян дя рийазиййат вя кибернетикада формал системляр нязяриййяси, програмлашдырма нязяриййяси, формал дилляр вя грамматикалар нязяриййяси кими мцасир нязяриййялярдя мцщцм ящямиййятя маликдир.
