computation-theory

8Nhiệt

5Trả lời

Ngữ cảnh miễn phí ngữ cảnh cho không phải palindrome

Tôi cần một CFG sẽ tạo ra các chuỗi khác với palindromes. Giải pháp đã được cung cấp và như sau (Giới thiệu về lý thuyết tính toán - Sipser) R -> XRX | S S -> aTb | bTa T -> XTX | X | <epsilon> X -

5Nhiệt

1Trả lời

Cách tính điểm chức năng

Đây là câu hỏi về tính toán lý thuyết. Tôi đã đi qua một câu hỏi như dưới đây; Hãy xem xét một dự án với các đơn vị chức năng sau: Số đầu vào user = 50 Số đầu ra user = 40 Số lượng yêu cầu user = 35 S

6Nhiệt

3Trả lời

Suy luận chương trình con

Có giấy nào mô tả bất kỳ thuật toán/kỹ thuật nào để suy ra các chương trình con từ một chương trình đã biên dịch không? Nói cách khác: có một thuật toán để tìm các khối mã xuất hiện nhiều lần trong ch

5Nhiệt

1Trả lời

Chứng minh cho dù ngôn ngữ này là decidable và dễ nhận biết

Nếu L1 và L2 là ngôn ngữ chúng ta có một ngôn ngữ mới INTERLACE(L1, L2) = {w1v1w2v2 . . . wnvn | w1w2 . . . wn ∈ L1, v1v2 . . . vn ∈ L2}. Ví dụ, nếu abc ∈ L1 và 123 ∈ L2, sau đó a1b2c3 ∈ INTERLACE(L

8Nhiệt

2Trả lời

Chiều dài bơm tối thiểu cho các ngôn ngữ thông thường sau đây

Độ dài bơm tối thiểu cho các ngôn ngữ sau là gì? Ngôn ngữ trống (01)* 10(11*0)*0 1011 011 U 0*1* Dưới đây là giải pháp của tôi. Nêu tôi sai vui long chân chỉnh tôi. p = 0 bởi vì ngôn ngữ không có dây

41Nhiệt

3Trả lời

Tính toán dựa trên constexpr Turing có hoàn thành không?

Chúng tôi biết rằng C++ template metaprogramming is Turing complete, nhưng preprocessor metaprogramming is not. C++ 11 cho chúng ta một dạng lập trình meta mới: tính toán các hàm constexpr. Đây có phả

8Nhiệt

2Trả lời

Dự án từ xa NetBeans với svn

Tôi có một dự án từ xa mà tôi sử dụng cho công việc của mình; đây là trên một OPS Debian và tôi truy cập nó thông qua SSL. Dự án nằm trên máy từ xa trong điều khiển SVN. Có cách nào để tôi kết nối Net

6Nhiệt

1Trả lời

Chứng minh rằng tập hợp của tất cả các ngôn ngữ trên một bảng chữ cái hữu hạn là không đếm được

Đang cố gắng để làm một số sửa đổi nhưng không chắc chắn về điều này một: Prove that the set of all languages over a ﬁnite alphabet is uncountable. Tôi có cảm giác nó sẽ yêu cầu sử dụng phương pháp

14Nhiệt

2Trả lời

Sự khác biệt giữa Turing-Decidable và Co-Turing-Decidable

Tôi thực sự đấu tranh với sự hiểu biết về sự khác biệt giữa hai điều này. Từ sách giáo khoa của tôi, về cơ bản, nó mô tả sự khác biệt bằng cách nói rằng một ngôn ngữ được đồng hóa để nhận ra nếu nó bổ

5Nhiệt

1Trả lời

Thuật toán để tạo ngữ cảnh tự do ngữ cảnh từ bất kỳ regex

Bất kỳ ai có thể phác thảo cho tôi một thuật toán có thể chuyển đổi bất kỳ regex đã cho nào thành một bộ quy tắc CFG tương đương không? tôi biết làm thế nào để giải quyết những thứ tiểu như (a | b) *: