«automata» etiketlenmiş sorular

Bir girdi akışı sembolünü sembolle okuyan ve bir çıkış akışı üretmek için bir durum geçiş haritası kullanan matematiksel aygıtlarla ilgili sorular, belki ikincil depolama kullanıyor olabilir.

2
Boş dize için λ'nın kökeni nedir?
Genellikle boş dizgi (boş sözcük veya boş dize) için sembolünü kullanırım . Ama bazı insanların yerine kullandığını biliyorum .λ εεε\varepsilonλλ\lambdaεε\varepsilon Ben "Boş" kelimesinden türetilmiştir düşünüyorum . Ancak kökeni nedir bilmiyorum .λεε\varepsilonλλ\lambda Otomata teorisinde, otomatanın epsilon geçişi vardır ve bunun da lambda geçişi olduğu söylenir. Örneğin, JFLAP yazılımı varsayılan olarak epsilon …
4
Aşağı İtmeli Otomaçlar “tahmin et” - bu ne anlama geliyor?
Deterministik olmayan pushdown otomatasının deterministik olanlara göre bir gelişme olabileceğinin farkındayım, çünkü bunlar birkaç eyalet arasında "seçebilirler" ve deterministik bir push ile kabul edilemeyecek bazı bağlamsız diller vardır. Yine de, tam olarak nasıl "seçtiklerini" anlamıyorum . Örneğin palindormlar için bulduğum her kaynak, otomatın kelimenin ortasında "tahmin ettiğini" söylüyor. Bu ne …
3
Kleene yıldız operatörü neden Kleene 'kapatma' operatörü olarak da adlandırılır?
Bir cs / programlama teriminin arkasındaki etimolojiyi anlamıyorsam, bunun genellikle temeldeki bazı önemli kavramları kaçırdığım veya yanlış anladığım anlamına gelir. Kleene yıldızına neden Kleene kapatma adı verildiğini anlamıyorum. Yerel olmayan değişkenlere bağlı bir fonksiyon olan programlamadaki kapanışlarla mı ilgili? ... yansıma üzerine, belki de açık uçlu bir kümenin kapalı ifade …
1
Aptallar için Monadik İkinci Mertebe Mantık
Ben otomata kavrama ile programcı, ama mantık üzerinde değil. Makalelerde bu ikisinin çok sıkı ilişkili olduğunu okudum. Deterministik Sonlu Otomata (DFA), Ağaç Otomata ve Görünür Aşağı Açılan Otomata'nın tümü Monadik İkinci Mertebeden Mantık (MSO) ile ilgilidir. Her ne kadar otomatları anlıyorum ve insanlar (gazetelerde) MSO ile olan ilişkiyi bana anlatmaya …
2
“Üretim” kelimesi Bilgisayar Bilimi bağlamında “kural” kelimesi ile nasıl eşanlamlı hale geldi?
Biçimsel dilleri ve üretim üssü sistemlerini (kural-temel sistemleri) inceliyorum ve bu iki kelime "üretim" ve "kural" ın neden Bilgisayar Bilimi'nde bu kadar çok bağlamda aynı anlama geldiği konusunda biraz kafam karıştı. İngilizcede aynı anlama gelmiyorlar. Ben anadili İngilizce değilim ama bir kuralın insanlar hakkında konuşurken yapması gereken / yapmaması gereken …
1
Mümkün olan yerlerde iki NPDA'nın kesişimini hesaplamak
Raphael'in iki NPDA'nın kesişimine ilişkin önerisine yaklaşması : Let ve bağlam bağımsız diller için NPDA ve sırasıyla. Biliyoruz ki varsayarsak bağlam içermeyen, biz (etkili) NPDA gerçekleştirebilmesi için ?A1A1A_1A2A2A_2L1L1L_1L2L2L_2L=L1∩L2L=L1∩L2L = L_1 \cap L_2AAALLL Her türlü algoritma kabul edilebilir, ancak ne kadar pratik olursa o kadar iyidir.
3
Durma problemi neden LBA için kararlaştırılabilir?
Wikipedia'da ve diğer bazı metinlerde okudum Durma problemi [...] doğrusal sınırlı otomata (LBA) [ve] sonlu hafızalı deterministik makineler için kararlıdır. Ancak daha önce, durdurma sorununun çözülemez bir sorun olduğu ve böylece TM'nin çözemediği yazılmıştır! LBA bir tür TM olarak tanımlandığından, bunlar için de geçerli değil mi?
4
Grup teorisi ve biçimsel diller için köprü teoremleri
Matematik gruplarını ve CS resmi dillerini veya Turing makineleri gibi başka bir temel CS kavramını ilişkilendirmenin veya bağlamanın doğal veya kayda değer bir yolu var mı ? Referanslar / uygulamalar arıyorum. Ancak yarı gruplar ve CS dilleri arasındaki bağlantıdan haberdar olduğumu unutmayın ( sonlu otomata üzerinden ). (Semiautomata ilişkin bu …
1
Otomatada normal ifade ve dilbilgisi arasındaki fark
Ben otomata konusunda yeniyim ve bana dün düzenli ifadelere kısa bir giriş yapıldı. Normal bir ifadeyi tanımlamak için çeşitli kuralları okudum. Ama düzenli ifadeler ve bir dilin grameri arasında ayrım yapamıyorum (düzenli ifadeler için dilbilgisi öğretilmemiştir). Dilbilgisinin bir dilde geçerli dizeleri oluşturmamıza yardımcı olduğunu anlıyorum, ancak normal ifadeler durumunu tanımlamak …
3
Bir NFA epsilon geçişlerini nasıl kullanır?
Aşağıdaki resimde, bu NFA'nın tam olarak neyi kabul ettiğini anlamaya çalışıyorum. Beni şey q 0'da ϵ sıçrama .ϵϵ\epsilonq0q0q_0 Bir Eğer girilirse, hem sistem hareket yapar q 0 ve q 1 (devlet kabul)?000q0q0q_0 q1q1q_1 Bir ederse girilirse, hem sistem hareket yapar q 1 ve q 2 ?111q1q1q_1q2q2q_2 Herhangi bir girdi verilmemişse …
3
NFA kullanmadan normal ifadeden DFA nasıl oluşturulur?
Amaç, normal bir ifadeden DFA oluşturmak ve "Normal exp> NFA> DFA dönüşümü" kullanmak bir seçenek değildir. Kişi bunu nasıl yapmalı? Bu soruyu profesörümüze sordum ama sezgiyi kullanabileceğimizi ve herhangi bir açıklama yapmayı reddettiğimizi söyledi. Bu yüzden size sormak istedim. "Normal exp> NFA> DFA dönüşümü" bir seçenek değildir, çünkü böyle bir …
2
Yazmaya karşı korumalı girişe sahip tek bantlı Turing Makineleri sadece Normal Dilleri tanır
İşte sorun: Bantın giriş dizesini içeren kısmına yazamayan tek bantlı Turing Makinelerinin yalnızca normal dilleri tanıdığını kanıtlayın. Benim fikrim, bu özel TM'nin bir DFA'ya eşdeğer olduğunu kanıtlamaktır. DFA'yı simüle etmek için bu TM'yi kullanmak çok basittir. Ancak, TM'yi simüle etmek için bu DFA'yı kullanmak istediğimde, sorunla karşılaşıyorum. TM geçişi DFA, …
3
Bir NFA'nın başka bir NFA'nın alt kümesini kabul edip etmediği için etkili bir test var mı?
Yani, normal bir dil olmadığını test biliyoruz düzenli dil bir alt kümesidir Karar verilebilen biz DFAs, hesaplama için ikisini de dönüştürebilir çünkü bu dil boş ise o zaman testi ve.S R ∩ ˉ SRRRSSSR∩S¯R∩S¯R \cap \bar{S} Bununla birlikte, bu DFA'lara dönüştürmeyi gerektirdiğinden, DFA'ların ve dolayısıyla test algoritmasının giriş NFA'larındaki durum …
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.