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

Trong phần mở đầu cho những cuốn sách rất có ảnh hưởng của mình Automata, Languages ​​and Machines (Tập A, B), Samuel Eilenberg đã trêu chọc các Tập C và D liên quan đến "một hệ thống phân cấp (được gọi là hệ thống phân cấp hợp lý) của các …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

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 

Chúng tôi định nghĩa một ngôn ngữ cây thông thường như trong cuốn sách TATA : Đó là tập hợp các cây được chấp nhận bởi một máy tự động cây hữu hạn không xác định (Chương 1) hoặc, tương tự, tập hợp các cây được tạo bởi một ngữ …

26 co.combinatorics  fl.formal-languages  tree  regular-language 

Cho một ngôn ngữ thông thường (NFA, DFA, ngữ pháp hoặc regex), làm thế nào có thể đếm số lượng từ chấp nhận trong một ngôn ngữ nhất định? Cả "với chính xác n chữ cái" và "có nhiều nhất n chữ cái" đều được quan tâm. Margareta Ackerman có …

26 ds.algorithms  co.combinatorics  fl.formal-languages  regular-language 

Đặt L1,L2L1,L2L_1,L_2 là hai ngôn ngữ thông thường được đưa ra bởi NFAs M1,M2M1,M2M_1,M_2 làm đầu vào. Giả sử chúng ta muốn kiểm tra xem L1∩L2≠∅L1∩L2≠∅L_1\cap L_2\neq \emptyset . Điều này rõ ràng có thể được thực hiện bằng thuật toán bậc hai tính toán tự động hóa sản phẩm …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

Tôi sửa chữa một ngôn ngữ thông thường trên một bảng chữ cái , và tôi xem xét các vấn đề sau đây mà tôi gọi là kế hoạch lá thư cho . Một cách không chính thức, đầu vào cung cấp cho tôi chữ cái và một khoảng cho …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

Tôi nhận thấy rằng ngôn ngữ thường xuyên trên bảng chữ cái có thể được coi một cách tự nhiên như một poset, và thực sự là một mạng. Hơn nữa, nối với nhau bằng ngôn ngữ rỗng ε định nghĩa một cấu trúc monoidal nghiêm ngặt về thể loại …

21 fl.formal-languages  regular-language  ct.category-theory 

Đưa ra các biểu thức chính quy , có bất kỳ giới hạn không tầm thường nào về kích thước của ngữ pháp không ngữ cảnh nhỏ nhất cho không?R 1 ∩ ⋯ ∩ R nR1,…,RnR1,…,RnR_1, \dots, R_nR1∩⋯∩RnR1∩⋯∩RnR_1 \cap \cdots \cap R_n

20 fl.formal-languages  regular-language  context-free 

Đặt R E GREG\mathsf{REG} là lớp của tất cả các ngôn ngữ thông thường. Được biết và . Nhưng có đặc tính nào cho các ngôn ngữ trong không?R E G ⊄ Một C 0 Một C 0 ∩ R E GA C0⊄ R E GMộtC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG}REG⊄AC0REG⊄MộtC0\mathsf{REG} \not\subset \mathsf{AC}^0AC0∩REGMộtC0∩REG\mathsf{AC}^0 …

20 circuit-complexity  regular-language 

Xác định lớp ngôn ngữ "tròn" sau đây trên bảng chữ cái hữu hạn Sigma. Trên thực tế, cái tên đã tồn tại để biểu thị một điều khác có vẻ như, được sử dụng trong lĩnh vực điện toán DNA. AFAICT, đó là một loại ngôn ngữ khác nhau. …

20 fl.formal-languages  automata-theory  regular-language 

Câu hỏi rất đơn giản và trực tiếp: Đối với một cố định , có bao nhiêu ngôn ngữ (khác nhau) được chấp nhận bởi một DFA có kích thước (tức là trạng thái)? Tôi sẽ chính thức tuyên bố điều này:n nnnnnnnnnn Xác định một DFA là , trong …

19 co.combinatorics  fl.formal-languages  automata-theory  regular-language  dfa 

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 

Hãy xem xét ngôn ngữ Lk−distinctLk−distinctL_{k-distinct} bao gồm tất cả các chuỗi kkk -letter trên ΣΣ\Sigma sao cho không có hai chữ cái nào bằng nhau: Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi}Lk−distinct:={w=σ1σ2...σk∣∀i∈[k]:σi∈Σ and ∀j≠i:σj≠σi} L_{k-distinct} :=\{w = \sigma_1\sigma_2...\sigma_k \mid \forall i\in[k]: \sigma_i\in\Sigma ~\text{ and }~ \forall j\ne i: \sigma_j\ne\sigma_i \} Ngôn ngữ này …

18 automata-theory  lower-bounds  regular-language  communication-complexity  streaming 

Có thể kiểm tra bằng thuật toán nếu một số tính toán là số nguyên hay số nguyên? Nói cách khác, một thư viện có thể thực hiện các số tính toán để cung cấp các hàm isIntegerhay isRationalkhông? Tôi đoán rằng điều đó là không thể, và điều này …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Bối cảnh: mối quan hệ giữa logic và automata Định lý của Büchi nói rằng logic thứ tự đơn thứ hai trên chuỗi (MSO) nắm bắt lớp ngôn ngữ thông thường. Bằng chứng thực sự cho thấy rằng MSO tồn tại ( hoặc EMSO ) qua các chuỗi là đủ …

17 reference-request  lo.logic  regular-language  finite-model-theory