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

Tôi có ngôn ngữ sau { 0Tôi1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Tôi đang cố gắng xác định lớp ngôn ngữ Chomsky nào phù hợp với nó. Tôi có thể thấy làm thế nào nó có thể được thực hiện bằng cách sử dụng …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

Hãy , L 2 , L 3 , ... là một trong fi nite chuỗi các ngôn ngữ bối cảnh tự do, mỗi trong số đó là de fi định nghĩa trên một bảng chữ cái phổ biến . Đặt là liên kết của , , , ; tức là …

11 formal-languages  context-free  closure-properties 

Bổ đề bơm cho các ngôn ngữ thông thường có thể được sử dụng để chứng minh rằng một số ngôn ngữ không thường xuyên và bổ đề bơm cho các ngôn ngữ không ngữ cảnh (cùng với bổ đề của Ogden) có thể được sử dụng để chứng minh …

11 context-free  proof-techniques  pumping-lemma 

Tôi cần biết lớp CFL nào được đóng theo, tức là tập hợp nào bổ sung cho CFL. Tôi biết CFL không được đóng dưới bổ sung và tôi biết rằng P được đóng dưới bổ sung. Vì CFL PI có thể nói rằng phần bổ sung của CFL được …

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

Tôi đang làm việc thông qua một bài tập khó trong sách giáo khoa và tôi không thể tìm ra cách tiến hành. Đây là vấn đề. Giả sử chúng ta có ngôn ngữ trong đó là một số vô tỷ. Làm thế nào tôi có thể chứng minh rằng …

10 formal-languages  automata  context-free 

Có một cách để thực hiện phân tích cú pháp mờ (chấp nhận các chuỗi ngay cả với lỗi chính tả đến một khoảng cách chỉnh sửa nhất định), với DFA và Levenshtein Automata được xây dựng trong thời gian chạy của từ đầu vào. Có thể làm điều gì …

10 algorithms  context-free  finite-automata  parsers  string-metrics 

Trong một trình phân tích cú pháp LR (0), mỗi trạng thái bao gồm một tập hợp các mục LR (0), là các sản phẩm được chú thích với một vị trí. Trong một trình phân tích cú pháp LR (1), mỗi trạng thái bao gồm một tập hợp các …

10 context-free  parsers  lr-k 

Một cách để xem các biểu thức chính quy là bằng chứng mang tính xây dựng của thực tế sau: có thể xây dựng các ngôn ngữ thông thường bằng cách bắt đầu với một nhóm ngôn ngữ nhỏ và kết hợp chúng thông qua một tập hợp các thuộc …

10 formal-languages  context-free  closure-properties  regular-expressions 

Ai đó có thể khai sáng cho tôi lý do tại sao một trình phân tích cú pháp gốc đệ quy với quay lui thử các sản phẩm và (theo thứ tự đó) không nhận ra ngôn ngữ được tạo bởi ngữ pháp .S→ một SmộtS→mộtSmộtS \rightarrow aSaS→ một mộtS→mộtmộtS …

10 context-free  formal-grammars  compilers  parsers 

Gần đây tôi đã bắt gặp một bài báo mô tả kỹ thuật phân tích cú pháp được đề cập trong tiêu đề. Thật không may, thuật ngữ được sử dụng trong bài báo nói trên có phần vượt quá tầm hiểu biết của tôi, vì vậy tôi đã cố …

10 algorithms  formal-grammars  context-free  parsing 

Viết để mở rộng thập phân của (không có đầu ). Đặt và là các số nguyên, với . Xem xét ngôn ngữ của bản mở rộng thập phân của các bội số của một cộng một hằng số:ˉ nn¯\bar n nnn0mộtaabbbmột>0a>0a > 0aa M = { ¯ mộtx + …

10 formal-languages  context-free  regular-languages  integers 

Hãy là tập hợp các thiết bị đầu cuối và N tập các biểu tượng không đầu cuối của một số bối cảnh tự do văn phạm G .ΣΣ\SigmaNNNGGG Nói rằng tôi có một chuỗi mà x một y ∈ S ( G ) nơi x , y ∈ ( …

10 algorithms  context-free  formal-grammars  compilers 

Tại sao (nếu vậy) seperator ##\# tạo ra sự khác biệt giữa hai ngôn ngữ? Hãy nói: L={ws:|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:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} Dưới đây là một bằng chứng và một ngữ pháp đại diện cho LLL là …

9 formal-languages  context-free  pumping-lemma 

Những món quà ngữ pháp ngữ cảnh tự do sau một "treo lủng lẳng khác" kiểu nhập nhằng (tưởng tượng rằng đại diện cho và là viết tắt của và là viết tắt của một số loại khác giảng dạy hoặc khối): Ví dụ, có thể được phân tích cú …

9 context-free  formal-grammars  parsers  ambiguity 

Gần đây tôi đã tự hỏi điều gì sẽ xảy ra nếu chúng ta cho phép các ngữ pháp không ngữ cảnh có vô số quy tắc. Rõ ràng, nếu chúng ta cho phép tùy ý các bộ quy tắc vô hạn như vậy, mọi ngôn ngữ trên một số …

9 formal-languages  context-free  formal-grammars