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

Từ một bình luận , một câu hỏi thú vị xuất hiện. Lớp CFL (các ngôn ngữ được công nhận bởi các PDA) rõ ràng không bị đóng cửa theo thuyết không điều kiện - điều tôi muốn nói là điều này là các PDA xác định không có sức …

7 formal-languages  context-free  closure-properties  computation-models  nondeterminism 

Các ngôn ngữ tự do ngữ cảnh có thể được lấy là sự đóng của ngôn ngữ Dyck trong các hoạt động của hình nón . Ngôn ngữ DyckD2D2D_2là một ngôn ngữ tự do ngữ cảnh xác định và các hoạt động hình nón tương ứng với các hoạt động …

7 complexity-theory  formal-languages  closure-properties  np 

Trong một khóa học về khoa học máy tính, người ta thường nghiên cứu hệ thống phân cấp của các ngôn ngữ chính thức, ngữ pháp, máy tự động và máy Turing. Tôi tự hỏi mối quan hệ của các đối tượng này với các hệ thống chính thức là …

7 formal-languages  formal-grammars 

Tôi quan tâm đến việc chứng minh rằng L−−√={w:ww∈L}L={w:ww∈L}\sqrt{L}=\{w:ww\in L\} là thường xuyên nếu LLL là thường xuyên nhưng dường như tôi không đi đến đâu cả. Nếu có thể tôi đã hy vọng một gợi ý để đưa tôi đi đúng hướng. Cảm ơn sự giúp đỡ của bạn. …

7 formal-languages  regular-languages  finite-automata  closure-properties 

Tôi tìm thấy một tuyên bố (không có lời giải thích) rằng một ngôn ngữ là có thể quyết định. Làm thế nào là có thể? Ý tôi là, làm thế nào chúng ta có thể xây dựng một máy Turing chấp nhận (hoặc từ chối) một chuỗi 0 vô …

7 formal-languages  computability 

Câu đầu tiên của bài viết Wikipedia cho Định lý Parikh nêu rõ: "Định lý của Parikh trong khoa học máy tính lý thuyết nói rằng nếu người ta chỉ nhìn vào số lần xuất hiện tương đối của các ký hiệu đầu cuối trong một ngôn ngữ không ngữ …

7 formal-languages  regular-languages  context-free 

Tôi đang cố gắng giải quyết bài kiểm tra sắp tới của mình và không biết làm thế nào để tạo ngữ pháp cho các ngôn ngữ nhạy cảm ngữ cảnh, ví dụ như làm thế nào để tôi tiến hành loại câu hỏi này. Đưa ra một ngữ pháp …

7 formal-languages  formal-grammars  context-sensitive 

Định nghĩa FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L)={x∈Σ∗:∃y∈Σ∗ with |x|=|y| such that xy∈L}FH(L) = \{x \in \Sigma^* : \exists y \in \Sigma^* \text{ with } |x| = |y| \text{ such that } xy \in L\}. Nói cách khác,FH(L)FH(L)FH(L) là tập hợp các nửa đầu tiên của chuỗi có độ dài …

7 formal-languages  context-free  closure-properties 

Chok∈Nk∈Nk\in \mathbb N Tôi đang tìm một bản dựng NFA nhỏ cho ngôn ngữ ghép hai từ có độ dài khác nhau về chỉ số, nghĩa làkkkLk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}Lk={u⋅v∈Σ∗:|u|=|v|=k∧∀i,ui≠vi}L_k=\{u\cdot v \in \Sigma^* : |u|=|v|=k\wedge \forall i, u_i\neq v_i\} Lưu ý rằng vì là cố định, và là ngôn ngữ hữu hạn.kkk|Lk|=(|Σ|⋅(|Σ|−1))k|Lk|=(|Σ|⋅(|Σ|−1))k|L_k|=(|\Sigma|\cdot(|\Sigma|-1))^k % …

7 formal-languages  finite-automata  nondeterminism 

Mảng sau chiếm 10000 khe trong bộ nhớ: a = [0,1,2,3,4,5,6,7,8,9,10,...,10000] Nhưng người ta có thể dễ dàng biểu diễn cùng một mảng như: a = {len:10000, get: λ idx -> idx} Mà nhỏ gọn hơn nhiều. Tương tự, có một số mảng có thể được biểu diễn nhỏ gọn: …

7 algorithms  complexity-theory  formal-languages  programming-languages  data-compression 

Theo nghĩa của một chuỗi khác với một chuỗi tham chiếu null, tầm quan trọng của một chuỗi rỗng trong CS (và đặc biệt trong các ngôn ngữ chính thức) là gì? Tại sao bạn cần một khái niệm riêng, đó là 'chuỗi rỗng', thậm chí còn có chữ Hy …

7 formal-languages  terminology 

Đây là một câu hỏi từ kỳ thi của khóa học "Automata và Ngôn ngữ chính thức" của chúng tôi. Có một câu hỏi được yêu cầu chứng minh hoặc bác bỏ rằng mọi hoạt động "bổ sung tương đối" giữa hai ngôn ngữ nhạy cảm ngữ cảnh cũng sẽ …

7 formal-languages  closure-properties  context-sensitive 

Hãy xem xét một ngôn ngữ thông thường LLL. Để choD(L)D(L)D(L) là một DFA tối thiểu cho LLL và N(L)N(L)N(L) là một NFA tối thiểu cho LLL(tối thiểu theo nghĩa số lượng trạng thái nhỏ nhất có thể có cho một máy tự động nhận dạng ngôn ngữ đã cho). …

7 formal-languages  automata  finite-automata  descriptive-complexity 

Đối với luận án Cử nhân của tôi, tôi xem xét lớp ngôn ngữ được công nhận bởi các DFA đối xứng, nghĩa là tự động hữu hạn xác định (hoàn chỉnh) thỏa mãn điều kiện sau: Để cho AAA là một DFA hoàn chỉnh trên bảng chữ cái ΣΣ\Sigma. …

7 formal-languages  reference-request  regular-languages  finite-automata 

Để cho thùng (n)bin(n)\mbox{bin}(n) biểu thị biểu diễn nhị phân của một số nguyên nnn. Để choL = { thùng (n2) | N ∈ N }L={bin(n2)∣n∈N}L = \{ \mbox{bin}(n^2) \mid n \in \mathbb{N} \}. Là LLL một ngôn ngữ thông thường? Tôi nghĩ người ta có thể chứng minh rằng …

7 formal-languages  regular-languages