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

Tôi đang cố gắng (bằng trực giác) hiểu hai thuật ngữ "tính quyết định" và "tính xác minh". Tôi đã thực hiện một lượng tìm kiếm hợp lý và trải qua các văn bản khác nhau mà tôi có thể đặt tay lên. Tuy nhiên, sự hiểu biết trực quan …

8 complexity-theory  formal-languages  terminology  computability 

Điều này có phần liên quan đến một câu hỏi khác mà tôi đã hỏi , nhưng tôi cảm thấy nó đủ khác biệt để đảm bảo câu hỏi của riêng mình. Tôi đang thực hiện nghiên cứu trong đó tôi đang cố gắng tìm cấu trúc bổ sung của …

8 formal-languages  automata  finite-automata  discrete-mathematics  nondeterminism 

Có phải ngôn ngữ L={0n1m∣n and m are co-prime}L={0n1m∣n and m are co-prime} L = \{0^n 1^m \mid n \text{ and } m \text{ are co-prime}\} ngữ cảnh? Tôi đoán rằng nó không phải là bối cảnh miễn phí vì có vẻ như quá phức tạp đối với một thiết …

8 formal-languages  context-free  pumping-lemma  pushdown-automata 

Hãy để LLL là một ngôn ngữ thông thường. Là ngôn ngữ L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L2={y:∃x,z s.t.|x|=|z| and xyz∈L}L_2 = \{y : \exists x,z\ \ s.t.|x|=|z|\ and\ xyz \in L \} thường xuyên? Tôi biết nó rất giống với câu hỏi ở đây , nhưng điều thú vị là nó …

8 formal-languages  regular-languages  closure-properties 

Đặt A ={L∣Llà một quầy và L¯ cũng là một quầy}A={L|Llà một quầy và L¯ cũng là một quầy}A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \} Rõ ràng,Một quầy quyết định ⊆ AMột quầy quyết định⊆Một\text{Deterministic one-counter} \subseteq A Đây có phải là trường hợp mà …

8 formal-languages  automata  closure-properties  pushdown-automata 

Tôi có hai câu hỏi: Tôi xem xét ngôn ngữ sau Nói cách khác, không phải là palindrom với độ dài chẵn. Tôi đã chứng minh rằng ngôn ngữ này KHÔNG thường xuyên bằng cách chứng minh rằng phần bổ sung của nó không thường xuyên. Câu hỏi của tôi …

8 formal-languages  regular-languages  pumping-lemma 

Tôi đang cố gắng dạy cho mình lý thuyết tính toán với một cuốn sách giáo khoa. Theo cuốn sách của tôi, một hàm trên bảng chữ cái A = { a , b , c , d , e , f , g , h , i , j …

8 formal-languages  computability  undecidability 

Làm thế nào để tôi chỉ ra rằng vấn đề quyết định xem một thiết bị PDA có chấp nhận một số chuỗi có dạng không thể giải quyết được không?{ w ! w ∣ w ∈ { 0 , 1 }*}{w!w∣w∈{0,1}∗}\{ w!w \mid w \in \{ 0, 1 \}^*\} …

8 formal-languages  automata  context-free  undecidability  pushdown-automata 

Vì vậy, tôi đã gãi đầu về vấn đề này trong một vài ngày nay. Cho một số ngôn ngữ AAA và là chính quy, cho thấy rằng ngôn ngữ bao gồm tất cả các chuỗi trong có độ dài bằng một số chuỗi trong là ngôn ngữ thông thường.L …

8 formal-languages  regular-languages  finite-automata  proof-techniques  closure-properties 

Tôi sắp triển khai một ngôn ngữ cụ thể theo miền để thể hiện các quy ước học tập xã hội. Một phần của việc thực hiện là một mô tả chính thức của một ngôn ngữ - 'tính toán', biểu tượng và biểu thức logic của nó. Cách tiếp …

8 formal-languages  programming-languages  semantics 

Là ngôn ngữ L = { a , b }*∖ { ( mộtnbn)n∣ n ≥ 1 }L= ={một,b}*∖{(mộtnbn)n|n≥1}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} bối cảnh miễn phí? Tôi tin rằng câu trả lời là nó không phải là CFL, nhưng tôi không thể chứng minh điều đó bằng …

8 formal-languages  context-free  pumping-lemma 

Tôi đã có một vài ngày thi và gặp vấn đề để giải quyết nhiệm vụ này. Hãy LLL là một ngôn ngữ thông thường trên bảng chữ cái ΣΣ\Sigma . Chúng tôi có các hoạt động đi xe đạp( L ) = { x y∣ x , y∈ Σ* …

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

Tôi muốn đếm số chuỗi sss trên bảng chữ cái hữu hạn AAA , không chứa lặp lại và ý tôi là đối với bất kỳ chuỗi con ttt của sss , 1&lt;|t|&lt;|s|1&lt;|t|&lt;|s|1< |t| < |s|, không có bản sao rời rạc của ttt trong sss . Đối với exapmle, …

8 formal-languages  combinatorics  strings  word-combinatorics 

Đây là một câu hỏi tiếp theo của câu hỏi này . Trong một câu hỏi trước đây về các máy trạng thái kỳ lạ , Alex ten Brink và Raphael đã đề cập đến khả năng tính toán của một loại máy trạng thái đặc biệt: min-heap automata. Họ …

8 formal-languages  automata  closure-properties 

L={an(a+b)n|n&gt;0}L={an(a+b)n|n&gt;0}L = \{ a^n (a+b)^n | n>0\} Một cuốn sách tôi đang đọc nói rằng, nhưng xem xét chúng ta không thể biết phần thứ hai sẽ bắt đầu từ đâu và nó cũng có thể bắt đầu bằng một phần, vậy thì làm sao chúng ta có thể chấp …

8 formal-languages  automata  context-free  pushdown-automata