«formal-languages» etiketlenmiş sorular

Biçimsel diller, gramerler ve otomata teorisi ile ilgili sorular

1
Aşağıdaki dönüşüm bağlam belirsizliğini koruyor mu?
Bağlamdan bağımsız bir dili değiştirmeyi içeren bu sorunla karşılaştım. İzin VermekLLLbağlamsız bir dil olabilir. Her için tanımlayın . Mı daima bağlamdan-bağımsız? Benim tahminim bağlam-kurnazlığı koruyacağıdır. Herkes bunun temel bir kanıtı olabilir mi?L#={x:xi∈LL#={x:xi∈LL^{\#} = \{ x : x^i \in Li=0,1,2,...}i=0,1,2,...}i=0,1,2,...\}L#L#L^{\#}

3
Mı düzenli?
Hesaplama teorisi sınavımı birkaç hafta önce aldım ve bu sorulardan biriydi: Dilini varsayalımL = { (birnbm)r∣ n , m , r ≥ 0 }L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L düzenli mi? Evetse, bunun için normal bir ifade veya bir otomat sağlayın. Sınavdan sonra kısaca ona cevap sorduktan sonra, gerçekten düzenli görünüyor …





4
Aynı sağ ve sol ilişkisel ürüne sahip kelimeler
Hopcroft ve Ullman kitabını kullanarak deterministik olmayan otomata çalışmaya başladım . Çok ilginç bulduğum bir probleme takıldım: Aşağıdaki tabloya göre çarpılarak soldan sağa sağdan sola değerlendirildiğinde aynı değere sahip tüm dizeleri kabul eden deterministik olmayan bir sonlu otomat verin: ×abcaacbbaacccba×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a & b & c \\ \hline …
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.