Khoa học máy tính lý thuyết regular-expressions

4

Là tìm biểu thức chính quy tối thiểu là một vấn đề NP-đầy đủ?

Tôi đang nghĩ đến vấn đề sau: Tôi muốn tìm một biểu thức chính quy khớp với một chuỗi các chuỗi cụ thể (ví dụ: địa chỉ email hợp lệ) và không khớp với các biểu thức khác (địa chỉ email không hợp lệ). Giả sử bằng biểu thức chính …

42 np-hardness fl.formal-languages lg.learning regular-expressions

6

Biểu thức thông thường không

Hỏi ngay cả một người có nền tảng về khoa học máy tính về biểu thức chính quy là gì và câu trả lời có thể vượt ra ngoài giới hạn của việc nằm trong tầm tay của một máy tự động trạng thái hữu hạn. Ví dụ: biểu thức …

36 automata-theory pl.programming-languages fl.formal-languages regular-expressions terminology

4

Có những máy nhỏ nào có thể phù hợp với các biểu thức chính quy?

Người ta biết rằng một biểu thức chính quy có thể được nhận ra bởi một máy tự động hữu hạn không xác định có kích thước tỷ lệ thuận với biểu thức chính quy hoặc bởi FA xác định có khả năng lớn hơn theo cấp số nhân. Hơn …

30 fl.formal-languages automata-theory regular-expressions

3

Các thuật toán đã biết để chuyển từ DFA sang biểu thức chính quy

Tôi đã tự hỏi liệu có một thuật toán `` better '' (tôi sẽ giải thích theo nghĩa nào) để bắt đầu từ một DFA và xây dựng một biểu thức chính quy sao cho , hơn một trong cuốn sách của Hopcroft và Ullman (1979). Trong đó, các bộ …

28 fl.formal-languages automata-theory regular-expressions

1

Tại sao các ngôn ngữ thông thường được gọi là trực tuyến thường xuyên?

Tại sao các ngôn ngữ thông thường (và từ các biểu thức chính quy) được gọi là "thông thường"? Có rất nhiều sự đều đặn trong các ngôn ngữ không ngữ cảnh các loại ngôn ngữ khác. Tôi cho rằng, ban đầu, tính từ "chính quy" đã được sử dụng …

27 regular-expressions regular-language ho.history-overview

2

Số phân vùng giao thức và độ phức tạp truyền thông xác định

Bên cạnh độ phức tạp truyền thông (xác định) của mối quan hệ R , một biện pháp cơ bản khác cho lượng giao tiếp cần thiết là số phân vùng giao thức p p ( R ) . Mối quan hệ giữa hai biện pháp này được biết đến …

22 fl.formal-languages lower-bounds open-problem regular-expressions communication-complexity

1

Mà biểu thức thông thường

Người ta biết rằng vấn đề sau đây là PSPACE-Complete: Với biểu thức chính quy , không L ( β ) = Σ * ?ββ\betaL ( β) = Σ*L(β)=Σ∗L(\beta) = \Sigma^* Điều gì về việc xác định tương đương với các biểu thức chính quy (cố định) khác ?αα\alpha Với …

21 cc.complexity-theory automata-theory regular-expressions pspace

4

Trường hợp nào hầu hết các triển khai REGEX rơi vào quy mô phức tạp?

Hầu hết các triển khai hiện đại của các biểu thức chính quy, chẳng hạn như các biểu thức trong perl hoặc .NET, vượt xa định nghĩa khoa học máy tính cổ điển của REGEXes với các tính năng như lookahead và lookbehind. Các tính năng này có cho phép …

19 automata-theory regular-expressions fl.formal-languages

2

JSON có phải là ngôn ngữ thông thường không?

Tôi đã tự hỏi nếu thông số JSON xác định một ngôn ngữ thông thường. Có vẻ như đủ đơn giản, nhưng tôi không chắc làm thế nào để chứng minh điều đó. Lý do tôi hỏi, là vì tôi đã tự hỏi liệu người ta có thể sử dụng …

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

3

Liệu một automata hữu hạn không vô căn (NDFA) có thể được chuyển đổi một cách hiệu quả thành một automata hữu hạn xác định (DFA) trong không gian / thời gian phụ?

Hai mươi năm trước, tôi đã xây dựng một gói biểu thức chính quy bao gồm các chuyển đổi từ biểu thức chính quy sang máy trạng thái hữu hạn (DFA) và hỗ trợ một loạt các hoạt động biểu thức chính quy kín (sao Kleene, nối, đảo ngược, đặt …

16 dfa regular-expressions bounds

2

giảm thiểu kích thước của biểu thức chính quy cho các tập hữu hạn

Được biết, việc giảm thiểu kích thước của biểu thức chính quy là hoàn thành PSPACE ngay cả khi chúng ta có DFA làm thông số kỹ thuật của ngôn ngữ . Kết quả là gì nếu ngôn ngữ là hữu hạn? Người ta có thể xem xét vấn đề …

15 cc.complexity-theory reference-request fl.formal-languages regular-expressions dfa

3

Tiến bộ về vấn đề chiều cao sao tổng quát?

Chiều cao sao (tổng quát) của ngôn ngữ là mức lồng tối thiểu của các ngôi sao Kleene cần có để thể hiện ngôn ngữ bằng biểu thức chính quy mở rộng. Hãy nhớ lại rằng một biểu thức chính quy mở rộng trên bảng chữ cái hữu hạn thỏa …

15 fl.formal-languages lower-bounds regular-expressions

4

Phân cấp trong các ngôn ngữ thông thường

Có bất kỳ hệ thống phân cấp "đẹp" nào được biết đến (có thể là hữu hạn) trong lớp ngôn ngữ thông thường không? Ở đây, các lớp trong mỗi hệ thống phân cấp nắm bắt tính biểu cảm / sức mạnh / độ phức tạp khác nhau. Ngoài ra, …

14 automata-theory regular-language regular-expressions

1

Chi phí của một truy vấn tương đương cho DFA

Lấy cảm hứng từ câu hỏi này , tôi tò mò về những điều sau đây: Độ phức tạp trong trường hợp xấu nhất của việc kiểm tra xem một DFA nhất định có chấp nhận cùng ngôn ngữ với biểu thức chính quy đã cho không? Điều này có …

12 automata-theory lg.learning regular-expressions dfa

1

Độ phức tạp tham số hóa bao gồm các ngôn ngữ thông thường

Tôi quan tâm đến vấn đề kinh điển ĐĂNG KÝ NGÔN NGỮ. Cho một biểu thức chính quy , chúng tôi biểu thị bằng ngôn ngữ thông thường liên quan đến nó. (Các biểu thức thông thường nằm trên một bảng chữ cái cố định , với liên kết hoạt …

11 cc.complexity-theory reference-request regular-language parameterized-complexity regular-expressions

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