Câu hỏi được gắn thẻ «formal-languages»

Tôi gặp phải vấn đề này liên quan đến việc thao túng một ngôn ngữ không ngữ cảnh. Đặt là ngôn ngữ không ngữ cảnh. Xác định với mọi . Là luôn bối cảnh là miễn phí? Tôi đoán là nó sẽ bảo tồn bối cảnh. Bất cứ ai có …

9 formal-languages  context-free 

Tôi đã lấy lý thuyết về các kỳ thi tính toán của tôi vài tuần trước, và đây là một trong những câu hỏi: Giả sử ngôn ngữ L = { ( anbm)r| N , m , r ≥ 0 }L= ={(mộtnbm)r|n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L có thường xuyên không? …

9 formal-languages  regular-languages  regular-expressions 

Trong bài viết Phân tích biểu thức theo gốc đệ quy của Theodore Norvell (1999) , tác giả bắt đầu với ngữ pháp sau đây cho các biểu thức số học: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" …

9 formal-languages  context-free  formal-grammars  left-recursion 

Cho một ngôn ngữ , làm thế nào tôi có thể nói trực tiếp, mà không cần nhìn vào quy tắc sản xuất, rằng ngôn ngữ này không thường xuyên?L = { anbncn}L={anbncn} L= \{a^n b^n c^n\} Tôi có thể sử dụng bơm bổ đề nhưng một số kẻ đang …

9 formal-languages  regular-languages  pumping-lemma  intuition 

Tôi muốn sử dụng sự giúp đỡ của bạn với vấn đề sau: L = { ⟨ M⟩ ∣ L ( M) không có ngữ cảnh }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . rằng .L ∉ R E∪ Co R EL∉RE∪CoREL \notin RE \cup CoRE Tôi biết …

9 formal-languages  computability  context-free  turing-machines 

Tôi đang bị mắc kẹt khi giải bài tập tiếp theo: Lập luận rằng nếu có ngữ cảnh và là thường xuyên, thì (nghĩa là thương số đúng ) không có ngữ cảnh.LLLRRRL/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Tôi biết rằng …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata 

Tôi đã bắt đầu nghiên cứu automata không xác định bằng cách sử dụng cuốn sách Hopcroft và Ullman . Tôi bị mắc kẹt trong một vấn đề mà tôi thấy rất thú vị: Đưa ra một máy tự động hữu hạn không xác định chấp nhận tất cả các …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Gần đây tôi đã thảo luận với một người bạn về một trang web đề xuất các thách thức regex, chủ yếu khớp một nhóm từ với một thuộc tính đặc biệt. Anh ta đang tìm kiếm một regex khớp với các chuỗi như ||||||||số lượng số |nguyên tố. Tôi …

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 

Với bất kỳ ngôn ngữ thông thường vô hạn LLL nào, làm thế nào tôi có thể chứng minh rằng LLL có thể được phân chia thành 2 ngôn ngữ thông thường vô hạn ? Đó là: , và và đều vô hạn và đều đặn.L 1 ∪ L 2 …

9 formal-languages  regular-languages  finite-automata 

Tôi đã đọc một số bài lý thuyết ngôn ngữ chính thức và tôi đã gặp một thuật ngữ mà tôi không hiểu. Bài viết thường sẽ đề cập đến một tập hợp "được đóng một cách hiệu quả dưới giao lộ" hoặc các hoạt động khác. "Hiệu quả" nghĩa …

9 formal-languages  terminology  computability  automata  closure-properties 

Tôi là một sinh viên CS (nhưng tôi không biết nhiều về AI, mặc dù không tham gia khóa học nào về nó và chắc chắn không có gì về NN cho đến gần đây), người sắp làm một dự án trường học về AI, vì vậy tôi chọn một …

9 formal-languages  machine-learning  artificial-intelligence  neural-networks 

Trong khóa học về khái niệm ngôn ngữ lập trình của chúng tôi, người hướng dẫn của chúng tôi tuyên bố rằng trạng thái cuối cùng sẽ dẫn đến trạng thái khác trong sơ đồ trạng thái hữu hạn. Nhưng đây dường như là một khái niệm mâu thuẫn cơ …

8 formal-languages  graphs  regular-languages  finite-automata 

Hãy xem xét chuỗi . Có vẻ như "thông thường" theo cách, ví dụ thì không.s 2 = ( 1 , 2 , 3 , 4 , 210 )S1= ( 1 , 0 , 1 , 0 , Hoài )s1=(1,0,1,0,…)s_1 = (1, 0, 1, 0,\dots)S2= ( 1 , 2 , …

8 formal-languages  regular-languages 

Tôi đang gặp vấn đề khi cố gắng xác định xem tất cả các số vuông (1, 4, 9, 16, ...) được viết ở dạng nhị phân (1, 100, 1001, ...) có phải là ngôn ngữ thông thường hay không. Sau một số nỗ lực tìm mô hình chung của …

8 formal-languages  regular-languages  automata  finite-automata 

Câu hỏi: Có bất kỳ văn bản giới thiệu nào trong ngôn ngữ chính thức hoặc lý thuyết ngôn ngữ lập trình thảo luận về cách áp dụng nó vào nghiên cứu ký hiệu tối ưu không? Cụ thể, tôi muốn tìm hiểu ngôn ngữ ngăn xếp, cây phân tích …

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