Sonlu Durum Makinesi (FSM), belirli bir anda sonlu sayıda durumdan birinde bulunabilen ve girdilere bağlı olarak bir durumdan diğerine geçebilen bir hesaplama modelidir. FSM'ler, sistemin davranışını modellemek için kullanılır ve yaygın olarak yazılım mühendisliğinde, donanım tasarımında, dilbilgisinde, derleyici tasarımında ve yapay zekada uygulanır.
Temel Bileşenler:
Durumlar: FSM'nin bulunabileceği olası durumların kümesidir. Her durum, sistemin o andaki koşullarını veya durumunu temsil eder. Örneğin, bir trafik lambası FSM'si için durumlar "Kırmızı", "Sarı" ve "Yeşil" olabilir.
Girdiler: FSM'nin aldığı dış olaylar veya sinyallerdir. Girdiler, durum geçişlerini tetikler. Örneğin, bir otomatik satış makinesi FSM'si için girdiler "Para Atıldı", "Ürün Seçildi" olabilir.
Geçişler: Durumlar arasındaki geçişleri tanımlayan kurallardır. Bir geçiş, mevcut durum, girdi ve sonraki durumu belirtir. Geçişler genellikle bir geçiş diyagramı veya geçiş tablosu ile gösterilir.
Başlangıç Durumu: FSM'nin başladığı ilk durumdur.
Çıkışlar (İsteğe Bağlı): Bazı FSM'ler, durum geçişleri veya belirli durumlarda çıktılar üretebilir. Bu çıktılar, sistemin dış dünyaya etkileşimini temsil eder.
FSM Türleri:
Deterministik Sonlu Durum Makinesi (DFSM): Her durum ve girdi kombinasyonu için yalnızca bir olası sonraki durumun olduğu FSM'lerdir.
Belirsiz Sonlu Durum Makinesi (NFSM): Bir durum ve girdi kombinasyonu için birden fazla olası sonraki durumun olabileceği FSM'lerdir.
FSM'lerin Kullanım Alanları:
Önemli Kavramlar:
Ne Demek sitesindeki bilgiler kullanıcılar vasıtasıyla veya otomatik oluşturulmuştur. Buradaki bilgilerin doğru olduğu garanti edilmez. Düzeltilmesi gereken bilgi olduğunu düşünüyorsanız bizimle iletişime geçiniz. Her türlü görüş, destek ve önerileriniz için iletisim@nedemek.page