Pertanyaan yang diberi tag «formal-languages»

Jelaskan bahasa reguler yang tidak dapat diterima oleh DFA yang hanya memiliki tiga negara. Saya tidak begitu yakin harus mulai dari mana dan bertanya-tanya apakah ada yang bisa memberi saya beberapa tips atau saran. Saya mengerti bahwa lemma pemompaan dapat digunakan untuk membuktikan bahwa suatu bahasa tidak teratur, tetapi dalam …

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

Saya baru saja mulai masuk ke teori komputasi, yang mempelajari apa yang dapat dihitung, seberapa cepat, menggunakan berapa banyak memori dan dengan model komputasi mana. Saya punya pertanyaan yang cukup mendasar, tetapi saya benar-benar berharap beberapa dari Anda dapat membantu saya memahami konsep di baliknya: Mengapa semuanya berpusat di sekitar …

10 complexity-theory  formal-languages 

Asumsikan L.L.L adalah bahasa reguler di atas alfabet yang diurutkan. Apakah bahasa dibangun dengan mengambil setiap kata dalam L.L.L dan mengurutkannya selalu bahasa biasa?

10 formal-languages  regular-languages 

Apakah ada kebutuhan untuk untuk menjadi tak terbatas untuk diputuskan?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Maksud saya bagaimana jika kita memilih bahasa menjadi versi terbatas terbatas , yaitu , ( ), dengan . Mungkinkah menjadi bahasa yang tidak dapat ditentukan? L ⊆ Σ ∗ | L ′ | ≤ N N ∈ N L …

10 formal-languages  computability  undecidability 

Tulis untuk ekspansi desimal (tanpa awalan ). Biarkan dan menjadi bilangan bulat, dengan . Pertimbangkan bahasa ekspansi desimal kelipatan ditambah konstanta:n¯n¯\bar nnnn0Sebuahaabbba > 0a>0a > 0Sebuahaa M.= { ax + b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣ x ∈ N }M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} Apakah biasa? bebas konteks?M.MM (Berbeda dengan Bahasa dari grafik …

10 formal-languages  context-free  regular-languages  integers 

Dari bacaan saya tampaknya sebagian besar tata bahasa berkaitan dengan menghasilkan string yang tak terbatas. Bagaimana jika Anda bekerja sebaliknya? Jika diberi n string dengan panjang m, harus dimungkinkan untuk membuat tata bahasa yang akan menghasilkan string itu, dan hanya string itu. Apakah ada metode yang dikenal untuk melakukan ini? …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

Saya tahu bahwa bahasa yang dapat didefinisikan menggunakan ekspresi reguler dan yang dikenali oleh DFA / NFA (finite automata) adalah setara. Juga tidak ada DFA untuk bahasa {0n1n|n≥0}{0n1n|n≥0}\{0^n1^n|n \ge 0\} . Tetapi masih dapat ditulis menggunakan ekspresi reguler (dalam hal ini bahasa non-reguler dapat) sebagai {ϵ}∪{01}∪{0011}......{ϵ}∪{01}∪{0011}......\{ \epsilon \} \cup \{01\} …

10 formal-languages  regular-languages  regular-expressions 

Pertanyaannya cukup banyak pada judulnya. Apakah pernah ada waktu di mana beberapa bahasa dapat diterima oleh DFA minimal dengan n negara, tetapi L R , pembalikan L , dapat diterima oleh DFA dengan m negara, di mana m &lt; n ?L.L.LnnnL.RL.RL^RL.L.Lmmmm &lt; nm&lt;nm<n

10 formal-languages  reference-request  automata  finite-automata 

Mengapa (jika demikian) pemisah membuat perbedaan antara kedua bahasa?##\# Katakanlah: L = { w s : | w | = | s |w , s ∈ { 0 , 1 }∗, w ≠ s }L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L.#= { w # s : | …

9 formal-languages  context-free  pumping-lemma 

Baru-baru ini saya bertanya-tanya apa yang akan terjadi jika kita membiarkan tata bahasa bebas konteks memiliki jumlah aturan yang tak terbatas. Jelas, jika kita mengizinkan seperangkat aturan tak terbatas seperti itu, setiap bahasa pada beberapa alfabet dapat dijelaskan oleh CFG dengan . Tetapi bagaimana jika kita membatasi ke set aturan …

9 formal-languages  context-free  formal-grammars 

Biasanya saya melihat bahwa dalam representasi semantik operasional struktural untuk loop sementara, status program tidak berubah: ( W h i l eBdHaiS, σ) → ( i fBt h e nS; ( W h i l eBdHaiS)e l s eSKsayaP, σ)(whsayaleBdHaiS,σ)→(sayafBthenS;(whsayaleBdHaiS)elseSKsayaP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

Saya berpikir tentang bahasa unary , di mana diatur dari semua kata yang panjangnya adalah jumlah kuadrat. Secara formal: Mudah untuk menunjukkan bahwa tidak teratur (misalnya dengan Pumping-Lemma). Selanjutnya, kita tahu bahwa setiap bilangan asli adalah jumlah dari empat kotak yang menyiratkan bahwa untuk semua bahasa adalah teratur karena .L …

9 formal-languages  regular-languages 

Sebuah bahasa formal LLL lebih alfabet ΣΣ\Sigma adalah himpunan bagian dari Σ∗Σ∗\Sigma^* , yaitu, satu set kata-kata di atas alfabet itu. Dua bahasa resmi LLL dan L′L′L' adalah sama, jika sesuai set extensionally sama sebagai subset dari L∪L′L∪L′L\cup L' . Seseorang dapat menggunakan bahasa dalam teori kompleksitas untuk memformalkan konsep …

9 complexity-theory  formal-languages  reference-request 

Saya mencari tata bahasa yang peka konteks yang menggambarkan bahasa berikut: L={ww∣w∈{a,b}∗,|w|≥1}L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} . Saya punya masalah dengan fakta bahwa tidak ada aturan seperti X→εX→εX \to \varepsilon yang diizinkan dan oleh karena itu saya tidak dapat menempatkan sembarang yang mengindikasikan "tengah" …

9 formal-languages  formal-grammars  context-sensitive 

Baru-baru ini, saya mengajukan pertanyaan tentang Matematika SE. Belum ada tanggapan. Pertanyaan ini terkait dengan pertanyaan itu, tetapi rincian teknis lebih ke arah ilmu komputer. Diberikan dua DFA dan mana set status, alfabet input, dan fungsi transisi dari dan adalah sama, keadaan awal dan kondisi akhir (menerima) bisa berbeda. Biarkan …

9 formal-languages  reference-request  finite-automata