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

Liên quan đến một câu hỏi gần đây (Giới hạn về kích thước của NFA nhỏ nhất cho L_k-differ ) Noam Nisan đã yêu cầu một phương pháp để đưa ra giới hạn thấp hơn cho kích thước của NFA so với giới hạn phức tạp trong giao tiếp. Điều …

8 fl.formal-languages  automata-theory  lower-bounds  communication-complexity  nfa 

Tôi đã đọc về Vấn đề Chiều cao của Sao và nhận thấy rằng các biểu thức chính quy của Eggan tuân theo một mẫu đơn giản có thể được mô tả bằng biểu thức chính quy. Câu hỏi của tôi là: có bất kỳ kết quả thú vị nào …

8 fl.formal-languages  regular-language  regular-expressions 

Trong công việc của tôi đã nảy sinh vấn đề phân loại CFL dưới các hình ảnh chức năng hợp lý. Nói cách khác, những gì lớp của ngôn ngữ hình thành ngôn ngữ , cho bối cảnh cố định ngôn ngữ miễn phí L và xác định trạng thái …

8 fl.formal-languages  context-free-languages 

Được biết điều gì đó về các ngôn ngữ được công nhận bởi bộ đếm tự động đa đầu xác định hai chiều hoặc logspace TM với bộ đếm (mô hình tương đương)? Lớp này được gọi là Aux2DC trong bài viết của cố vấn của tôi . Hoặc về …

8 cc.complexity-theory  complexity-classes  fl.formal-languages  logspace  counter-automata 

Tôi đang cố gắng làm rõ sự hiểu biết của mình trong ví dụ được trình bày trong Phần 2.2 của Tự động lượng tử hữu hạn 1 chiều: Điểm mạnh Điểm yếu và khái quát hóa ( liên kết thay thế này cũng có thể hữu ích). Ví dụ …

8 fl.formal-languages  quantum-computing  automata-theory  grammars 

Tôi đã được một học sinh hỏi sau đây và không thể đưa ra câu trả lời hoàn chỉnh: Có thuộc tính đóng nào cho lớp ngôn ngữ không có ngữ cảnh không? Thật dễ dàng để tìm thấy các ví dụ cho thấy rằng nó không bị đóng dưới …

8 fl.formal-languages  context-free-languages 

Tôi đang xem xét vấn đề nhận dạng ngôn ngữ (trên bảng chữ cái 0-9 và dấu cách) có chứa các chuỗi như "1 2 3 4 5 6" và "14 15 16 17" chứ không phải "1 3". Điều này xuất hiện trong khi làm việc trên một nhiệm …

8 fl.formal-languages 

Hãy xem xét một ngôn ngữ regex với bộ định lượng tham lam , bộ định lượng không tham lam, ra lệnh xen kẽ, và các lớp nhân vật. (Đây thực chất là một ngôn ngữ con của PCRE mà không có phản hồi, xác nhận xung quanh hoặc một …

8 fl.formal-languages  regular-expressions 

Viết dưới dạng bản đồ Parikh --ie, Ψ ( w ) = { ( # σ ( w ) ) σ ∈ Σ | w ∈ L } , trong đó # σ ( w ) là số lần σ xuất hiện trong w . Nó nổi tiếng rằng, đối …

8 fl.formal-languages  automata-theory 

Chúng tôi biết rằng tất cả các automata đẩy xuống đều có thể biểu diễn bằng cách sử dụng ngữ pháp không ngữ cảnh. Hơn nữa, có một thuật toán để xây dựng CFG từ bất kỳ máy PDA nào (ví dụ: bằng chứng của Sipser trong phần giới thiệu …

8 automata-theory  fl.formal-languages  grammars  software 

Đối với một bối cảnh cụ ngôn ngữ miễn phí G, chúng ta gọi là không thuộc đầu cuối nullable nếu A i → * ε , tức là chúng ta có thể lấy được các chuỗi rỗng từ A i sau khi áp dụng một số hữu hạn các …

8 ds.algorithms  fl.formal-languages  time-complexity