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

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 

Nói rằng chúng tôi có 3 DFA. Chúng tôi biết cách HOẶC, VÀ, hoặc KHÔNG. Nhưng làm thế nào để một XOR chúng? Không có một đề cập duy nhất về điều này trực tuyến. xXORyXORz=((x|y)(¬x|y)|z)(¬((x|y)(¬x|y))|z)xXORyXORz=((x|y)(¬x|y)|z)(¬((x|y)(¬x|y))|z)x\; \mathrm{XOR} \;y\; \mathrm{XOR} \;z = ((x|y)(\neg x|y)|z) (\neg ((x|y)(\neg x|y))|z). Đây là cách quá …

7 automata  finite-automata  closure-properties 

Đị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 

Là lớp học NPNP\sf NPđóng dưới bổ sung hoặc là không biết? Tôi đã xem trực tuyến, nhưng tôi không thể tìm thấy bất cứ điều gì.

7 complexity-theory  closure-properties  complexity-classes  np 

Bây giờ tôi khá tự tin về cách tôi sẽ biến thứ gì đó thành Máy Turing. Bây giờ câu hỏi của tôi là làm thế nào để bạn chuyển đổi TM thành phần bổ sung của Turing Machine. Từ những gì tôi có thể nhớ trong Finite Automata, bổ …

7 turing-machines  automata  closure-properties 

Đâ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 

Lớp phức tạp # P#P\newcommand{\sharpp}{\mathsf{\#P}}\sharpp được định nghĩa là # P ={f∣ ∃ đa thức thời gian NTM M ∀ x .f( x ) = #Chấp nhậnM( x ) }#P={f∣∃ polynomial-time NTM M ∀x.f(x)=#acceptM⁡(x)}\qquad \displaystyle \sharpp = \{f \mid \exists \text{ polynomial-time NTM } M\ \forall x.\, f(x) = \#\operatorname{accept}_{M}(x)\} …

7 complexity-theory  turing-machines  closure-properties