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

Mọi người thường nói rằng trình phân tích cú pháp LR (k) mạnh hơn trình phân tích cú pháp LL (k) . Những tuyên bố này là mơ hồ hầu hết thời gian; cụ thể, chúng ta nên so sánh các lớp cho một cố định hoặc liên minh trên …

67 formal-languages  formal-grammars  parsers  reference-question 

Chúng ta hãy gọi một ngôn ngữ xác định ngôn ngữ không ngữ cảnh nếu và chỉ khi nó có thể được chấp nhận bởi một máy tự động đẩy xuống xác định, và không khác biệt. Chúng ta hãy gọi một ngôn ngữ không có ngữ cảnh vốn đã …

36 formal-languages  automata  formal-grammars  pushdown-automata 

Thấy trong Chomsky Hierarchy Loại 3 ngôn ngữ có thể được công nhận bởi một máy nhà nước không có bộ nhớ bên ngoài (ví dụ, một automaton hữu hạn), Loại 2 bởi một máy nhà nước với một đơn stack (tức là một automaton đẩy xuống) và Gõ 0 …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

Có rất nhiều định nghĩa trực tuyến về ngữ pháp không ngữ cảnh là gì, nhưng không có gì tôi thấy là thỏa mãn rắc rối chính của mình: Có gì bối cảnh là nó giải phóng của? Để điều tra, tôi đã tìm hiểu "ngữ pháp nhạy cảm ngữ …

30 terminology  context-free  formal-grammars 

Tôi đã nghiên cứu các trình biên dịch trong một thời gian và tôi đã tìm kiếm những gì có nghĩa là "ngữ cảnh" trong ngữ pháp và ý nghĩa của ngữ pháp là "không ngữ cảnh", nhưng không có kết quả. Vì vậy, bất cứ ai có thể giúp …

29 terminology  context-free  formal-grammars 

Tôi có một bộ các cặp. Mỗi cặp có dạng (x, y) sao cho x, y thuộc các số nguyên từ phạm vi [0,n). Vì vậy, nếu n là 4, thì tôi có các cặp sau: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Tôi đã có các cặp. Bây giờ, tôi …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Có nhiều kỹ thuật để chứng minh rằng một ngôn ngữ không có ngữ cảnh, nhưng làm cách nào để chứng minh rằng một ngôn ngữ không có ngữ cảnh? Có những kỹ thuật nào để chứng minh điều này? Rõ ràng, một cách là thể hiện một ngữ pháp …

26 formal-languages  context-free  formal-grammars  proof-techniques  reference-question 

Vấn đề của tôi là làm thế nào tôi có thể chứng minh rằng một ngữ pháp không rõ ràng? Tôi có ngữ pháp sau: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then …

25 context-free  formal-grammars  proof-techniques  ambiguity 

EPAL, ngôn ngữ của các palindromes, được định nghĩa là ngôn ngữ được tạo bởi ngữ pháp không ngữ cảnh rõ ràng sau đây: S→ một mộtS→mộtmộtS \rightarrow a a S→ b bS→bbS \rightarrow b b S→ một SmộtS→mộtSmộtS \rightarrow a S a S→ b SbS→bSbS \rightarrow b S b …

23 formal-languages  formal-grammars  parsers 

Chỉ định ngôn ngữ chính thức bằng cách đưa ra các ngữ pháp chính thức là một nhiệm vụ thường xuyên: chúng ta cần ngữ pháp không chỉ để mô tả các ngôn ngữ, mà còn để phân tích chúng, hoặc thậm chí làm khoa học thích hợp . Trong …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 7 năm trước . Tôi đang tìm kiếm các lý thuyết toán học …

22 formal-languages  formal-grammars 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 6 năm trước . Trong thiết kế trình biên dịch, tại sao phải …

20 formal-grammars  compilers  left-recursion 

Chúng ta hãy xem xét hai ngữ pháp không ngữ cảnh và G 2 và đặt câu hỏi sau: L ( G 1 ) = L ( G 2 ) , nghĩa là hai ngữ pháp có tương đương không?G1G1G_1G2G2G_2L ( G1) = L ( G2)L(G1)= =L(G2)L(G_1) = L(G_2) Nói …

19 formal-languages  context-free  formal-grammars 

Theo bài viết Wikipedia này , ngữ pháp không giới hạn tương đương với máy Turing. Bài viết lưu ý rằng tôi có thể chuyển đổi bất kỳ máy Turing nào thành ngữ pháp không hạn chế, nhưng nó chỉ cho thấy cách chuyển đổi ngữ pháp sang máy Turing. …

19 formal-grammars  turing-machines  simulation 

Một ngữ pháp không ngữ cảnh có thể bao gồm "trạng thái chết" từ một máy tự động, chẳng hạn như G = ( { a , b , c } , { A , B , C} , { A → a B , B → b , B …

18 context-free  automata  formal-grammars