Çevrimiçi Sonlu Durum Makinesi (FSM) Simülatörü

FSM Simülatörünün Özellikleri ve Sınırlamaları

Bu araç, yalnızca belirleyici (deterministik) geçiş tablolarını simüle eder. Her kural satırı virgülle ayrılmış üç alan içermelidir: geçerli durum, girdi karakteri, sonraki durum. Durum adları boş olamaz ve en fazla 50 UTF-16 kod birimi olabilir; her girdi sembolü tam olarak bir Unicode kod noktasıdır. Aynı durum ve sembol için yalnızca bir geçiş tanımlanabilir; tekrar eden anahtarlar hata olarak kabul edilir.

Örnek Çalışma

Kurallar: q0,0,q0, q0,1,q1, q1,0,q0, q1,1,q1. Başlangıç durumu q0, girdi 1011 olsun. Beklenen yol: q0 -> q1 -> q0 -> q1 -> q1 ve son durum q1 olur.

Önemli Sınırlamalar

• Kabul durumu (accepting state) alanı yoktur; araç yalnızca geçişleri simüle eder, kabul kararı vermez.
• Epsilon geçişleri, belirsizlik (nondeterminism), düzenli ifade dönüşümü veya minimizasyon desteklenmez.
• Virgül yapısal bir ayraçtır; durum adlarında veya sembollerde virgül kullanılamaz.
• Büyük girdilerde yol uzun olabilir; önce kısa bir diziyle test edin.

Sıkça Sorulan Sorular

1. Geçiş tablosunda aynı durum ve sembol için birden fazla kural yazarsam ne olur?

Araç, tekrar eden anahtarları sessizce üzerine yazmak yerine hata olarak kabul eder. Her durum-sembol çifti için yalnızca bir geçiş tanımlayabilirsiniz.

2. Girdi dizgisinde Unicode karakterler kullanabilir miyim?

Evet, her girdi sembolü bir Unicode kod noktası olarak işlenir. Örneğin, emoji gibi tamamlayıcı düzlem karakterleri de kullanılabilir; ancak bu sayfada emoji gösterimi yerine kod noktası notasyonu (U+1F600 gibi) kullanılır.

3. Simülasyon sırasında bir geçiş bulunamazsa ne olur?

İşlem, o karakterde durur ve hata mesajı gösterir. Bu, tanımsız bir geçişle karşılaşıldığında beklenen davranıştır.