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

Các câu hỏi về các hoạt động trên các loại đối tượng dẫn đến các đối tượng cùng loại.



2
Các bộ Trước và Sau cho các ngữ pháp không ngữ cảnh có luôn không có ngữ cảnh không?
Đặt là một ngữ pháp không ngữ cảnh. Một chuỗi các thiết bị đầu cuối và không thuộc đầu cuối của được cho là một hình thức sentential của nếu bạn có thể lấy nó bằng cách áp dụng tác phẩm của zero hoặc thời gian hơn để các biểu …

2
Đóng cửa với thương số đúng với một ngôn ngữ cố định
Tôi thực sự yêu sự giúp đỡ của bạn với những điều sau đây: Đối với bất kỳ cố định nào, tôi cần quyết định xem có đóng cửa theo các toán tử sau không:L2L2L_2 Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in …

2
Làm thế nào để chứng minh các ngôn ngữ thông thường được đóng dưới thương số trái?
LLL là ngôn ngữ thông thường trong bảng chữ cái . Thương số trái của liên quan đến là ngôn ngữ Σ={a,b}Σ={a,b}\Sigma = \{a,b\}LLLw∈Σ*w∈Σ*w \in \Sigma^*w- 1L:={v∣wv∈L}w−1L:={v∣wv∈L}w^{-1} L := \{v \mid wv \in L\} Làm thế nào tôi có thể chứng minh rằng là thường xuyên?w−1Lw−1Lw^{-1}L


7
Nếu là thường xuyên, nó có theo là thường xuyên không?A 2A2A^2 AAA Nỗ lực của tôi về một bằng chứng: Có, vì mâu thuẫn cho rằng AAA không thường xuyên. Rồi Một 2 = Một ⋅ MộtA2=A⋅AA^2 = A \cdot A . Vì việc ghép hai ngôn ngữ không …


1
Chứng minh rằng phần bù của không thường xuyên sử dụng thuộc tính đóng
Tôi muốn chứng minh rằng phần bù của không thường xuyên sử dụng các thuộc tính đóng.{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} Tôi hiểu rằng bổ đề bơm có thể được sử dụng để chứng minh rằng không phải là ngôn ngữ thông thường. Tôi cũng hiểu các ngôn ngữ thông …




1
Xây dựng tất cả các ngôn ngữ không ngữ cảnh từ một tập hợp các ngôn ngữ cơ sở và thuộc tính đóng?
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 …

3
Nếu là không ngữ cảnh và là thường xuyên, thì là không ngữ cảnh?
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 …

1
Điều đó có nghĩa gì khi nói rằng một ngôn ngữ được đóng lại một cách hiệu quả trong một hoạt động?
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 …

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.