Geçiş tablosu temel olarak geçiş fonksiyonunun tablo şeklinde bir temsilidir. İki argüman alır (bir durum ve bir sembol) ve bir durum ('sonraki durum') döndürür.
Ssis eğitimi
Bir geçiş tablosu aşağıdaki şeylerle temsil edilir:
- Sütunlar giriş sembollerine karşılık gelir.
- Satırlar durumlara karşılık gelir.
- Girişler bir sonraki duruma karşılık gelir.
- Başlangıç durumu, kaynağı olmayan bir okla gösterilir.
- Kabul durumu bir yıldızla gösterilir.
Örnek 1:
Çözüm:
Verilen DFA'nın geçiş tablosu aşağıdaki gibidir:
Mevcut durum | Giriş 0 için sonraki durum | Giriş 1'in Sonraki Durumu |
---|---|---|
→q0 | q1 | q2 |
q1 | q0 | q2 |
*q2 | q2 | q2 |
Açıklama:
- Yukarıdaki tabloda, ilk sütun tüm mevcut durumları gösterir. 0 ve 1 numaralı sütunların altında sonraki durumlar gösterilir.
- Geçiş tablosunun ilk satırı, mevcut durum q0 olduğunda, giriş 0'da bir sonraki durum q1 olacak ve giriş 1'de bir sonraki durum q2 olacak şekilde okunabilir.
- İkinci satırda mevcut durum q1 olduğunda 0 girişinde bir sonraki durum q0, 1 girişinde bir sonraki durum q2 olacaktır.
- Üçüncü satırda 0 girişinde mevcut durum q2 olduğunda bir sonraki durum q2, 1 girişinde ise bir sonraki durum q2 olacaktır.
- q0 olarak işaretlenen ok bunun bir başlangıç durumu olduğunu, q2 olarak işaretlenen daire ise bunun bir son durum olduğunu gösterir.
Örnek 2:
Çözüm:
demet java
Verilen NFA'nın geçiş tablosu aşağıdaki gibidir:
Mevcut durum | Giriş 0 için sonraki durum | Giriş 1'in Sonraki Durumu |
---|---|---|
→q0 | q0 | q1 |
q1 | q1, q2 | q2 |
q2 | q1 | q3 |
*q3 | q2 | q2 |
Açıklama:
- Geçiş tablosunun ilk satırı şu şekilde okunabilir: Mevcut durum q0 olduğunda, giriş 0'da bir sonraki durum q0 olacak ve giriş 1'de bir sonraki durum q1 olacaktır.
- İkinci satırda mevcut durum q1 olduğunda, 0 girişinde bir sonraki durum q1 veya q2 olacak ve 1 girişinde bir sonraki durum q2 olacaktır.
- Üçüncü satırda 0 girişinde mevcut durum q2 olduğunda bir sonraki durum q1, 1 girişinde ise bir sonraki durum q3 olacaktır.
- Dördüncü satırda 0 girişinde mevcut durum q3 olduğunda bir sonraki durum q2, 1 girişinde ise bir sonraki durum q2 olacaktır.