Pertanyaan yang diberi tag «fl.formal-languages»

Diberi bahasa reguler (NFA, DFA, grammar, atau regex), bagaimana cara menghitung jumlah kata yang menerima dalam bahasa tertentu? Keduanya "dengan tepat n huruf" dan "dengan paling banyak n huruf" menarik. Margareta Ackerman memiliki dua makalah tentang masalah terkait penghitungan kata-kata yang diterima oleh NFA, tetapi saya tidak dapat memodifikasinya untuk …

26 ds.algorithms  co.combinatorics  fl.formal-languages  regular-language 

Dalam banyak makalah yang melibatkan tata bahasa bebas konteks (CFG), contoh-contoh tata bahasa yang disajikan di sana sering mengakui karakterisasi yang mudah dari bahasa yang mereka hasilkan. Sebagai contoh: S→aaSbS→aaSbS \to a a S b S→S→S \to menghasilkan {a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\} , S→aSbS→aSbS \to a S …

25 fl.formal-languages  context-free  context-free-languages 

Saya baru-baru ini membaca tentang parser Earley dan berpikir itu adalah salah satu algoritma paling elegan yang pernah saya lihat sampai saat ini. Namun, algoritma dalam pengertian tradisionalnya adalah sebuah pengenal dan bukan pengurai, yang berarti bahwa ia dapat mendeteksi apakah suatu string cocok dengan CFG tertentu tetapi tidak menghasilkan …

25 fl.formal-languages  parsing 

1) Apa, jika ada, hubungan antara pengetikan statis dan tata bahasa formal? 2) Secara khusus, apakah mungkin untuk otomat terikat linier untuk memeriksa apakah, katakanlah, program C ++ atau SML diketik dengan baik? Otomat tumpukan bertumpuk? 3) Apakah ada cara alami untuk mengekspresikan aturan pengetikan statis dalam istilah tata bahasa …

25 automata-theory  fl.formal-languages  pl.programming-languages  type-theory  type-inference 

Untuk bahasa lebih Σ * , mendefinisikan L 1 / 2 = { x ∈ Σ * : x y ∈ L , y ∈ Σ | x | } . Dengan kata, L 1 / 2 terdiri dari semua x yang ada y panjang yang sama seperti yang x …

24 fl.formal-languages  automata-theory 

Untuk alfabet yang terbatas tetap ΣΣ\Sigma , bahasa formal LLL lebih ΣΣ\Sigma adalah biasa jika ada sebuah robot yang terbatas deterministik (DFA) lebih ΣΣ\Sigma yang menerima persis LLL . Saya tertarik pada bahasa yang "hampir" teratur dalam arti bahwa mereka dapat dikenali oleh automata keluarga ukuran yang hanya tumbuh secara …

23 reference-request  fl.formal-languages  automata-theory  online-algorithms  dfa 

Beberapa dari Anda mungkin telah mengikuti pertanyaan ini , yang ditutup karena tidak menjadi level penelitian. Jadi, saya mengekstraksi bagian pertanyaan yang ada di tingkat penelitian. Di luar teknik "sederhana", seperti mengurangi menjadi penyortiran atau masalah lengkap EXPTIME, teknik apa yang telah digunakan untuk membuktikan batas bawah untuk kompleksitas waktu …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

Ketika bermain-main dengan parsing LR noncanonical, saya memikirkan metode parsing (dengan tabel berukuran tak terbatas, yang membuatnya agak tidak taktis ) yang mampu mengurai persis tata bahasa yang tidak ambigu dalam waktu , dan saya bertanya-tanya apakah mungkin untuk melakukan yang lebih baik :O ( n2)HAI(n2)O(n^2) Bisakah semua tata bahasa …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Selain kompleksitas komunikasi (deterministik) dari suatu relasi , ukuran dasar lain untuk jumlah komunikasi yang dibutuhkan adalah nomor partisi protokol . Hubungan antara kedua ukuran ini diketahui hingga faktor konstan. Monograf oleh Kushilevitz dan Nisan (1997) memberikanRc c ( R )cc(R)cc(R)RRR p p ( R )pp(R)pp(R) c c (R)/3≤log2( p …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

Saya perhatikan bahwa bahasa reguler di atas alfabet secara alami dapat dianggap sebagai masalah, dan memang sebuah kisi. Selain itu, rangkaian bersama dengan bahasa kosong mendefinisikan struktur monoid yang ketat pada kategori ini yang bersifat distributif atas gabungan (saya tidak yakin tentang ketemu). Apakah ini konstruksi yang berguna dalam teori …

21 fl.formal-languages  regular-language  ct.category-theory 

The lemma memompa untuk bahasa reguler dapat dibuktikan dengan mempertimbangkan negara yang terbatas robot yang mengakui bahasa dipelajari, memetik string dengan lebih panjang daripada jumlah kantor negara, dan menerapkan prinsip mengesampingkan. Namun, memompa lemma untuk bahasa bebas konteks (serta lemma Ogden yang sedikit lebih umum), dibuktikan dengan mempertimbangkan tata bahasa …

21 fl.formal-languages  automata-theory  proofs  grammars 

Dilambangkan dengan wnwnw_n jumlah kata-kata panjang nnn dalam (mungkin ambigu) bahasa bebas konteks. Apa yang diketahui tentang wnwnw_n ? Saya yakin ini sudah banyak dipelajari, tetapi saya tidak dapat menemukan apa pun di dalamnya.

20 fl.formal-languages  context-free 

Diberikan reguler , apakah ada batasan non-sepele pada ukuran tata bahasa bebas konteks terkecil untuk ?R 1 ∩ ⋯ ∩ R nR1,…,RnR1,…,RnR_1, \dots, R_nR1∩⋯∩RnR1∩⋯∩RnR_1 \cap \cdots \cap R_n

20 fl.formal-languages  regular-language  context-free 

Tentukan kelas bahasa "sirkular" berikut di atas alfabet alfabet hingga. Sebenarnya, nama itu sudah ada untuk menunjukkan hal yang berbeda tampaknya, digunakan di bidang komputasi DNA. AFAICT, itu kelas bahasa yang berbeda. Bahasa L adalah bundaran iff untuk semua kata www di Σ∗Σ∗\Sigma^* , kami memiliki: www milik L jika …

20 fl.formal-languages  automata-theory  regular-language 

Sudah diketahui bahwa masalah kesetaraan tidak dapat diputuskan untuk bahasa bebas konteks umum. Namun, semua bukti dari fakta ini yang saya sadari tampaknya melibatkan beberapa tata bahasa bebas konteks yang ambigu. Untuk alasan ini, saya ingin bertanya apakah diketahui apakah masalahnya tetap tidak dapat diputuskan saat membatasi diri ke bahasa …

19 fl.formal-languages  grammars  context-free  decidability  undecidability