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

Sẽ L = {một*b*}L= ={một*b*}L = \{a^* b^*\} được phân loại là ngôn ngữ thông thường? Tôi bối rối vì tôi biết rằng L={anbn}L={anbn}L = \{a^n b^n\}không thường xuyên Ngôi sao kleene tạo ra sự khác biệt gì?

7 formal-languages  regular-languages  kleene-star 

L={ϵ}L={ϵ}L = \left \{ \epsilon \right \} Rõ ràng ngôn ngữ này là hữu hạn nên đây phải là ngôn ngữ thông thường. Bây giờ vì mọi ngôn ngữ thông thường là Bối cảnh Nhạy cảm, là một CSL. Chúng ta có thể định nghĩa ngữ pháp cho là: Bây …

7 formal-languages  regular-languages  context-sensitive 

Tôi quan tâm đến việc chứng minh rằng L−−√={w:ww∈L}L={w:ww∈L}\sqrt{L}=\{w:ww\in L\} là thường xuyên nếu LLL là thường xuyên nhưng dường như tôi không đi đến đâu cả. Nếu có thể tôi đã hy vọng một gợi ý để đưa tôi đi đúng hướng. Cảm ơn sự giúp đỡ của bạn. …

7 formal-languages  regular-languages  finite-automata  closure-properties 

Câu đầu tiên của bài viết Wikipedia cho Định lý Parikh nêu rõ: "Định lý của Parikh trong khoa học máy tính lý thuyết nói rằng nếu người ta chỉ nhìn vào số lần xuất hiện tương đối của các ký hiệu đầu cuối trong một ngôn ngữ không ngữ …

7 formal-languages  regular-languages  context-free 

Tôi tự hỏi làm thế nào tôi có thể đi về việc chứng minh rằng nếu một ngôn ngữ L có thể quyết định bằng o (nlog (n)) thì L phải đều đặn. Tôi có lẽ nên đề cập đến điều đó bởi "có thể quyết định", ý tôi là …

7 regular-languages  time-complexity 

Đối với luận án Cử nhân của tôi, tôi xem xét lớp ngôn ngữ được công nhận bởi các DFA đối xứng, nghĩa là tự động hữu hạn xác định (hoàn chỉnh) thỏa mãn điều kiện sau: Để cho AAA là một DFA hoàn chỉnh trên bảng chữ cái ΣΣ\Sigma. …

7 formal-languages  reference-request  regular-languages  finite-automata 

Để cho thùng (n)bin(n)\mbox{bin}(n) biểu thị biểu diễn nhị phân của một số nguyên nnn. Để choL = { thùng (n2) | N ∈ N }L={bin(n2)∣n∈N}L = \{ \mbox{bin}(n^2) \mid n \in \mathbb{N} \}. Là LLL một ngôn ngữ thông thường? Tôi nghĩ người ta có thể chứng minh rằng …

7 formal-languages  regular-languages 

Tôi đang xây dựng một automata hữu hạn xác định (DFA) cho ngôn ngữ của tất cả các chuỗi được xác định trên có độ dài là chẵn và số s là số lẻ. Tôi đã xây dựng từng DFA riêng biệt và sau đó kết hợp:{0,1}{0,1}\{0,1\}111 Quy trình đã …

7 automata  regular-languages  finite-automata 

Tôi đang đọc "Giới thiệu về ngôn ngữ chính thức và Automata" được viết bởi Peter Linz và sau khi đọc năm chương đầu tiên tôi gặp phải vấn đề với các ngữ pháp đơn giản và thường xuyên (đặc biệt là tuyến tính) rất giống nhau. Mối quan hệ …

7 regular-languages  automata  context-free  formal-grammars 

Tôi đang làm luận án tốt nghiệp về việc chứng minh tính đúng đắn của chương trình để nhân 2 ma trận bằng logic Hoare. Để làm điều này, tôi cần tạo bất biến cho vòng lặp lồng nhau cho chương trình này: for i = 1:n for j = …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free