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

Các câu hỏi liên quan đến ngôn ngữ chính thức, ngữ pháp và lý thuyết automata

2
Làm thế nào mà từ từ sản xuất ra thế giới, cuối cùng lại trở thành một từ đồng nghĩa với từ "quy tắc" trong bối cảnh Khoa học máy tính?
Tôi đang nghiên cứu các ngôn ngữ chính thức và hệ thống cơ sở sản xuất (hệ thống cơ sở quy tắc) và tôi hơi bối rối về lý do tại sao hai từ "sản xuất" và "quy tắc" này có nghĩa giống nhau trong nhiều bối cảnh trong Khoa …
3
vấn đề không thể giải quyết được và sự phủ nhận của nó là không thể giải quyết được
Tuy nhiên, rất nhiều vấn đề "nổi tiếng" không thể giải quyết được, ít nhất là có thể bán được, với sự bổ sung của chúng là không thể giải quyết được. Một ví dụ trên tất cả có thể là vấn đề tạm dừng và bổ sung của nó. …
1
ngữ nghĩa là gì?
Có nhiều ngôn ngữ phổ biến. Nhưng, các nhà khoa học máy tính nói với chúng ta rằng để hiểu hành vi của các chương trình trong các ngôn ngữ đó một cách dứt khoát và rõ ràng tranh luận về hành vi của chương trình (ví dụ: chứng minh …
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
4
Tại sao không có hoán vị trong Regexes? (Ngay cả khi các ngôn ngữ thông thường dường như có thể làm điều này)
Vấn đề Không có cách nào dễ dàng để có được hoán vị với regex. Hoán vị: Bắt một từ ("aabc") sang một thứ tự khác, mà không thay đổi số lượng hoặc loại chữ cái.w = x1... xnw=x1…xnw=x_1…x_n Regex: Biểu thức chính quy. Để xác minh: "Hoán vị Regex …
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 cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.