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

Chúng tôi đã học về lớp ngôn ngữ không ngữ cảnh . Nó được đặc trưng bởi cả ngữ pháp không ngữ cảnh và tự động đẩy xuống, do đó dễ dàng cho thấy rằng một ngôn ngữ nhất định là không có ngữ cảnh.CFLCFL\mathrm{CFL} Làm thế nào để tôi …

88 formal-languages  context-free  proof-techniques  reference-question 

Tôi nhớ đã gặp một câu hỏi sau đây về một ngôn ngữ được cho là không có ngữ cảnh, nhưng tôi không thể tìm thấy bằng chứng nào về thực tế. Có lẽ tôi đã đánh giá sai câu hỏi? Dù sao, đây là câu hỏi: Chứng minh rằng …

43 formal-languages  context-free 

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 

Là bối cảnh ngôn ngữ sau đây miễn phí? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} Như được chỉ ra bởi sdcvvc, một từ trong ngôn ngữ này cũng có thể được mô tả là …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

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 

Đưa ra một ngữ pháp G không ngữ cảnh, tồn tại một Pushdown Automaton Nondeterministic Pushdown Automaton N chấp nhận chính xác ngôn ngữ mà G chấp nhận. (và ngược lại visa) Cũng có thể tồn tại một Máy tự động đẩy xuống xác định D cũng chấp nhận chính …

22 automata  context-free  pushdown-automata 

Khi xem xét các mô hình tính toán của máy, hệ thống phân cấp Chomsky thường được đặc trưng bởi (theo thứ tự), automata hữu hạn, automata đẩy xuống, automata ràng buộc tuyến tính và Turing Machines. Đối với cấp 1 và cấp 1 (ngôn ngữ thông thường và ngôn …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

Các ngôn ngữ không ngữ cảnh không được đóng dưới bổ sung, chúng tôi biết rằng. Theo như tôi hiểu, các ngôn ngữ không ngữ cảnh là một tập hợp con của đối với một số chữ cái được đóng dưới phần bổ sung (!)a∗b∗a∗b∗a^*b^*a,ba,ba,b Đây là lý lẽ của …

20 formal-languages  reference-request  context-free  closure-properties 

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 

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 

Có một thuật toán / thủ tục hệ thống để kiểm tra xem một ngôn ngữ không có ngữ cảnh không? Nói cách khác, đưa ra một ngôn ngữ được chỉ định ở dạng đại số (nghĩ về một cái gì đó như ), kiểm tra xem ngôn ngữ đó …

18 algorithms  formal-languages  context-free  decision-problem 

Tôi tự hỏi liệu điều này có khả thi hay không, vì . Do đó, một PDA có thể phân biệt một từ w \ in \ {a ^ nb ^ nc ^ n \ mid n \ geq 0 \} với phần còn lại của \ {a ^ * …

16 formal-languages  automata  context-free  pushdown-automata