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

Mục tiêu là tạo DFA từ một biểu thức thông thường và sử dụng "exp thông thường> NFA> chuyển đổi DFA" không phải là một tùy chọn. Làm thế nào một người nên đi về làm điều đó? Tôi đã hỏi câu hỏi này với giáo sư của chúng tôi …

12 automata  finite-automata  regular-expressions  simulation 

Tôi muốn chuyển đổi một người dùng đã nhập biểu thức chính quy thành NFA để sau đó tôi có thể chạy NFA theo chuỗi cho các mục đích phù hợp. Máy tối thiểu có thể được sử dụng để phân tích các biểu thức thông thường là gì? Tôi …

12 formal-languages  parsers  regular-expressions  pushdown-automata 

Một biểu thức chính quy được định nghĩa đệ quy là một ∈ Σaaa đối với một số là biểu thức chính quy,a∈Σa∈Σa \in \Sigma εε\varepsilon là một biểu thức chính quy, ∅∅\emptyset là một biểu thức chính quy, R 1 R 2(R1∪R2)(R1∪R2)(R_1 \cup R_2) trong đó và là biểu …

11 formal-languages  regular-languages  regular-expressions 

Tại nơi làm việc, tôi được giao nhiệm vụ suy luận một số thông tin về ngôn ngữ động. Tôi viết lại các chuỗi các câu lệnh thành các letbiểu thức lồng nhau , như vậy: return x; Z => x var x; Z => let x = undefined in …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Nếu tôi hiểu chính xác, NFA có sức mạnh biểu cảm tương tự như biểu thức thông thường. Thông thường, việc đọc các biểu thức chính quy tương đương từ NFA rất dễ dàng: bạn dịch các chu kỳ sang các ngôi sao, các mối nối như là lựa chọn …

11 algorithms  formal-languages  finite-automata  regular-expressions 

Cho hai biểu thức chính quy tùy ý, có thuật toán "hiệu quả" để xác định xem chúng có khớp với cùng một chuỗi không? Tổng quát hơn, chúng ta có thể tính kích thước của giao điểm của hai bộ khớp không? Có những thuật toán nào để làm …

11 algorithms  regular-expressions 

Một cách để xem các biểu thức chính quy là bằng chứng mang tính xây dựng của thực tế sau: có thể xây dựng các ngôn ngữ thông thường bằng cách bắt đầu với một nhóm ngôn ngữ nhỏ và kết hợp chúng thông qua một tập hợp các thuộc …

10 formal-languages  context-free  closure-properties  regular-expressions 

Tôi biết rằng các ngôn ngữ có thể được xác định bằng cách sử dụng các biểu thức chính quy và các ngôn ngữ có thể nhận ra bởi DFA / NFA (automata hữu hạn) là tương đương. Ngoài ra, không có DFA tồn tại cho ngôn ngữ . Nhưng …

10 formal-languages  regular-languages  regular-expressions 

Chúng ta có thể hình thành DFA chấp nhận số nhị phân chia hết cho .nnn Ví dụ, DFA chấp nhận số nhị phân chia hết cho 2 có thể được hình thành như sau: Tương tự, DFA chấp nhận số nhị phân chia hết cho 3 có thể được …

9 regular-languages  automata  finite-automata  regular-expressions 

Vì tôi đang học khóa học ngôn ngữ chính thức của mình, tôi tình cờ thấy những bài viết hấp dẫn này ( Một Hai ) mô tả cách tìm số nguyên tố bằng cách sử dụng biểu thức chính quy . Như tôi đã nói, một biểu thức chính …

9 regular-expressions 

Tôi đã lấy lý thuyết về các kỳ thi tính toán của tôi vài tuần trước, và đây là một trong những câu hỏi: Giả sử ngôn ngữ L = { ( anbm)r| N , m , r ≥ 0 }L= ={(mộtnbm)r|n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L có thường xuyên không? …

9 formal-languages  regular-languages  regular-expressions 

Cho DFA, A, hãy để L (A) biểu thị số lượng từ A chấp nhận. Tôi nghĩ thật dễ dàng để tính L (A): Dịch mã hóa của A thành một biểu thức thông thường. Nếu ngôi sao Kleene xuất hiện ở bất cứ đâu trong biểu thức - ngôn …

8 regular-languages  automata  regular-expressions 

Chúng ta có thể chuyển đổi một NFA có trạng thái thành biểu thức chính quy có độ dài không?nnnpoly(n)poly(n)\mathrm{poly}(n) Ngược lại, ai cũng biết rằng một biểu thức chính quy có độ dài có thể dễ dàng được chuyển đổi thành một NFA .nnnO(n)O(n)\mathcal{O}(n)

8 regular-languages  finite-automata  regular-expressions 

Hôm qua StackOverflow đã ngừng hoạt động trong nửa giờ. Sau đó, họ đã viết một bài đăng trên blog về nó , chi tiết rằng vấn đề bắt nguồn từ sự phức tạp cao bất ngờ của kết hợp biểu thức chính quy. Nói tóm lại, biểu thức chính …

8 algorithms  time-complexity  regular-expressions 

Chúng tôi biết rằng các biểu thức chính quy (RE) được triển khai với automata hữu hạn (FA). Trong một số ngôn ngữ (như JavaScript) trong RE, có các tính năng như 'nắm bắt dấu ngoặc đơn' với 'phản hồi': https://developer.mozilla.org/en-US/docs/Web/JavaScript/Guide/Regular_Expressions#special-capturing-parentheses (x) Kết hợp 'x' và ghi nhớ trận đấu, …

7 finite-automata  regular-expressions