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

Câu hỏi chính / chung Hãy để là một ngôn ngữ. Xác định ngôn ngữ với và cho . Hãy xem xét . Vì vậy, chúng tôi liên tục "nhúng" vào chính nó để thu được .LLLLiLiL_iL0=LL0=LL_0 = LLi={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\}L = ⋃ …

19 reference-request  fl.formal-languages 

Gần đây tôi đã có một cuộc thảo luận về Turing Machines khi tôi được hỏi, "Máy Turing có nguồn gốc từ automata, hay nó là cách khác"? Tôi không biết câu trả lời tất nhiên, nhưng tôi tò mò muốn tìm hiểu. Máy Turing về cơ bản là một …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

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 

Một DFA có một từ đồng bộ hóa nếu có một chuỗi gửi bất kỳ trạng thái nào của DFA đến một trạng thái duy nhất. Trong 'Phỏng đoán Cerny cho Automata định kỳ của AN Trahtman (Toán học rời rạc và Khoa học máy tính lý thuyết tập 9: …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

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 

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 

Đó là một kết quả nổi tiếng mà câu hỏi Một ngữ pháp không ngữ cảnh tạo ra một ngôn ngữ thông thường? là không thể giải quyết được Tuy nhiên, nó trở nên có thể quyết định trên một bảng chữ cái đơn nhất, đơn giản vì trong trường …

18 fl.formal-languages  decidability 

Tôi đang cố gắng giải quyết một vấn đề cụ thể và tôi nghĩ rằng tôi có thể giải quyết nó bằng lý thuyết automata. Tôi đang tự hỏi, những mô hình của automata có ngăn chặn có thể quyết định trong thời gian đa thức? tức là nếu bạn …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

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 

Có vô số thuật toán có thể phân tích cú pháp ngữ pháp không ngữ cảnh trong thời gian . Sử dụng phép nhân ma trận, người ta thậm chí có thể đi nhanh hơn bất thường.O(n3)O(n3)O(n^3) Tuy nhiên, tất cả các thuật toán để phân tích cú pháp CFG …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

Đây là một sự cải tổ của các chương trình ngữ pháp? hỏi trước bởi Vag và với nhiều lời đề nghị từ các bình luận viên. Bằng cách nào một ngữ pháp có thể được xem là chỉ định một mô hình tính toán? Ví dụ, nếu chúng ta …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

Phương pháp phái sinh của Brzozowski là một kỹ thuật rất đẹp để xây dựng tính tự động xác định từ các biểu thức chính quy theo cách đại số độc đáo. Tôi đã tìm ra một số khái quát dễ thương của kỹ thuật này để xử lý một …

18 reference-request  fl.formal-languages  parsing 

Một từ www được gọi là nguyên thủy , nếu không có từ và sao cho . Tập của tất cả các từ nguyên thủy trong bảng chữ cái là một ngôn ngữ nổi tiếng. Chúng ta có thể chọn .vvvk>1k>1k > 1w=vkw=vkw = v^kQQQΣΣ\SigmaΣ={a,b}Σ={a,b}\Sigma = \{ a,b \} Một …

17 fl.formal-languages 

2dca của (hai chiều xác định một toa automata) (Petersen, 1994) có thể nhận ra các ngôn ngữ unary sau: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Có ngôn ngữ đơn phương không tầm thường nào khác được công nhận bởi 2dca không? Ghi chú rằng …

17 fl.formal-languages  automata-theory  counter-automata 

Nhiều năm trước tôi đã nghe nói rằng tính toán NFA tối thiểu (máy tự động hữu hạn hữu hạn) từ DFA (xác định) là một câu hỏi mở, trái ngược với hướng ngược lại đã được biết đến trong nhiều thập kỷ và được nghiên cứu kỹ với hiệu …

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization