«dfa» etiketlenmiş sorular

Burada dikkate alınan dönüştürücüler Wikipedia'nın sonlu durum dönüştürücüler olarak adlandırdığı dönüştürücülerdir . Bir dönüştürücünün davranışı , yani hesapladığı ilişki [ T ] yazılır : y kelimesi x iff x [ T ] y için bir çıktıdır .TTT[ T][T][T]yyyxxxx [ T] yx[T]yx[T]y Soru: Aşağıdaki sorun karar verilebilir mi? Verilen: Bir dönüştürücü …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

DFA'nın hafif bir genellemesi ile ilgileniyorum. Her zamanki gibi, devlet setli , sonlu alfabe , üzerinde tarafından tanımlanan bir işlemi var ve başlangıç ​​durumu ; ancak normal terminal seti yerine , alt kümelerinin bir ailesini . Çok dilli bir DFA daha sonraQQQΣΣ\SigmaΣ∗Σ∗\Sigma^*QQQδ:Q×Σ→Qδ:Q×Σ→Q\delta : Q\times\Sigma\rightarrow Qq0q0q_0(Ti)i∈1..n(Ti)i∈1..n(T_i)_{i\in 1..n}QQQMMM (Q,Σ,δ,q0,(Ti))(Q,Σ,δ,q0,(Ti))(Q, \Sigma, \delta, q_0, …

10 automata-theory  dfa 

Güncelleme: Bu sorun son zamanlarda incelenmiş ve çözülmüş gibi görünüyor, şu wiki makalesine bakın: http://en.wikipedia.org/wiki/Tree_walking_automaton Ve ayrıca bu anket: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Farz edin ki, olağan kelime kümesi ({0,1} *) yerine, sözlerimiz doğrusal değildir, daha çok bazı ağaç yapılarında verilmiştir. Makinelerimizin "kaybolmasını" önlemek için, kelimelerimizi ikili, gömülü ağaç kümesi olarak tanımlayın. …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

İzin Vermek ΣΣ\Sigma bir alfabe olmak 222ve boyutu en fazla sınırlı olan minimum DFA'ları düşünün mmm. İzin Vermekf( m )f(m)f(m) "Bu tür farklı minimal DFA'ların sayısını belirtir." İçin kapalı form formül bulabilir miyiz f( m )f(m)f(m)? Bunu göz önünde bulundurarak | Σ | =2|Σ|=2|\Sigma|=2 en fazla DFA boyutunun geçiş fonksiyonu …

9 cc.complexity-theory  automata-theory  nondeterminism  dfa 

Özel durumlar için DFA kesişimi için verimli algoritmalar ile ilgileniyorum. Yani, kesişen DFA'lar belirli bir yapıya uyduklarında ve / veya sınırlı alfabe üzerinde çalıştıklarında. Bu tür durumlarda algoritmaları bulabileceğim bir kaynak var mı? Soruyu fazla genişletmemek için, aşağıdaki yapı özellikle ilgi çekicidir: kesişen tüm DFA'lar ikili alfabede (0 | 1) …

9 automata-theory  time-complexity  dfa