«automata» etiketlenmiş sorular

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 …

10 logic  automata  linear-temporal-logic  buchi-automata 

Soru hemen hemen başlıkta. Bazı dilinin durumları olan minimal bir DFA tarafından kabul edilebildiği bir zaman var mı , ancak nin ters çevrilmesi olan , durumları olan bir DFA tarafından kabul edilebilir , burada ?LLLnnnLRLRL^RLLLmmmm&lt;nm&lt;nm<n

10 formal-languages  reference-request  automata  finite-automata 

Eşdeğer NFA'nın durumuna sahip olduğu durumuna sahip bir DFA örneğini nasıl oluşturabilirim . Açıkçası DFA devlet kümesi NFA devlet kümesinin tüm alt kümeleri içermelidir, ancak nasıl başlayacağımı bilmiyorum. Beni doğru yola sokmak için bir öneriniz var mı?2n2n2^nnnn

10 automata  finite-automata 

Bunu söyleyen bir teorem var: Sahip bir sonlu durum Otomaton Verilen bir dize mevcutsa, devletler kolunun uzunluğu tatmin o zaman otomat tarafından kabul edilen dil sınırsızdır.nnnwwwn ≤ | w | ≤ 2 n - 1n≤|w|≤2n-1n \leq |w| \leq 2n-1 Kısıtlamayı anlıyorum , ama neden kısıtlama orada.| w | ≥n|w|≥n|w| \geq …

9 automata  finite-automata 

DFA, NFA ve epsilon NFA her üçü de belirli bir normal dili temsil etmemizi sağlar. Bu temsillerden herhangi biriyle aynı düzenli ifadeye ulaşabiliriz, o zaman neden sonlu otomatanın üç temsil biçimini de incelememiz gerekiyor? NFA'nın hangi DFA'nın yapamayacağı konusunda bazı açıklamalar olabilir, yani NFA belirsizliklerin tasarlanmasında bize yardımcı olabilir. Örneğin …

9 automata  finite-automata  education 

bölünebilen ikili sayıları kabul ederek DFA oluşturabiliriz .nnn Örneğin, 2'ye bölünebilen ikili sayıları kabul eden DFA aşağıdaki gibi oluşturulabilir: Benzer şekilde 3 ile bölünebilen ikili sayıları kabul eden DFA aşağıdaki gibi oluşturulabilir: Bu DFA türlerini oluşturmak için iyi tanımlanmış bir prosedürü takip edebiliriz. Bununla birlikte, biçiminin sayılarını kabul eden DFA'ları …

9 regular-languages  automata  finite-automata  regular-expressions 

Hopcroft ve Ullman kitabını kullanarak deterministik olmayan otomata çalışmaya başladım . Çok ilginç bulduğum bir probleme takıldım: Aşağıdaki tabloya göre çarpılarak soldan sağa sağdan sola değerlendirildiğinde aynı değere sahip tüm dizeleri kabul eden deterministik olmayan bir sonlu otomat verin: ×abcaacbbaacccba×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a & b & c \\ \hline …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism