«automata-theory» etiketlenmiş sorular

Soyut makineler, dilbilgisi, ayrıştırma, dilbilgisel çıkarım, dönüştürücüler ve sonlu durum tekniklerini içeren Otomata Teorisi

1
Çok dilli DFA minimizasyonu
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, …
2
Deterministik olmayan ağaç yürüyen otomatlar deterministik olanlardan daha mı güçlü?
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. …
3
Belirsiz bir aşağı itmeli otomat tarafından kabul edilen en çok uzunluğunda bir kelime bulmanın sertliği
Sorun bildirimi : Let bir (potansiyel olarak nondeterministic) aşağı açılan da olmalıdır ve izin olması, giriş alfabe. kelimesi var mı st tarafından kabul edilen ?MMMbirA\cal Aw ∈bir*w∈A∗w \in \cal A^*| w | ≤k|w|≤k|w| \leq kMMM Bu problem NP-tamamlanmış mı? Çalışıldı mı? Böyle bir kelimeyi bulmaya izin veren bir algoritma var …
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
Sonlu kod için tanıyan otomatik veriler
Let sonlu alfabe olacak. Bir kod üzerinde bir alt kümesidir , öyle ki her bir kelime benzersiz bir sözcük birleştirme olarak temsil edilebilir . Bir kod ise sonlu isesonludur. Sonlu bir kod için tanıyan (minimum) otomata hakkında ne bilinir ? Bu tür otomataların herhangi bir karakterizasyonu var mı ( bilmeden …
2
En fazla minimum DFA sayısı
İ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 …
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 …
2
Brzozowski'nin DFA minimizasyon algoritmasını farklı kabul eden durum sınıflarıyla sonlu otomata genelleştirmek?
Brzozowski'nin bir DFA'yı eşdeğer bir minimum durum DFA'ya dönüştürme algoritması oldukça basittir: R ( D )R,(D)R(D) "DFA", bir DFA'daki tüm kenarların ters çevrilmesiyle oluşturulan NFA'yı belirtir DDD, eski başlangıç ​​durumunu kabul eden bir devlet haline getirmek ve eski kabul eden ülkeleri başlangıç ​​durumuna getirmek ve eğer P( N)P(N-)P(N) alt küme …
1
Minimum otomata olarak yönlendirilmiş çoklu grafikler
Düzenli bir dil verildi LLL alfabede birbirA, minimal deterministik otomatı sabit dış derece ile yönlendirilmiş bağlı bir çoklu grafik olarak görülebilir | A ||bir||A|ve belirgin bir başlangıç ​​durumu (geçiş etiketlerini, nihai durumları unutarak). İlk durumu koruyoruz, çünkü her tepe noktasına ondan erişilebilir olmalıdır. Sohbet doğru mu? Yani yönlendirilmiş bağlı ufak …
1
Özel durumlar için DFA kavşak algoritması
Ö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) …
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.