«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
İki deterministik CFG arasında ayrım yapan düzenli dil
İki verilmiştir varsayalım deterministik dilleri tanımak otomata aşağı itmek ve düzenli dil var olup olmadığını belirlemek için, ve dilek böyle ve . Temel olarak, zorluk, bu dillerden birinden geldiği göz önüne alındığında, herhangi bir dizenin iki dilden hangisinin geldiğini tanıyabilen bir DFA olup olmadığını belirlemektir.birbirABBBR,R,RA ⊆ Rbir⊆R,A \subseteq RR ∩ …
2
Sonlu otomata için yalancı jeneratör
Let bir sabit. D- durumlu sonlu otomata aptal yerine nasıl sahte bir jeneratör üretebiliriz ?dddddd Burada, bir durumlu sonlu otomatada d düğümleri, bir başlangıç ​​düğümü, kabul durumlarını temsil eden bir dizi düğüm ve her düğümden 0, 1 olarak etiketlenmiş iki yönlendirilmiş kenar bulunur. Girişi okurken durumu doğal bir şekilde değiştirir. …
1
Artık sonlu durum otomatlarını en aza indirme
Artık sonlu durum otomatları ([DLT02] 'de tanımlanan RFSA'lar), DFA'larla ortak bazı hoş özelliklere sahip NFA'lardır. Özellikle, her normal dil için her zaman standart bir minimum boyutlu RFSA vardır ve RFSA'daki her durum tarafından tanınan dil, tıpkı bir DFA'da olduğu gibi artıktır. Bununla birlikte, asgari DFA devletleri tüm artıklarla bir bijeksiyon …
1
Dil sınıfı hiyerarşilerini, kapanış özelliklerini vb. Gösteren bir kitap / anket kağıdı var mı?
Şu anda Düzenli ama Bağlam Ücretsiz'in altındaki dil sınıflarını içeren bazı Resmi Dil araştırmaları yapıyorum. Reversal-Bounded Multicounter Machines, Single-stack counter makineleri, deterministic CFL'ler vb. Şeylere bakıyorum. Bu dillerin özelliklerini özetleyen iyi bir kitap veya anket kağıdı bilen var mı merak ediyorum. Baktığım şeylerin çoğu, 1979 baskısında bile Hopcroft-Ullman kitabımda yer …
2
Büchi ve CTL'nin Etkililiği (*)
LTL , Büchi / QPTL , CTL ve CTL * ' nin anlamlılığı arasındaki ilişki nedir ? Bu geçici mantıkların çoğunu kapsayan (özellikle doğrusal ve dallanma zamanı arasında) bazı referanslar verebilir misiniz? Bu geçici mantıklara ve örnek olarak bazı pratik özelliklere sahip bir Venn diyagramı mükemmel olurdu. Örneğin: Büchi'de belirtilebilecek, …
2
Çok kutuplu otomata, bağlama duyarlı tüm belirleyici dillere karar verebilir mi?
Bir MPA (multipebble otomat) bir 2DFA aslında en fazla çakıl (keyfi numarasını kullanabilirsiniz (iki yönlü deterministik sonlu durum makinesi) 'dir belirli bir girdinin üzerine çakıl giriş iki ucu arasındaki bantta yazılır - - ). Hesaplama sırasında, bir MPA kafanın altındaki sembolün bir çakıl taşı olup olmadığını tespit edebilir ve daha …
3
Bir dilin sonlu görünümünü karşılayan minimal DFA
Diyelim ki bir dil , ancak hangi dizelerin aslında dilin bir parçası olduğunu bilmez. Hepsini bir dil sonlu bir görünüşüdür: dizeleri sonlu grubu dilde olduğu bilinmektedir, ve şeritler bir sonlu grubu bilinmektedir dilde olmamak.L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^*A⊆LA⊆LA \subseteq LB⊆(Σ∗∖L)B⊆(Σ∗∖L)B \subseteq (\Sigma^* \setminus L) Örneğin, Diyelim ki ve . dilinde , çünkü …
3
dışında “basit” bir dil mi?
Aşağıdaki özelliklere sahip bir dil L arıyorum: L bağlamsız olmamalıdır. L'nin tamamlayıcısı bağlamdan bağımsız olmamalıdır. (Bağlamsız dillerin en iyi örnekleri olarak ders kitaplarında gördüğünüz her şey, bu ikinci gereksinimin başarısızlığa uğradığı görülüyor.) L çok zor olmamalı, Örneğin, kararsız dillerin ilk iki gereksinime uyduğunu biliyorum, ancak istediğim, biraz "geliştirilmiş" bir otomat …
2
Belirli bir normal dilde sonsuz önek içermeyen alt küme var mı?
Sonlu alfabesinin üzerinde kelimelerin dizi öneki içermeyen bir başka bir öneki hiçbir iki ayrı kelime varsa. Soru: NFA olarak verilen normal bir dilin sonsuz önek içermeyen bir alt küme içerip içermediğini kontrol etmenin karmaşıklığı nedir? Cevap (burada Mikhail Rudoy'a bağlı olarak) : Polinom zamanında yapılabilir ve sanırım NL'de bile. Mikhail'in …
3
“Küçük” Turing makineleri / NFA'ların varlığına ilişkin yapıcı olmayan kanıtlar var mı?
İlgili bir soruyu , algoritmaların yapıcı olmayan varoluş kanıtları hakkında okuduktan sonra , "küçük" (örneğin, devlet-bilge) hesaplama makinelerinin varlığını gerçekten inşa etmeden göstermenin yöntemleri olup olmadığını merak ediyordum. resmen: varsayalım ki bazı dil ve bazı hesaplama modelini düzeltin (NFA'lar / Turing makinesi vb.).L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* için durumlu bir makinenin var olduğunu …
1
Tek sayaçlı tek yönlü alternatif otomatalar, bazı normal olmayan dilleri tanıyabilir mi?
Tek yönlü alternatif basmalı otomata (1APDA), deki herhangi bir dili tanıyabilir (Chandra, Kozen ve Stockmeyer, 1981 ile dönüşüm) . Bir 1APDA'nın aşağı açılan depolamasını bir sayaçla değiştirerek, tek sayaçlı (1ACA) tek yönlü alternatif bir otomat elde edebiliriz. Benim sorum tek dilde 1ACA hakkında.DTIME(2O(n))DTIME(2O(n)) DTIME(2^{O(n)}) 1ACA'lar bazı normal olmayan dilleri tanıyabilir …
1
Belirli bir normal ifade ile tanımlanan dili tanıyan bir DFA oluşturmak için hangi algoritmalar var?
Tüm ders kitaplarım, regex verilen bir DFA üretmek için aynı algoritmayı kullanıyor: İlk olarak, regex'in dilini tanıyan bir NFA yapın, ardından alt küme ("powerset" olarak da bilinir) yapısını kullanarak NFA'yı eşdeğer bir DFA'ya dönüştürün ( isteğe bağlı olarak DFA'nın en aza indirilmesi). Bir keresinde bir profesörün başka algoritmalar olduğunu ima …
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.