Alqoritmlər nəzəriyyəsi - Haqqinda Melumat

Alqoritmlər nəzəriyyəsi (ing. Theory of computation) — hesablama nəzəriyyəsinin bir sahəsidir və müəyyən bir tapşırığı həll etmək üçün dəqiq addımların müəyyənləşdirilməsinə yönəlmişdir. Bu nəzəriyyə informasiyanın işlənməsinin, avtomatlaşdırılmış qərar qəbulunun və verilənlər üzərində müxtəlif əməliyyatların həyata keçirilməsinin əsasını təşkil edir.

Əsas sahələri

Alqoritmlərin effektivliyi və mürəkkəbliyi — alqoritmlərin hansı resurslardan (zaman və yaddaş) nə dərəcədə səmərəli istifadə etdiyini araşdırır.
Qraf nəzəriyyəsi — qovşaqlar və kənarlardan ibarət qraf strukturlarının araşdırılması, məsələn, qısa yol tapma və qrafda axtarış metodları.
Dinamik proqramlaşdırma — təkrarlanan altproblemləri yadda saxlamaqla daha böyük problemləri həll etməyə yönəlmiş metod.
Qridi metodları — verilən problemi yerinə yetirmək üçün hər mərhələdə ən yaxşı yerli seçimi etməklə optimal nəticəyə çatmağa çalışır.
Təsadüfi alqoritmlər — həll prosesi təsadüfi ədədlərə əsaslanan metodlarla həyata keçirilir.
Paralel və paylanmış alqoritmlər — alqoritmlərin çoxsaylı prosessor və ya kompüterlərdə yerinə yetirilməsi ilə əlaqədardır.

Alqoritmlərin nəzəriyyəsi həm də NP-tamlıq, hesablama çətinliyi sinifləri, qərarvermə alqoritmləri kimi sahələri əhatə edir və optimal həllərin tapılması üçün yeni metodların işlənib hazırlanmasına əsaslanır.

Növləri

Avtomat nəzəriyyəsi

Qrammatika	Maşın	İstehsal qaydaları (məhdudiyyətlər)
0-cı tip		$\alpha \rightarrow \beta$ (məhdudiyyətsiz)
1-ci tip		$\alpha A\beta \rightarrow \alpha \gamma \beta$
2-ci tip	Qeyri-deterministik	$A\rightarrow \gamma$
3-cü tip		$A\rightarrow a$ və $A\rightarrow aB$

İstinadlar

. Alan Turing: The Enigma (The Centenary). Princeton University Press. 2012. ISBN 978-0-691-15564-7.
. Introduction to the Theory of Computation 3rd. Cengage Learning. 2013. ISBN 978-1-133-18779-0. central areas of the theory of computation: automata, computability, and complexity. (Page 1)
. June 2012.
Donald Monk. . Springer-Verlag. 1976. ISBN 9780387901701.

[Hodges-2012-1] . Alan Turing: The Enigma (The Centenary). Princeton University Press. 2012. ISBN 978-0-691-15564-7.

[Sipser-3rd-2] . Introduction to the Theory of Computation 3rd. Cengage Learning. 2013. ISBN 978-1-133-18779-0. central areas of the theory of computation: automata, computability, and complexity. (Page 1)

[3] . June 2012.

[Monk1976-4] Donald Monk. . Springer-Verlag. 1976. ISBN 9780387901701.