Pertanyaan yang diberi tag «formal-grammars»

Baru-baru ini saya berdiskusi dengan seorang teman tentang sebuah situs web yang mengusulkan tantangan regex, terutama mencocokkan sekelompok kata dengan properti khusus. Dia sedang mencari regex yang cocok dengan string seperti di ||||||||mana jumlah |prima. Saya segera mengatakan kepadanya bahwa tidak akan pernah berhasil karena jika bahasa seperti itu biasa, …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Tata bahasa ini dibiarkan rekursif: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? Jadi secara teori, keturunan rekursif tidak akan berhasil. Tetapi dengan …

8 reference-request  formal-grammars  recursion  parsers  left-recursion 

Pertanyaan: Apakah ada teks pengantar dalam bahasa formal atau teori bahasa pemrograman yang membahas bagaimana menerapkannya pada studi notasi optimal? Secara khusus, saya tertarik untuk mempelajari apa bahasa stack, pohon parse, dan indeks, dan bagaimana memprediksi kapan suatu jenis notasi tertentu akan mengarah pada redundansi eksponensial. Saya pada dasarnya tidak …

8 formal-languages  reference-request  formal-grammars  programming-languages 

Saya membaca makalah Konsep Dasar dalam Bahasa Pemrograman oleh C. Strachey tempo hari, di mana saya membaca sesuatu yang sangat aneh bagi saya. Mengutip secara langsung (dengan bagian aneh disorot oleh saya): Menghadapi situasi seperti yang ada saat ini, di mana ada metode yang umum dikenal untuk menggambarkan kelas tata …

8 formal-grammars  programming-languages  syntax 

L : = { w ∈ { 0 , 1}∗|L.: ={w∈{0,1}∗|L := \{w \in \{0,1\}^* | panjang adalah ganjil 1 ada di tengahwww∧∧ \wedge w }w}w\} Jadi alfabetnya adalah . Masalah saya adalah saya tidak bisa melacak persamaan karakter sebelum dan sesudah . DFA terbatas dengan panjang kurang dari 6:{ …

8 formal-languages  finite-automata  formal-grammars