«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

3
Bir formülün LTL'de ifade edilemediğini, ancak Buchi otomatlarında olabileceğini nasıl kanıtlayabilirim?
Sadece Buchi otomatlarının LTL'den daha etkileyici bir model olduğunu değil, belirli formülün LTL'de ifade edilebildiğini / ifade edilemeyeceğini kanıtlamama yardımcı olabilecek genel bir teknik arıyorum. Örneğin, " en azından eşit konumlarda gerçekleşir" aşağıdaki Buchi otomatik verileriyle tanımlanabilir: burada ve .ppp(q0,q1,Σ,δ,q0,{q0})(q0,q1,Σ,δ,q0,{q0})({q_0, q_1}, \Sigma, \delta, q_0, \{q_0\})δ(q1,∗)=q0δ(q1,∗)=q0\delta(q_1, *) = q_0δ(q0,p)=q1δ(q0,p)=q1\delta(q_0, p) = …
1
L (M) DCFL'de olacak şekilde bir PDA M verildiğinde, L (N) = L (M) olacak şekilde bir DPDA N oluşturun
Bu otomat tarafından kabul edilen dilin deterministik bağlamsız bir dil olduğu ve kabul edilen dili tam olarak kabul eden deterministik bir aşağı itme otomatiği çıkardığı vaadiyle birlikte giriş olarak bir aşağı itme otomatiği alan bir algoritma oluşturmak mümkün müdür? tarafından ?MMML(M)L(M)L(M)NNNMMM Eşdeğer bir problem, girdi olarak aşağı itmeli bir otomata …
1
Ehrenfeucht-Fraïssé oyunları (aslında Ajtai-Fagin) normal diller için.
Sayfa 127. itibariyle üzerinde Immerman (Açıklayıcı Karmaşıklık, 1999) hediyeler varoluşsal monadic ikinci derece (Ajtai-Fagin oyunlar) için EF oyunlar aşağıdaki gibi kelimeleri MSO düzenli dillere eşdeğerdir, oyun yazılabilir.∃∃\exists dili yalnızca Delilah'ın aşağıdaki oyunda kazanma stratejisi yoksa normaldir: 1. Samson , 2. Delilah , 3. Samson seçer alt- pozisyonların kümesinin (diğer bir …
2
Eşdeğer DFA'da birçok durum gerektiren 2DFA?
Herhangi bir DFA kullanarak benzetim yapmak için en az 2 n durum gerektiren durumları olan ( n önemsiz değil, en az 4 diyelim) bir 2DFA var mı ?nnnnnn2n2n2^n Bir iki yönlü DFA (2DFA) sadece tek bir yönde giriş kafasını hareket edebilir sonlu durum otomata farklı olarak, salt okunur Giriş bandı …
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ü …
2
Sözcük listelerini ayırma
Biçimsel dillerde Ayırma Sorunu olarak bilinen açık bir sorun vardır; kısaca iki farklı uzunluk dizesi olarak verildiği, kısaca bir DFA'nın bunları "ayırmak" için ne kadar büyük olması gerektiği anlamına gelir, yani bir dizeyi kabul etmek, diğerini reddetmek.nnn İşte bazı ilgili makaleler 1 , 2 . (Birkaç tane daha var, ancak …
2
En Aza Otomat kabul
Büchi-Automata'nın (ya da Müller-Automata'nın) en aza indirilmesinde standart yaklaşım nedir? Alışılmış tekniğin sonlu kelimelerden aktarılması, yani kabul edilen durumların "tükenmesi" kelimeleri aynı ise, iki durumun eşit olması işe yaramaz. Örneğin, Büchi-Automoton'u, bir başlangıç ​​ve bir son durum olmak üzere iki durumdan oluşan sonsuz sayıda a ile tüm kelimeleri kabul ettiğinizi …
2
Ek olarak normal diller kapalı mı?
Özellikle, tanımlamak ne ben ilavesiyle demek alfabe olmaya { 0 , 1 , 2 , . . . , i } . Verilen düzenli diller A ve B bazı alfabe altında Σ i de, görünüm A × B .ΣiΣi\Sigma_i{0,1,2,...,i}{0,1,2,...,i}\{0, 1, 2, ..., i\}AAABBBΣiΣi\Sigma_iA×BA×BA\times B Sıralı her çift , bu sıralı …
1
Ön düzeltme ve son düzeltme altında açık bağlam içermeyen dillerin kapatılması.
Let bir bağlam-dil ol. Tanımlama öncesi ve sonek kapatılması için , diğer bir deyişle, her içeren 'nin ön ve postfixes ve dolayısıyla kendisi. Benim sorum: bağlamdan bağımsız ve belirsiz bir dilbilgisine sahipse, için de aynı şey geçerli mi?LLLp p c ( L )ppc(L)ppc(L)LLLp p c ( L )ppc(L)ppc(L)LLLLLLLLLp p c …
2
Dikkate değer düzenli ifade otomatalarının sınıflandırılması
Belirli alanlarda karmaşık özelliklerinin bazı ampirik testleri gerçekleştirmek için düzenli ifadeleri otomata dönüştürmek için algoritmalar bir taksonomi çizmek çalışıyorum. Birkaç 'büyük' ​​adın farkındayım, ör. Thompson "Düzenli İfade Arama Algoritması", Thompson, 1968 Glushkov "Düzenli Bir İfadeyi Otomasyona Dönüştüren Yeni Bir Karesel Algoritma", Ponty, et. al, 1996 Antimirov "Düzenli İfadelerin Kısmi Türevleri …
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.