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

Ngôn ngữ đã cho và , chúng ta hãy nói rằng họ nối là rõ ràng nếu cho tất cả các từ , có chính xác là một phân hủy với và , và mơ hồ khác. (Tôi không biết có thuật ngữ nào được thiết lập cho tài sản …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

Nếu tôi có Ngữ pháp Loại 3, nó có thể được biểu diễn trên máy tự động đẩy xuống (không thực hiện bất kỳ thao tác nào trên ngăn xếp) để tôi có thể biểu diễn các biểu thức thông thường bằng cách sử dụng các ngôn ngữ không ngữ …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

Lưu ý đây là một câu hỏi liên quan đến việc học trong khóa học CS tại một trường đại học, nó KHÔNG phải là bài tập về nhà và có thể tìm thấy ở đây trong kỳ thi Fall 2011. Đây là hai câu hỏi tôi đang xem từ …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

Giao điểm của ngôn ngữ tự do ngữ cảnh L với ngôn ngữ thông thường M, được cho là luôn luôn không có ngữ cảnh. Tôi hiểu bằng chứng xây dựng sản phẩm chéo, nhưng tôi vẫn không hiểu tại sao nó không có ngữ cảnh nhưng không thường xuyên. …

16 regular-languages  context-free  finite-automata  formal-grammars 

Gần đây, một câu hỏi thú vị đã được hỏi và sau đó bị xóa. Đối với ngôn ngữ thông thường , độ phức tạp DFA của nó là kích thước của DFA tối thiểu chấp nhận nó và độ phức tạp NFA của nó là kích thước của NFA …

15 regular-languages  finite-automata 

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 

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 

Được biết, ngôn ngữ của các từ chứa số 0 và 1 bằng nhau là không thường xuyên, trong khi ngôn ngữ của các từ chứa số 001 và 100 bằng nhau là thường xuyên ( xem tại đây ). Cho hai từ , có thể quyết định được không …

14 regular-languages  undecidability 

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 

Trong khi thực hiện bài tập hiện tại cho các ngôn ngữ chính thức và khóa học automata của tôi, tôi đã bị mắc kẹt trong các bài tập liên quan đến ngôn ngữ đơn nhất (tôi hy vọng đó là thuật ngữ đúng), tức là các ngôn ngữ xây …

13 formal-languages  regular-languages 

Đặt ngôn ngữ là thường xuyên.L ⊆ Σ*L⊆Σ*\mathcal{L} \subseteq \Sigma^* Một hệ số của là một cặp tối đa của các bộ từ vớiLL\mathcal{L}( X, Y)(X,Y)(X,Y) X⋅ Y⊆ LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠ ∅ ≠ YX≠∅≠YX \neq \emptyset \neq Y , trong đó X⋅ Y= { x yX⋅Y= ={xyX …

13 algorithms  regular-languages  optimization 

Tôi thực sự yêu sự giúp đỡ của bạn với những điều sau đây: Đối với bất kỳ cố định nào, tôi cần quyết định xem có đóng cửa theo các toán tử sau không:L2L2L_2 Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in …

13 formal-languages  regular-languages  closure-properties 

LLL là ngôn ngữ thông thường trong bảng chữ cái . Thương số trái của liên quan đến là ngôn ngữ Σ={a,b}Σ={a,b}\Sigma = \{a,b\}LLLw∈Σ*w∈Σ*w \in \Sigma^*w- 1L:={v∣wv∈L}w−1L:={v∣wv∈L}w^{-1} L := \{v \mid wv \in L\} Làm thế nào tôi có thể chứng minh rằng là thường xuyên?w−1Lw−1Lw^{-1}L

13 formal-languages  regular-languages  closure-properties