«fl.formal-languages» etiketlenmiş sorular

biçimsel diller, gramerler, 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?
4
Minimum düzenli ifadeyi bulmak NP tamamlanmış bir sorun mu?
Şu sorunu düşünüyorum: Belirli bir dizeyle (örneğin geçerli e-posta adresleri için) eşleşen ve başkalarıyla eşleşmeyen (geçersiz e-posta adresleri) normal bir ifade bulmak istiyorum. Normal ifadeyle, iyi tanımlanmış bazı sonlu durum makinelerini kastettiğimizi varsayalım, kesin terminolojiye aşina değilim, ancak izin verilen ifadelerin bazı sınıfları üzerinde anlaşalım. İfadeyi el ile oluşturmak yerine, …
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 …
4
En güçlü ayrıştırıcı nedir?
Yan proje olarak Python'u kullanarak bir dil yazıyorum. Ply adında bir esnek / bizon klonu kullanmaya başladım, ancak bu dilbilgisi tarzında ifade edebileceğim gücün kenarlarına karşı geliyorum ve empedans uyumsuzluğu nedeniyle dilimi kırmakla ilgilenmiyorum alet. Bu nedenle, kendiminkini yazma konusunda hevesli değilim Peki en güçlü çözümleyici türü nedir? Makalelere yapılan …
1
Düzenli ağaç dil var mı hangi boyutta bir ağacın ortalama yüksekliği
Düzenli bir ağaç dilini TATA kitabındaki gibi tanımlarız : Belirsiz bir sonlu ağaç otomatiği (Bölüm 1) veya eşdeğerde normal bir ağaç dilbilgisi (Bölüm 2) tarafından üretilen ağaçlar kümesi tarafından kabul edilen ağaçlar kümesidir. Her iki formalizm, iyi bilinen dize analoglarına yakın benzerlikler taşımaktadır. Düzenli ağaç dil var mı hangi boyutta …
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.