Teorik bilgisayar biliminin temel bir dal\u0131 olan otomata teorisi, 'otomata' olarak da bilinen soyut makinelerin ve bu makineler kullan\u0131larak \u00e7\u00f6z\u00fclebilecek hesaplama problemlerinin incelenmesine ayr\u0131lm\u0131\u015ft\u0131r. Kendi kendine \u00e7al\u0131\u015fan bu sanal makinelerin kullan\u0131m\u0131 yoluyla algoritmalar\u0131n tasarlanmas\u0131n\u0131 ve kavramsalla\u015ft\u0131r\u0131lmas\u0131n\u0131 i\u00e7erir.<\/p>\n
Kendi kendine \u00e7al\u0131\u015fan makineler veya "otomatlar" kavram\u0131 y\u00fczy\u0131llard\u0131r insanl\u0131\u011f\u0131 b\u00fcy\u00fclemektedir, ancak bunlar\u0131 \u00e7evreleyen matematiksel ve hesaplamal\u0131 teori \u00e7ok daha yak\u0131n zamanda olu\u015fturulmu\u015ftur. Otomata teorisinin k\u00f6kenleri 1940'lar\u0131n sonlar\u0131na ve 1950'lerin ba\u015flar\u0131na kadar uzanmaktad\u0131r. Katk\u0131da bulunan ba\u015fl\u0131ca ki\u015filer aras\u0131nda George Boolos, Richard Burgess ve Richard Montague gibi matematik\u00e7iler ve bilgisayar bilimcileri yer al\u0131yor.<\/p>\n
Ancak en \u00f6nemli \u00e7al\u0131\u015fma, 1936'da Turing makinesi kavram\u0131n\u0131 \u00f6neren Alan Turing taraf\u0131ndan yap\u0131ld\u0131. Bir bant \u015feridi \u00fczerindeki sembolleri bir kurallar tablosuna g\u00f6re hareket ettiren bu teorik makine, modern bilgisayar programlaman\u0131n ve otomata teorisinin temelini att\u0131. .<\/p>\n
\u00d6z\u00fcnde, otomata teorisi hesaplaman\u0131n matematiksel modellerini inceler. Merkezi bir kavram, \u00f6nceden belirlenmi\u015f bir i\u015flem s\u0131ras\u0131n\u0131 otomatik olarak takip eden, kendi kendine \u00e7al\u0131\u015fan bir makine olan "otomat" t\u0131r. Otomatlar, bir dizi durum veya konfig\u00fcrasyondan ge\u00e7erek bir girdi \u00fczerinde hesaplamalar ger\u00e7ekle\u015ftiren makinelerin soyut modelleridir.<\/p>\n
Otomata teorisi ayn\u0131 zamanda resmi diller olarak adland\u0131r\u0131lan dillerin incelenmesini de i\u00e7erir. Bi\u00e7imsel bir dil, bir dizeler k\u00fcmesidir ve bir otomat, belirli bir dizenin belirli bir bi\u00e7imsel dilde olup olmad\u0131\u011f\u0131n\u0131 tan\u0131yan bir cihazd\u0131r.<\/p>\n
Otomata teorisi, di\u011ferlerinin yan\u0131 s\u0131ra derleyiciler, yapay zeka, do\u011fal dil i\u015fleme ve yaz\u0131l\u0131m m\u00fchendisli\u011fi gibi bilgisayar biliminin bir\u00e7ok alan\u0131n\u0131n temelini olu\u015fturur. Yeni algoritmalar\u0131n ve yaz\u0131l\u0131m uygulamalar\u0131n\u0131n geli\u015ftirilmesinde \u00e7ok \u00f6nemlidir.<\/p>\n
En basit haliyle bir otomat a\u015fa\u011f\u0131dakilerden olu\u015fur:<\/p>\n
\u0130\u015flevsellik a\u00e7\u0131s\u0131ndan, bir otomat girdi olarak alfabeden bir dizi sembol okur. Ge\u00e7i\u015f fonksiyonu taraf\u0131ndan tan\u0131mland\u0131\u011f\u0131 gibi, mevcut durumuna ve ge\u00e7erli giri\u015f sembol\u00fcne ba\u011fl\u0131 olarak durumdan duruma ge\u00e7i\u015f yapar. Giri\u015f dizesinin tamam\u0131n\u0131 okuduktan sonra otomat kabul etme durumundaysa, giri\u015f dizesini kabul eder. Aksi takdirde giri\u015f dizesini reddeder.<\/p>\n
Otomata teorisinin temel \u00f6zellikleri \u015funlar\u0131 i\u00e7erir:<\/p>\n
Otomatlar genellikle a\u015fa\u011f\u0131daki t\u00fcrlere ayr\u0131l\u0131r:<\/p>\n