«buchi-automata» etiketlenmiş sorular

2
Büchi otomata ve linear calculus denkliği
Her LTL formülünün bir Büchi- automaton ile ifade edilebileceği bilinen bir gerçektir . Fakat görünüşe göre, Büchi otomatları daha güçlü ve etkileyici bir modeldir. Bir yerlerde Büchi otomatlarının linear-time calculus'a eşdeğer olduğunu duydum (yani, normal fiksasyon noktaları ve sadece bir temporal işleci ile calculus: ).ωω\omegaμμ\muμμ\muXX\mathbf{X} Bu eşitliğin bir algoritması (yapıcı …

6
Elementlerin tekrarı olmadan bir çift setinden kombinasyon oluşturma
Bir çift çiftim var. Her çift, (x, y) formundadır, öyle ki, x, y, aralıktaki tam sayılara aittir [0,n). Yani, n 4 ise, o zaman aşağıdaki çiftleri var: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Zaten çiftlerim var. Şimdi, n/2tamsayıların hiçbirinin tekrarlanmayacağı şekilde çiftler kullanarak bir kombinasyon oluşturmam gerekiyor (başka bir deyişle, …

1
Deterministik bir Büchi otomatını LTL'ye çevirmek için algoritma (mümkünse)
Temporal mantık Doğrusal ve deterministik Büchi otomata kıyaslanamaz: DBA ifade edemez ve LTL ifade edemez "Her garip harf 'a' en azından" . Ancak bazen bir DBA dilinin LTL'de ifade edilip edilemeyeceğini bilmek ilginçtir.FG aFG,birFGa Belirli bir DBA dilinin LTL'de açıklanabilir olup olmadığına karar veren bir algoritmaya ihtiyacım var. Bunun için …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.