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

Không biết hay P ⊈ C S L , ở đâuP⊆ CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL là tập hợp tất cả các ngôn ngữ có thể quyết định theo thời gian đa thức trên máy Turing xác định vàPPP là lớp ngôn ngữ nhạy cảm theo ngữ cảnh, được biết là tương …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

Báo cáo vấn đề : Đặt MMM là một máy tự động đẩy xuống (có khả năng không xác định) và để MộtMột\cal A là bảng chữ cái đầu vào của nó. Có một từ w ∈ A*w∈Một*w \in \cal A^* st | w | ≤k|w|≤k|w| \leq k được chấp …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

Cho dù có một số kết quả về việc giải quyết các vấn đề ngôn ngữ chính thức bằng cách sử dụng phân tích toán học, toán học liên tục. Ví dụ: giải quyết vấn đề không trống giao nhau cho ngôn ngữ không ngữ cảnh và ngôn ngữ thông …

9 fl.formal-languages  automata-theory  context-free 

Có một số mô hình khác nhau để xác định các phép biến đổi giữa các ngôn ngữ. Bộ chuyển đổi trạng thái hữu hạn và biến đổi biểu đồ có thể xác định MSO trên biểu đồ chuỗi là hai cái mà tôi quen thuộc nhất. Chúng ta biết …

9 fl.formal-languages 

Đặt là bảng chữ cái hữu hạn. Đối với một ngôn ngữ nhất định L ⊆ A * các monoid cú pháp M ( L ) là một khái niệm nổi tiếng trong lý thuyết ngôn ngữ chính thức. Hơn nữa, một monoid M nhận một ngôn ngữ L iff …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

Tỷ lệ CFG mơ hồ trên tất cả các CFG là gì? Vì cả hai bộ đều vô hạn, tỷ lệ này không được xác định rõ. Nhưng những gì về mật độ tiệm cận : limn↦∞# ambiguous CFG of size<n# CFG of size<nlimn↦∞# ambiguous CFG of size<n# CFG of …

9 fl.formal-languages  grammars  context-free 

Tôi muốn biết lý do tại sao để nhận dạng các ngôn ngữ không ngữ cảnh, chỉ có automata đẩy xuống không xác định (DPA = NPDA) hoạt động. Tại sao automata đẩy xuống xác định (DPDA) không nhận ra các ngôn ngữ như vậy?

9 fl.formal-languages  automata-theory  context-free 

Tôi đang học lý thuyết đại số về phân tích cú pháp. Vấn đề đầu tiên của tôi là xác định các ví dụ về ngữ nghĩa cụ thể cho lý thuyết ngôn ngữ chính thức. Đây là một nỗ lực để xây dựng hai ví dụ. 1 Với ngữ …

9 fl.formal-languages 

Tôi đã tự hỏi về những bộ ngôn ngữ được tạo ra bởi các hạn chế của biểu thức thông thường. Giả sử rằng tất cả các hạn chế có ký hiệu không đổi cho mỗi phần tử của và phép nối. Sau đó, tám lớp có thể được hình …

9 fl.formal-languages  regular-expressions 

Trình phân tích cú pháp biểu đồ có thể được thực hiện dựa trên mẫu bình thường Chomsky hoặc trực tiếp dựa trên quy tắc sản xuất. Cho đến lúc này giả sử chúng ta có một trình phân tích cú pháp biểu đồ CYK sử dụng dạng bình thường …

9 fl.formal-languages  parsing 

Có tồn tại hoán vị và kích thước đa thức (trong ) ngữ pháp tự do ngữ cảnh mô tả ngôn ngữ hữu hạn trên bảng chữ cái ?| w | = n { w π 1 ( w ) π 2 ( w ) } { 0 , 1 …

9 fl.formal-languages  grammars  context-free 

Theo kinh nghiệm của tôi, các ngôn ngữ nhạy cảm theo ngữ cảnh và automata giới hạn tuyến tính thường bị bỏ qua hoặc vượt qua trong các khóa học lý thuyết tính toán, và thậm chí bị loại khỏi một số sách giáo khoa đáng chú ý, mặc dù …

9 computability  fl.formal-languages  automata-theory 

Nó đơn giản để thấy rằng quyền hạn của 2 trên bảng chữ cái {0,1} là thường xuyên vì 10∗10∗10^* là một biểu hiện thường xuyên cho nó. Nhưng sức mạnh của 2 đại diện trong ternary dường như là không thường xuyên. Bơm bổ đề hoặc các lớp dư …

9 automata-theory  fl.formal-languages 

Các Cerny phỏng đoán là tuyên bố rằng bất kỳ automaton đồng bộ hóa với bang có một từ đồng bộ hóa có độ dài tối đa là . Giới hạn trên tốt nhất hiện tại cho độ dài của từ đồng bộ hóa là . Giả sử hai trạng …

8 fl.formal-languages  automata-theory  open-problem  dfa  synchronization 

Tôi bối rối về ví dụ được đưa ra trong bài viết Wikipedia về ngữ pháp nhạy cảm ngữ cảnh: https://en.wikipedia.org/wiki/Context-sensitive_grammar Disclamer : Tôi đã thay đổi phần thảo luận trong bài viết trên wikipedia, vì vậy trạng thái hiện tại của bài viết sẽ khác với những gì tôi …

8 fl.formal-languages  grammars