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

Là ngôn ngữ { } bối cảnh miễn phí hay không?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Tôi nhận ra rằng tôi đã gặp phải hầu hết các biến thể của câu hỏi này với các điều kiện khác nhau về mối …

30 automata-theory  fl.formal-languages  grammars 

Là một dự án phụ, tôi đang viết một ngôn ngữ bằng Python. Tôi đã bắt đầu bằng cách sử dụng một bản sao flex / bison có tên gọi là Ply, nhưng đang đi ngược lại với sức mạnh của những gì tôi có thể diễn đạt với phong …

28 fl.formal-languages  pl.programming-languages  grammars 

Các Bổ đề bơm cho các ngôn ngữ thông thường có thể được chứng minh bằng cách xem xét một automaton hữu hạn nhà nước công nhận ngôn ngữ học, chọn một chuỗi với một lớn hơn chiều dài hơn con số của tiểu bang, và áp dụng các nguyên …

21 fl.formal-languages  automata-theory  proofs  grammars 

Người ta biết rằng vấn đề tương đương là không thể giải quyết được đối với các ngôn ngữ không có ngữ cảnh chung. Tuy nhiên, tất cả các bằng chứng về thực tế này mà tôi biết dường như liên quan đến một số ngữ pháp không ngữ cảnh …

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

Đây là một sự cải tổ của các chương trình ngữ pháp? hỏi trước bởi Vag và với nhiều lời đề nghị từ các bình luận viên. Bằng cách nào một ngữ pháp có thể được xem là chỉ định một mô hình tính toán? Ví dụ, nếu chúng ta …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

Trong chương 4 của khóa học thứ hai của Jeffrey Shallit về lý thuyết tự động , vấn đề sau đây được liệt kê là mở: Đặt là một đa thức với các hệ số hợp lý sao cho cho tất cả . Chứng minh hoặc chứng minh rằng ngôn …

14 fl.formal-languages  nt.number-theory  grammars 

Hãy xem xét câu hỏi tự nhiên sau: Cho một ngôn ngữ hữu hạn , ngữ pháp không ngữ cảnh nhỏ nhất tạo ra gì?LLLLLL Chúng ta có thể làm cho câu hỏi trở nên thú vị hơn bằng cách chỉ định một chuỗi ngôn ngữ , ví dụ là …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

Đặt một số được cho. Hãy xem xét ngôn ngữ sau .L n = {nnnLn= {w w|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Nói cách khác, là tập hợp các chuỗi sao chép có độ dài . 2 …

10 fl.formal-languages  automata-theory  grammars  context-free 

Đặt là ngôn ngữ không ngữ cảnh. Xác định p p c ( L ) là bao đóng tiền tố và hậu tố của L , nói cách khác, p p c ( L ) chứa tất cả các tiền tố và hậu tố của L , và do đó …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

Tôi quan tâm đến âm nhạc máy tính, nơi có các cách tiếp cận để coi các bản nhạc là câu trong ngữ pháp tổng quát hoặc hệ thống L. Thay vì sáng tác, người ta có thể chỉ định một ngữ pháp và để máy tính tạo nhạc. Ví …

9 grammars 

Tỷ lệ CFG mơ hồ trên tất cả các CFG là gì? Vì cả hai bộ đều vô hạn, tỷ lệ này không được xác định rõ. Nhưng những gì về mật độ tiệm cận : limn↦∞# ambiguous CFG of size<n# CFG of size<nlimn↦∞# ambiguous CFG of size<n# CFG of …

9 fl.formal-languages  grammars  context-free 

Có tồn tại hoán vị và kích thước đa thức (trong ) ngữ pháp tự do ngữ cảnh mô tả ngôn ngữ hữu hạn trên bảng chữ cái ?| w | = n { w π 1 ( w ) π 2 ( w ) } { 0 , 1 …

9 fl.formal-languages  grammars  context-free 

Tôi bối rối về ví dụ được đưa ra trong bài viết Wikipedia về ngữ pháp nhạy cảm ngữ cảnh: https://en.wikipedia.org/wiki/Context-sensitive_grammar Disclamer : Tôi đã thay đổi phần thảo luận trong bài viết trên wikipedia, vì vậy trạng thái hiện tại của bài viết sẽ khác với những gì tôi …

8 fl.formal-languages  grammars 

Tôi đang cố gắng làm rõ sự hiểu biết của mình trong ví dụ được trình bày trong Phần 2.2 của Tự động lượng tử hữu hạn 1 chiều: Điểm mạnh Điểm yếu và khái quát hóa ( liên kết thay thế này cũng có thể hữu ích). Ví dụ …

8 fl.formal-languages  quantum-computing  automata-theory  grammars 

Chúng tôi biết rằng tất cả các automata đẩy xuống đều có thể biểu diễn bằng cách sử dụng ngữ pháp không ngữ cảnh. Hơn nữa, có một thuật toán để xây dựng CFG từ bất kỳ máy PDA nào (ví dụ: bằng chứng của Sipser trong phần giới thiệu …

8 automata-theory  fl.formal-languages  grammars  software