FSA'ları değerlendirmek için Ragel ile çalışıyorum ve makinem girişin tamamlanmasını tamamladığında çalışan bir kullanıcı eylemi gömmek istiyorum. Makinenin kabul eden bir durumda olup olmadığına bakı
iki deterministik olmayan sonlu otomata Verilen M1 ve M2, M1 tarafından kabul dil M2 tarafından kabul dilinin bir üst olup olmadığını belirlemek için verimli bir algoritma var mı?