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

Các bộ chuyển đổi được xem xét ở đây là những Wikipedia gọi là bộ chuyển đổi trạng thái hữu hạn . Hành vi của một bộ chuyển đổi , nghĩa là, mối quan hệ mà nó tính toán, được viết : một từ là một đầu ra cho iff …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

Một DFA hoặc NFA đọc qua một chuỗi đầu vào với một đầu duy nhất, di chuyển từ trái sang phải. Có vẻ tự nhiên khi tự hỏi về các máy trạng thái hữu hạn có nhiều đầu , mỗi đầu di chuyển qua đầu vào từ trái sang phải, …

10 fl.formal-languages  automata-theory  regular-language  nfa 

Đặt là bảng chữ cái hữu hạn. Đối với một ngôn ngữ nhất định L ⊆ A * các monoid cú pháp M ( L ) là một khái niệm nổi tiếng trong lý thuyết ngôn ngữ chính thức. Hơn nữa, một monoid M nhận một ngôn ngữ L iff …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

Với một DFA , chúng ta có thể xác định một tập hợp các hàm cho mỗi và với , . Chúng ta có thể khái quát khái niệm này thành một từ và trong đó biểu thị thành phần chức năng. Hơn nữa, chúng tôi biểu thị và là …

9 automata-theory  regular-language  monoid 

Đối với một ngôn ngữ cố định trên một số bảng chữ cái , chúng ta hãy xem xét vấn đề sau, mà tôi gọi là LALLLMộtMộtALLL -INTERLEAVING : Đầu vào: hai từ u , v ∈ A*bạn,v∈Một*u, v \in A^* Output: cho dù có tồn tại một đan xen …

9 cc.complexity-theory  reference-request  regular-language 

Hãy L⊆A∗L⊆Một*L \subseteq A^* là một ngôn ngữ, và xác định fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\} bởi fL(x,y)=1fL(x,y)=1f_L(x, y) = 1 khi và chỉ khi x⋅y∈Lx⋅y∈Lx\cdot y \in L . Tôi đang tìm kiếm một tài liệu tham khảo cho: Dự luật. LLL là iff thường xuyên, độ …

9 reference-request  communication-complexity  regular-language 

Do automata giới hạn tuyến tính không giới hạn truy cập chỉ nhận dạng ngôn ngữ thông thường? Bởi một máy tự động giới hạn tuyến tính không giới hạn (nLBA) Tôi có nghĩa là một máy Turing không phá hủy băng đơn trong đó đầu vào được "đệm" với …

9 automata-theory  turing-machines  regular-language  space-bounded 

Cho một NFA và DFA D tương đương của nó, kết quả từ tổng xác định của N (ví dụ sử dụng cấu trúc powerset), các thuộc tính sau giữ cho N , D và cho bất kỳ từ w :NNNDDDNNNNNNDDDwww đọc w trong thời gian chạy tối đa O …

8 automata-theory  regular-language  nondeterminism  dfa  nfa 

Tôi đã đọc về Vấn đề Chiều cao của Sao và nhận thấy rằng các biểu thức chính quy của Eggan tuân theo một mẫu đơn giản có thể được mô tả bằng biểu thức chính quy. Câu hỏi của tôi là: có bất kỳ kết quả thú vị nào …

8 fl.formal-languages  regular-language  regular-expressions