Geçiş sistemi
Teorik bilgisayar biliminde, bir geçiş sistemi, hesaplama çalışmasında kullanılan bir kavramdır. Ayrık sistemlerin potansiyel davranışlarını tanımlamak için kullanılır. Bir kümeden seçilen etiketlerle etiketlenebilecek durumlar ve durumlar arasındaki geçişlerden oluşur; aynı etiket birden fazla geçişte görünebilir.