«regular-language» etiketlenmiş sorular

Düzenli ifadelerle (Kleene anlamında) tanımlanabilecek biçimsel diller veya eşit olarak, sonlu otomata tarafından kabul edilebilecek diller hakkında sorular.

1
Bir dönüştürücünün çıkış uzunluğunun giriş uzunluğuyla sınırlanıp sınırlanmadığı karar verilebilir mi?
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ü …


1
Bir monoidin sözdizimsel bir dili tanıdığı ifadesinin genelleştirilmesi monoid, monoid'i böler
Let sonlu bir alfabe olacak. Belirli bir dil için sözdizimsel monoid resmi dili teoride bilinen bir kavramdır. Ayrıca, bir monoid , bir bir morfizm varsa dilini tanır .AAAL⊆A∗L⊆A∗L \subseteq A^{\ast} M(L)M(L)M(L)MMMLLLφ:A∗→Mφ:A∗→M\varphi : A^{\ast} \to ML=φ−1(φ(L)))L=φ−1(φ(L)))L = \varphi^{-1}(\varphi(L))) Sonra güzel bir sonuç elde ettik: Bir Monoid tanır eğer bir submonoid bir …

1
DFA'lar için geçiş monoid üyeliği
Tam bir DFA verildi A=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F), fonksiyonların bir koleksiyonunu tanımlayabiliriz fafaf_a her biri için a∈Γa∈Γa\in \GammaVe birlikte fa:Q→Qfa:Q→Qf_a:Q\rightarrow Q, fa(q)=δ(q,a)fa(q)=δ(q,a)f_a(q)=\delta(q, a). Bu düşünceyi bir kelimeye genelleştirebilirizw=a1,⋯,amw=a1,⋯,amw=a_1, \cdots, a_m ve fw=fa1∘⋯∘famfw=fa1∘⋯∘famf_w=f_{a_1}\circ \cdots \circ f_{a_m} nerede ∘∘\circ"Fonksiyon bileşimi". Ayrıca,G={fw∣w∈Γ∗}G={fw∣w∈Γ∗}G=\{f_w\mid w\in \Gamma^*\} ve GGG monoiddir. [GGGgenellikle standart ders kitabında geçiş monoid …

1
İki kelimenin bir dilde araya girip girmediğini kontrol etmenin karmaşıklığı
Bazı alfabe sabit bir dil için , INTERLEAVING adını verdiğim şu sorunu ele alalım :LLLAAALLL Giriş: iki kelimeu,v∈A∗u,v∈A∗u, v \in A^* Çıktı: de ve araya eklenmesi olup olmadığı .uuuvvvLLL Burada, ve kelimelerinin bir araya getirilmesi , göreli sıralarını korurken ve harflerini alarak sezgisel olarak elde edilebilen bir kelimesidir . Biçimsel …

1
Düzenli diller ve sürekli iletişim karmaşıklığı
İzin Vermek L⊆A∗L⊆A∗L \subseteq A^* dil ol ve tanımla fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\} tarafından fL(x,y)=1fL(x,y)=1f_L(x, y) = 1 iFF x⋅y∈Lx⋅y∈Lx\cdot y \in L. Şunun için bir referans arıyorum: Önerme. LLL belirleyici iletişim karmaşıklığı düzenli ise fLfLf_L sabittir. Başka bir deyişle, LLL iki oyunculu bir protokol varsa PPP …

1
Sınırlı ziyaret belirsizliği olmayan doğrusal sınırlı otomata sadece normal dilleri tanıyor mu?
Sınırlı ziyaret belirsizliği olmayan doğrusal sınırlı otomata sadece normal dilleri tanıyor mu? Belirsiz doğrusal sınırlanmış otomat (nLBA) ile, girdinin her iki uçta asla üzerine yazılamayacak uç işaretleri ile "dolgulu" geldiği ve böylece kafanın asla giriş bölgesinden çıkamayacağı tek bantlı, belirsiz bir Turing makinesi kastediyorum, "dış" bitiş işaretleri. Bir sayı varsa …
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.