Avtomatlar nəzəriyyəsi

Avtomatlar nəzəriyyəsi — abstrakt maşınların və avtomatların, habelə onlardan istifadə etməklə həll edilə bilən hesablama problemlərinin öyrənilməsi. Bu, riyazi məntiqlə sıx əlaqəsi olan nəzəri kompüter elmində bir nəzəriyyədir. Avtomat sözü yunan sözü olan αὐτόματος sözündən yaranıb, "öz-özünə fəaliyyət göstərən, öz iradəsi ilə, öz-özünə hərəkət edən" deməkdir. Avtomat avtomatik olaraq əvvəlcədən müəyyən edilmiş əməliyyatlar ardıcıllığını izləyən abstrakt özüyeriyən hesablama cihazıdır. Sonlu sayda vəziyyətə malik avtomata Sonlu Avtomat (FA) və ya Sonlu Vəziyyət Maşını (FSM) deyilir. Sağdakı qrafik tanınmış avtomat növü olan sonlu vəziyyət maşınını təsvir edir. Bu avtomat vəziyyətdən (şəkildə dairələrlə təmsil olunur) və keçidlərdən (oxlarla təmsil olunur) ibarətdir. Avtomat giriş simvolunu gördükcə, əvvəlki vəziyyət və cari giriş simvolunu öz arqumentləri kimi qəbul edən keçid funksiyasına uyğun olaraq başqa vəziyyətə keçid (və ya sıçrayış) edir.

Avtomatların sinifləri

Avtomatlar nəzəriyyəsi formal dil nəzəriyyəsi ilə sıx bağlıdır. Bu kontekstdə avtomatlar sonsuz ola bilən formal dillərin sonlu təmsilləri kimi istifadə olunur. Avtomatlar tez-tez tanıya biləcəkləri formal dillər sinfinə görə təsnif edilir, məsələn, əsas avtomat sinifləri arasında yuva əlaqəsini təsvir edən Çomski iyerarxiyasında. Avtomatlar hesablama nəzəriyyəsində, kompilyatorun qurulmasında, süni intellektdə, təhlildə və formal yoxlamada böyük rol oynayır.

Abstrakt avtomatlar nəzəriyyəsi XX əsrin ortalarında sonlu avtomatlarla bağlı işlənib hazırlanmışdır.[1] Avtomatlar nəzəriyyəsi əvvəlcə diskret parametrli sistemlərin davranışını öyrənən riyazi sistemlər nəzəriyyəsinin bir qolu hesab olunurdu. Avtomatlar nəzəriyyəsindəki ilk iş material sistemlərini təsvir etmək üçün diferensial hesablamadan daha çox məlumat sistemlərini təsvir etmək üçün abstrakt cəbrdən istifadə etməklə sistemlər üzərində əvvəlki işlərdən fərqlənirdi.[2] Sonlu vəziyyət çeviricisi nəzəriyyəsi müxtəlif araşdırma icmaları tərəfindən müxtəlif adlar altında işlənib hazırlanmışdır.[3] Türinq maşınının əvvəlki konsepsiyası da aşağı itələyən avtomatlar kimi sonsuz vəziyyətli avtomatların yeni formaları ilə birlikdə bu fənnə daxil edilmişdir.

İstinadlar

redaktə
  1. Mahoney, Michael S. "The Structures of Computation and the Mathematical Structure of Nature". The Rutherford Journal. 27 May 2020 tarixində arxivləşdirilib. İstifadə tarixi: 7 June 2020.
  2. Booth, Taylor. Sequential Machines and Automata Theory. New York: John Wiley & Sons. 1967. səh. 1-13. ISBN 0-471-08848-X.
  3. Ashby, William Ross. "The Place of the Brain in the Natural World" (PDF). Currents in Modern Biology. 1 (2). January 15, 1967: 95–104. doi:10.1016/0303-2647(67)90021-4. PMID 6060865. 2023-06-04 tarixində orijinalından (PDF) arxivləşdirilib. İstifadə tarixi: 2021-03-29. The theories, now well developed, of the "finite-state machine" (Gill, 1962), of the "noiseless transducer" (Shannon and Weaver, 1949), of the "state-determined system" (Ashby, 1952), and of the "sequential circuit", are essentially homologous.

Əlavə ədəbiyyat

redaktə

Xarici keçidlər

redaktə