«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

2
Sonlu otomata üzerinde iyi tanımlanmış bir bölüm operasyonu var mı?
Arka fon: İki deterministik sonlu otomata A ve B verildiğinde, C'deki durumların A'daki durumların ve B'deki durumların kartezyen ürünü olmasını sağlayarak C ürününü oluştururuz. Sonra, geçişleri, başlangıç ​​durumunu ve son durumları seçeriz, böylece dil tarafından kabul edilir C, A ve B dillerinin kesişimidir. Sorular: (1) A'yı bulmak için C'yi B'ye …
2
Kabul stratejisi ile Büchi otomatları
Sorun Let dil tanıma, bir Büchi da olmalıdır . Biz varsayalım aşağıdaki anlamda bir kabul stratejisi vardır: bir işlev yoktur pilot ishal için kullanılabilir . Bunu aşağıdaki şartlarla resmileştiriyoruz:L ⊆ Σ co bir σ : Σ * → S AA=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, Q, q_0,F,\Delta\rangleL⊆ΣωL⊆ΣωL\subseteq\Sigma^\omegaAAAσ:Σ∗→Qσ:Σ∗→Q\sigma:\Sigma^*\to QAAA σ(ϵ)=q0σ(ϵ)=q0\sigma(\epsilon)=q_0 tüm ve , a ∈ …
4
Normal dillerdeki hiyerarşiler
Normal diller sınıfı içinde bilinen herhangi bir "hoş" hiyerarşisi (sonlu olabilir) var mı? Burada, her hiyerarşideki sınıflar farklı ifade / güç / karmaşıklık yakalar. Ayrıca, her sınıfın üyeliği bazı unsurlar tarafından "güzel" olarak gösterilmiştir (yıldız yüksekliği sorununun aksine sorunlu olabilir).L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dotsLLL Teşekkür ederim!
4
Fonksiyonlar için eta-denklik Haskell'in seq işlemi ile karşılaştırılabilir mi?
Lemma: Eta denkliği varsayalım (\x -> ⊥) = ⊥ :: A -> B. İspat: ⊥ = (\x -> ⊥ x)eta-denklik ve (\x -> ⊥ x) = (\x -> ⊥)lambda altında azalma ile. Haskell 2010 raporu, bölüm 6.2 seqfonksiyonu iki denklemle belirtir : seq :: a -> b -> b seq …
3
Otomata ve normal dillerde devlet karmaşıklığının önemi?
Ben "okuyorum Düzenli Diller ve Betimsel Karmaşıklık Birleştirme (Galina Jiraskova tarafından) iki normal dillerin birleştirme kaynaklanan devlet karmaşıklığına Galina Jiraskova, 2009 yılına kadar" ama devlet karmaşıklık pratik yansımaları olacağını anlayamıyorum . Beni etkileyen ilk önemsiz düşünce, daha yüksek karmaşıklığın makine tarafından daha fazla zaman ve yer gerektirmesiydi. Bu doğru mu? …
1
Hızlı seyrek boolean matris zincir ürünü
Yani, yan uzunluğu ~ birkaç düzinelerce yaklaşık 100-200 çok seyrek kare boole matrisim var ve ürünlerini hesaplamam gerekiyor. Onları seri olarak çarparsam, ürünün genellikle her adımda seyrek kalacağını biliyorum. Bu durumda özellikle hızlı çalışan matris zincir ürün algoritmaları var mı? Daha yüksek bir seviyede, sorun, çoğu öğenin 0-3'ten fazla olmayacağı …
2
Karşı örnekler olmadan otomatik veri öğrenme
In Angluin en otomata öğrenme çerçevesinde , bir öğrenci amaçları düzenli dil öğrenmek L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* hocasına soruların iki tür sorarak: Kelime sorguları: w∈Σ∗w∈Σ∗w\in \Sigma^* verildi , w∈Lw∈Lw\in L mi? Eşdeğerlik sorguları: K⊆Σ∗K⊆Σ∗K\subseteq \Sigma^* dili verildiğinde , K=LK=LK=L mi? Değilse, öğretmen bir karşı örnek verir, yani w∈K∖L∪L∖Kw∈K∖L∪L∖Kw\in K\setminus L \cup L\setminus …
4
(N) Aynı başlangıç ​​/ kabul etme durumuna sahip DFA
Aynı başlangıç ​​ve kabul etme durumuna sahip sonlu otomatalar tarafından tanınan dil sınıfı hakkında bilinenler nelerdir? Bu, normal dillerin uygun bir alt kümesidir (bu tür her dil boş dize içerdiğinden), ancak ne kadar zayıftır? Basit bir cebirsel karakterizasyon var mı? Aynı başlangıç ​​ve kabul eden durumlara sahip deterministik olmayan otomatlar …
2
Bir FSM'nin durumu neden geleneksel olarak ifade edilir ?
Eşzamanlı mantıksal devreler kullanarak FSM'lerin nasıl uygulanacağını öğretirken, ilginç bir tesadüf fark ettim: hem teorik CS dünyasında hem de elektrik mühendisliği dünyasında, "durum" tipik olarak (ve durum ) olarak gösterilir . Önce EE.sx'e sordum , ama sonra bu konuyu biraz araştırırken, Turing'in orijinal 1936 belgesinde bile Turing makinesinin durumlarını belirtmek …
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.