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

Tôi đã xem lại Lý thuyết tính toán cho vui và câu hỏi này đã làm tôi khó chịu trong một thời gian (buồn cười không bao giờ nghĩ về nó khi tôi học Lý thuyết Automata khi học đại học). Vậy "tại sao" chính xác là chúng ta nghiên …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

Hệ thống phân cấp Chomsky (mậtSchützenberger) được sử dụng trong sách giáo khoa khoa học máy tính lý thuyết, nhưng rõ ràng nó chỉ bao gồm một phần rất nhỏ các ngôn ngữ chính thức (REG, CFL, CSL, RE) so với Sơ đồ sở thú phức tạp đầy đủ . …

45 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching 

Máy tính thực có bộ nhớ hạn chế và chỉ có một số trạng thái hữu hạn. Vì vậy, về cơ bản chúng là automata hữu hạn. Tại sao các nhà khoa học máy tính lý thuyết sử dụng máy Turing (và các mô hình tương đương khác) để nghiên …

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

Tôi đang nghĩ đến vấn đề sau: Tôi muốn tìm một biểu thức chính quy khớp với một chuỗi các chuỗi cụ thể (ví dụ: địa chỉ email hợp lệ) và không khớp với các biểu thức khác (địa chỉ email không hợp lệ). Giả sử bằng biểu thức chính …

42 np-hardness  fl.formal-languages  lg.learning  regular-expressions 

Luôn có một cách để ứng dụng trong các chủ đề liên quan đến khoa học máy tính lý thuyết. Nhưng sách giáo khoa và các khóa học đại học thường không giải thích lý do rằng lý thuyết automata là một chủ đề quan trọng và liệu nó có …

37 soft-question  fl.formal-languages  automata-theory  teaching 

Hỏi ngay cả một người có nền tảng về khoa học máy tính về biểu thức chính quy là gì và câu trả lời có thể vượt ra ngoài giới hạn của việc nằm trong tầm tay của một máy tự động trạng thái hữu hạn. Ví dụ: biểu thức …

36 automata-theory  pl.programming-languages  fl.formal-languages  regular-expressions  terminology 

Tôi cần một cuốn sách lý thuyết automata hữu hạn với rất nhiều ví dụ mà tôi có thể sử dụng để tự học và chuẩn bị cho các kỳ thi.

32 reference-request  automata-theory  fl.formal-languages 

Trong phần mở đầu cho những cuốn sách rất có ảnh hưởng của mình Automata, Languages ​​and Machines (Tập A, B), Samuel Eilenberg đã trêu chọc các Tập C và D liên quan đến "một hệ thống phân cấp (được gọi là hệ thống phân cấp hợp lý) của các …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

Là ngôn ngữ { } bối cảnh miễn phí hay không?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Tôi nhận ra rằng tôi đã gặp phải hầu hết các biến thể của câu hỏi này với các điều kiện khác nhau về mối …

30 automata-theory  fl.formal-languages  grammars 

Người ta biết rằng một biểu thức chính quy có thể được nhận ra bởi một máy tự động hữu hạn không xác định có kích thước tỷ lệ thuận với biểu thức chính quy hoặc bởi FA xác định có khả năng lớn hơn theo cấp số nhân. Hơn …

30 fl.formal-languages  automata-theory  regular-expressions 

Tôi đã tự hỏi liệu có một thuật toán `` better '' (tôi sẽ giải thích theo nghĩa nào) để bắt đầu từ một DFA và xây dựng một biểu thức chính quy sao cho , hơn một trong cuốn sách của Hopcroft và Ullman (1979). Trong đó, các bộ …

28 fl.formal-languages  automata-theory  regular-expressions 

Sửa một số nguyên và bảng chữ cái . Xác định là tập hợp của tất cả các automata trạng thái hữu hạn trên trạng thái có trạng thái bắt đầu 1. Chúng tôi đang xem xét tất cả các DFA (không chỉ kết nối, tối thiểu hoặc không suy …

28 cc.complexity-theory  fl.formal-languages  automata-theory  counting-complexity 

Hãy xem xét một automata hữu hạn không xác định A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F) và một hàm f(n)f(n)f(n) . Ngoài ra chúng tôi xác định Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i . Bây giờ hãy phân tích các tuyên bố sau: Nếu Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A) …

28 automata-theory  fl.formal-languages  nondeterminism 

Là một dự án phụ, tôi đang viết một ngôn ngữ bằng Python. Tôi đã bắt đầu bằng cách sử dụng một bản sao flex / bison có tên gọi là Ply, nhưng đang đi ngược lại với sức mạnh của những gì tôi có thể diễn đạt với phong …

28 fl.formal-languages  pl.programming-languages  grammars 

Chúng tôi định nghĩa một ngôn ngữ cây thông thường như trong cuốn sách TATA : Đó là tập hợp các cây được chấp nhận bởi một máy tự động cây hữu hạn không xác định (Chương 1) hoặc, tương tự, tập hợp các cây được tạo bởi một ngữ …

26 co.combinatorics  fl.formal-languages  tree  regular-language