«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

11
Sonlu otomatalar okuduktan sonra elde etmem gereken aydınlanma nedir?
Eğlenmek için Hesaplama Teorisini revize ettim ve bu soru bir süredir beni rahatsız ediyor (lisansımdaki Automata Teorisini öğrendiğimde hiç düşünmemiştim). Öyleyse “neden” tam olarak deterministik ve deterministik olmayan sonlu otomataları (DFA / NFA) inceliyoruz? İşte bu nedenle, çözme işleminden sonra elde ettiğim bazı cevaplar var ancak yine de 'aha' anına …
5
Chomsky-hiyerarşi modası geçmiş mi?
Chomsky (–Schützenberger) hiyerarşisi, teorik bilgisayar bilimi ders kitaplarında kullanılmaktadır, ancak açıkça, karmaşıklık Hayvanat Bahçesi Diyagramının tamamıyla karşılaştırıldığında, sadece resmi dillerin (REG, CFL, CSL, RE) çok küçük bir kısmını kapsamaktadır . Hiyerarşi artık mevcut araştırmalarda herhangi bir rol oynuyor mu? Chomsky'ye cstheory.stackexchange'te sadece küçük referanslar buldum ve Karmaşıklık Hayvanat Bahçesi'nde Chomsky …
10
Gerçek bilgisayarların yalnızca sınırlı sayıda devleti vardır, bu yüzden Turing makinelerinin gerçek bilgisayarlarla ilgisi nedir?
Gerçek bilgisayarlar sınırlı belleğe ve yalnızca sınırlı sayıda duruma sahiptir. Bu yüzden aslında sonlu otomatlardır. Teorik bilgisayar bilim adamları neden bilgisayarları incelemek için Turing makinelerini (ve diğer eşdeğer modellerini) kullanıyorlar? Gerçek bilgisayarlara göre bu çok daha güçlü modelleri incelemek ne anlama geliyor? Sonlu otomata modeli neden yeterli değil?
9
Determinizm ile rastgelelik arasındaki fark nedir?
Bunu son zamanlarda duydum - "deterministik olmayan bir makine, olasılıksal bir makine ile aynı değildir. Ham terimlerle, deterministik olmayan bir makine, geçiş olasılıklarının bilinmediği bir olasılıksal makinedir". Anladığım kadarıyla hissediyorum ama gerçekten anlamıyorum. Birisi bana bunu açıklayabilir mi (makineler bağlamında veya genel olarak)? Düzenleme 1: Açıklığa kavuşturmak için, alıntı sonlu …
14
Otomat Teorisi ne kadar pratiktir?
Teorik bilgisayar bilimi ile ilgili konularda her zaman bir uygulama yolu vardır. Ancak ders kitapları ve lisans dersleri genellikle otomata teorisinin önemli bir konu olmasının nedenini ve hala uygulamada uygulamalarının olup olmadığını açıklamıyor. Bu nedenle lisans öğrencileri, otomat teorisinin önemini anlamada güçlük çekebilir ve bunun artık pratik bir kullanım olmadığını …
6
Normal ifadeler değil
Bilgisayar biliminde geçmişi olan birine bile düzenli bir ifadenin ne olduğunu sorun ve cevabın sonlu durumlu bir otomatın erişme sınırının ötesine geçmesi muhtemel. Örneğin, “normal ifade” /^1?$|^(11+?)\1+$/ belirtilen Perl kişiliği Abigail tarafından yaratıldı (ve 2002'den beri Perl'in test grubunun bir parçası ), yalnızca bileşik olan tek sayıları kabul eden bir …
1
Eilenberg'in rasyonel olmayan otomata ve dil hiyerarşisi - şimdi nerede?
Çok etkili kitapları Automata, Languages ​​and Machines (Cilt A, B) 'nin önsözünde, Samuel Eilenberg, rasyonel olmayan ilişkileri kullanarak rasyonel ilişkileri kullanan "hiyerarşi (rasyonel hiyerarşi olarak adlandırılır) ile ilgilenen C ve D Ciltlerini titizlikle vaat etti. Karşılaştırma için bir araç. Rasyonel kümeler bu hiyerarşinin en altındadır. Yukarı doğru hareket etmek, "cebirsel …
2
{
Dil mi { } bağlamsız veya değil?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Bu sorunun neredeyse tüm varyantlarını, i, j ve k arasındaki ilişkiyle ilgili farklı şartlarla karşıladığımı fark ettim, ancak bu değil. Benim tahminim bağlamsız olmadığı, ancak bir kanıtınız var mı?
4
Düzenli ifadelere verimli bir şekilde uyan “küçük” makineler var mı?
Düzenli bir ifadenin, normal ifadeyle orantılı büyüklükte olmayan belirli olmayan bir sonlu otomat tarafından veya potansiyel olarak üssel olarak daha büyük olan deterministik bir FA ile tanınabileceği iyi bilinmektedir. Ayrıca, bir dizesi ve normal ifade verildiğinde , NFA üyeliği orantılı olarak test edebilir. ve DFA üyeliği orantılı olarak test edebilir. …
2
Kaç tane DFA verilen iki dizeyi kabul eder?
Bir tamsayı ve alfabe harflerini düzeltin . Define üzerindeki tüm sonlu durum otomata toplama olmaya durumunu 1. Biz düşünen başlayan devletler tüm DFAS (olanları sadece bağlı değil, minimal veya olmayan dejenere); Böylece, .nnnΣ={0,1}Σ={0,1}\Sigma=\{0,1\}DFA(n)DFA(n)DFA(n)| D F A ( n ) | = n 2 n 2 nnnn|DFA(n)|=n2n2n|DFA(n)|=n2n2n|DFA(n)| = n^{2n}2^n Şimdi, iki …
2
NFA evrensellik koşulları
Belirsiz bir sonlu otomata ve bir işlevi . Ek olarak .A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F)f(n)f(n)f(n)Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i Şimdi aşağıdaki ifadeyi analiz edelim: Eğer , daha sonra .Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A)L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* Bunu yapmak kolaydır, için doğrudur, bu nedenle eğer otomatlar uzunluğa kadar her …
2
Bağlam Duyarlı Dilbilgileri ve Çeşitleri
1) Statik yazım ile resmi gramerler arasındaki ilişki nedir? 2) Özellikle, bir doğrusal sınırlanmış otomatın bir C ++ veya SML programının iyi yazılmış olup olmadığını kontrol etmesi mümkün olabilir mi? Yuvalanmış bir yığın otomatı? 3) Statik yazım kurallarını resmi dilbilgisi terimlerinde ifade etmenin doğal bir yolu var mı?
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.