İçindekiler:
Tanım - Durum Makinesi ne anlama geliyor?
Durum makinesi, bilgisayar programları veya dijital mantık tasarımında kullanılan bir kavramdır. İki tür durum makinesi vardır: sonlu ve sonsuz durum makineleri. Birincisi, koşullar sağlandığında mantık yolunun tespit edilebildiği akış grafikleri ile modellenebilen sınırlı sayıda durum, geçiş ve eylemden oluşur. İkincisi pratik olarak kullanılmaz.
Durum makinesi, belirli bir zamanda bir şeyin durumunu saklayan herhangi bir cihazdır. Durum, girdilere bağlı olarak değişir ve uygulanan değişiklikler için ortaya çıkan çıktıyı sağlar. Sonlu durumlu bir makinenin sınırlı dahili belleği vardır. Giriş sembolleri, bir kullanıcı arayüzü biçiminde bir çıkış özelliği üreten bir sırayla okunur.
Durum makineleri durum diyagramları kullanılarak temsil edilir. Durum makinesinin çıkışı girişin ve mevcut durumun bir fonksiyonudur. Devlet makineleri elektrik mühendisliği, dilbilim, bilgisayar bilimi, felsefe, biyoloji, matematik ve mantık gibi alanlarda önemli bir rol oynamaktadır. En iyi uygulama davranışının modellenmesinde, yazılım mühendisliğinde, donanım dijital sistemlerinin tasarımında, ağ protokollerinde, derleyicilerde, hesaplama ve dil çalışmalarında kullanılır.
Techopedia, State Machine'i açıklıyor
Bir durum makinesinin çalışması bir başlangıç durumundan başlar. Başarılı bir geçişte kabul edilebilir bir duruma dönüşür. Geçiş, sağlanan girdilere göre gerçekleşir. Mevcut durum sistemin geçmiş durumuna bağlıdır. Oluşan durumların sayısı, kullanılabilir hafıza durumlarına bağlıdır. Geçiş belirli koşullara göre etkinleştirilir ve durum değişikliğini gösterir. Bir eylem, belirli bir anda gerçekleştirilen bir etkinliği tanımlar. Farklı eylem türleri geçiş eylemi, giriş eylemi, giriş eylemi ve çıkış eylemidir.
Deterministik otomata, her olası girdi için her durumda tam olarak bir geçişe sahiptir. Deterministik olmayan otomata, bir durum girişi bir, çok veya hiç geçişe yol açar. Yalnızca bir durumu olan bir durum makinesine birleştirici durum makinesi denir ve yalnızca giriş eylemlerini kullanır.
İki farklı durum makinesi grubu, alıcı ve dönüştürücülerdir. Alıcılar, girdinin makine tarafından kabul edilip edilmediğine bağlı olarak bir ikili çıktı üretir. Giriş işlenirken, mevcut durum kabul ediliyorsa, giriş kabul edilir. Aksi takdirde reddedilir. Devlet makineleri tarafından kabul edilen dillere normal diller denir. Başlangıç durumları herhangi bir yerden üzerine gelen bir okla, kabul edilen durumlar ise çift daire kullanılarak temsil edilir. Dönüştürücüler, eylemleri kullanarak belirli bir girdiye dayalı çıktı sağlar. Moore ve Mealy makineleri dönüştürücülere örnektir.
Değiştirilmemiş modelleme dili durum makineleri, içinde hem Moore hem de Mealy makine özelliklerine sahip oldukları için yaygın olarak kullanılmaktadır. Ortogonal bölgeler ve hiyerarşik olarak iç içe durumlar gibi ek kavramları içerir.
