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

Đây là một câu hỏi tiếp theo của câu hỏi này . Trong một câu hỏi trước đây về các máy trạng thái kỳ lạ , Alex ten Brink và Raphael đã đề cập đến khả năng tính toán của một loại máy trạng thái đặc biệt: min-heap automata. Họ …

16 formal-languages  automata  closure-properties 

Đặt . Một ngôn ngữ được cho là có sự "chống palindrome" tài sản nếu cho mỗi chuỗi đó là một palindrome, . Bên cạnh đó, đối với mỗi chuỗi đó là không một palindrome hoặc hoặc , nhưng không phải cả hai (!) (Không bao gồm hoặc).Σ={0,1}Σ={0,1}\Sigma = \{ …

15 formal-languages 

Trong cuốn sách văn bản của tôi nó được đề cập rằng: nơi ∅ là một ngôn ngữ trống rỗng.∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\}∅∅\emptyset Tuy nhiên, chúng ta biết rằng , nơi L là bất kỳ ngôn ngữ.L⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptysetLLL Tôi không thể bằng trực giác nắm bắt khái niệm này bởi …

15 formal-languages  kleene-star 

Vì vậy, về cơ bản L thỏa mãn các điều kiện của bổ đề bơm cho CFL nhưng không phải là CFL (điều đó là có thể theo định nghĩa của bổ đề).

15 formal-languages  context-free  pumping-lemma 

Đây là một câu hỏi tiếp theo của câu hỏi này . Trong một câu hỏi trước đây về các máy trạng thái kỳ lạ , Alex ten Brink và Raphael đã đề cập đến khả năng tính toán của một loại máy trạng thái đặc biệt: min-heap automata. Họ …

15 formal-languages  automata  nondeterminism 

Có một đặc tính đại số của số lượng từ có độ dài nhất định trong một ngôn ngữ thông thường? Wikipedia nêu một kết quả không chính xác: Đối với bất kỳ ngôn ngữ thông thường LLL nào tồn tại hằng số λ1,…,λkλ1,…,λk\lambda_1,\,\ldots,\,\lambda_k và đa thứcp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\,\ldots,\,p_k(x) như vậy mà …

15 formal-languages  regular-languages  word-combinatorics 

Tôi không rõ về việc sử dụng các cụm từ ngôn ngữ "vô hạn" hoặc ngôn ngữ "hữu hạn" trong lý thuyết máy tính. Tôi nghĩ rằng nguồn gốc của những rắc rối là một ngôn ngữ như là vô hạn theo nghĩa là nó có thể tạo vô hạn …

15 formal-languages  terminology  regular-languages 

Có thể nói rằng hầu hết các ngôn ngữ được tạo ra để mô tả các vấn đề hàng ngày là nhạy cảm theo ngữ cảnh. Mặt khác, có thể và không khó để tìm thấy một số ngôn ngữ không đệ quy hoặc thậm chí không đệ quy. Giữa …

15 formal-languages  complexity-theory  formal-grammars 

Tôi thường sử dụng ký hiệu cho chuỗi rỗng (từ trống hoặc chuỗi rỗng). Nhưng tôi biết một số người sử dụng λ thay vì ε .εε\varepsilonλλ\lambdaεε\varepsilon Tôi nghĩ có nguồn gốc từ chữ "Empty". Tuy nhiên tôi không biết nguồn gốc của những gì λ .εε\varepsilonλλ\lambda Trong lý thuyết …

14 formal-languages  automata  reference-request  notation  history 

Với một bảng chữ cái Σ={a,b}Σ={a,b}\Sigma = \{ a,b \} , có bao nhiêu khác nhau thường xuyên ngôn ngữ đang có có thể được chấp nhận bởi một -state automaton hữu hạn không xác định?nnn Ví dụ, chúng ta hãy xem xét . Sau đó, chúng tôi có cấu …

14 formal-languages  regular-languages  finite-automata  combinatorics 

Tôi cố gắng dạy bản thân cách sử dụng bò rừng. Bison manpage (1) nói về bò rừng: Tạo một trình phân tích cú pháp LR hoặc GL (GLR) xác định sử dụng các bảng phân tích cú pháp LALR (1), ClassifiedR (1) hoặc canonical (1). Trình phân tích mã …

14 formal-languages  terminology  formal-grammars  parsers 

Theo bài viết trên Wikipedia , chữ L trong có nghĩa là "quét từ trái sang phải" và "R" có nghĩa là "đạo hàm ngoài cùng bên phải". Tuy nhiên, trong bài viết gốc của Knuth về ngữ pháp L R ( k ) , ông định nghĩa L R …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Đặt là một ngữ pháp không ngữ cảnh. Một chuỗi các thiết bị đầu cuối và không thuộc đầu cuối của được cho là một hình thức sentential của nếu bạn có thể lấy nó bằng cách áp dụng tác phẩm của zero hoặc thời gian hơn để các biểu …

14 formal-languages  context-free  formal-grammars  closure-properties 

Cho một ngôn ngữ , xác định tập hợp độ dài của L là tập hợp độ dài của các từ trong L : L S ( L ) = { | bạn | ∣ u ∈ L }LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Những bộ số nguyên …

14 formal-languages  computability  regular-languages  finite-automata 

Tôi đã tự hỏi khi các ngôn ngữ có cùng số lượng phiên bản của hai chuỗi con sẽ là thường xuyên. Tôi biết rằng ngôn ngữ chứa số 1 và 0 bằng nhau không phải là thông thường, nhưng là ngôn ngữ như , trong đó = số phiên …

14 formal-languages  regular-languages  pumping-lemma