Khoa học máy tính formal-languages

4

Làm thế nào để chuyển đổi automata hữu hạn thành biểu thức thông thường?

Chuyển đổi các biểu thức chính quy thành NFA (tối thiểu) chấp nhận cùng một ngôn ngữ là dễ dàng với các thuật toán tiêu chuẩn, ví dụ thuật toán của Thompson . Tuy nhiên, hướng khác có vẻ tẻ nhạt hơn, và đôi khi các biểu thức kết quả …

115 algorithms formal-languages finite-automata regular-expressions reference-question

5

Làm thế nào để chứng minh rằng một ngôn ngữ không có ngữ cảnh?

Chúng tôi đã học về lớp ngôn ngữ không ngữ cảnh . Nó được đặc trưng bởi cả ngữ pháp không ngữ cảnh và tự động đẩy xuống, do đó dễ dàng cho thấy rằng một ngôn ngữ nhất định là không có ngữ cảnh.CFLCFL\mathrm{CFL} Làm thế nào để tôi …

88 formal-languages context-free proof-techniques reference-question

10

Làm thế nào để chứng minh rằng một ngôn ngữ không thường xuyên?

Chúng tôi đã học về lớp ngôn ngữ thông thường . Nó được đặc trưng bởi bất kỳ một khái niệm nào trong số các biểu thức chính quy, automata hữu hạn và ngữ pháp tuyến tính trái, vì vậy thật dễ dàng để chỉ ra rằng một ngôn ngữ …

75 formal-languages regular-languages proof-techniques reference-question

1

Ngôn ngữ so sánh lý thuyết của ngữ pháp LL và LR

Mọi người thường nói rằng trình phân tích cú pháp LR (k) mạnh hơn trình phân tích cú pháp LL (k) . Những tuyên bố này là mơ hồ hầu hết thời gian; cụ thể, chúng ta nên so sánh các lớp cho một cố định hoặc liên minh trên …

67 formal-languages formal-grammars parsers reference-question

8

Làm thế nào để chứng minh một ngôn ngữ là thường xuyên?

Có nhiều phương pháp để chứng minh rằng một ngôn ngữ không thường xuyên , nhưng tôi cần làm gì để chứng minh rằng một số ngôn ngữ là chính quy? Chẳng hạn, nếu tôi được cho rằng là thường xuyên, làm thế nào tôi có thể chứng minh rằng …

48 formal-languages regular-languages automata proof-techniques reference-question

2

Xác định khả năng của một máy trạng thái heap min (hoặc ngoại lai khác)

Xem phần cuối của bài đăng này để biết một số giải thích về định nghĩa của automata heap heap. Người ta có thể tưởng tượng sử dụng một loạt các cấu trúc dữ liệu để lưu trữ thông tin để sử dụng bởi các máy trạng thái. Ví dụ, …

44 formal-languages automata

1

Chứng tỏ rằng {xy | x | = | y |, x ≠ y} không có ngữ cảnh

Tôi nhớ đã gặp một câu hỏi sau đây về một ngôn ngữ được cho là không có ngữ cảnh, nhưng tôi không thể tìm thấy bằng chứng nào về thực tế. Có lẽ tôi đã đánh giá sai câu hỏi? Dù sao, đây là câu hỏi: Chứng minh rằng …

43 formal-languages context-free

1

Sự khác biệt giữa một thuật toán, ngôn ngữ và một vấn đề là gì?

Có vẻ như trên trang web này, mọi người thường sẽ sửa lỗi cho những người khác vì nhầm lẫn "thuật toán" và "vấn đề". Sự khác biệt giữa những điều này là gì? Làm thế nào để tôi biết khi nào tôi nên xem xét các thuật toán và …

40 algorithms complexity-theory formal-languages terminology reference-question

2

Có những ngôn ngữ không có ngữ cảnh mơ hồ và xác định?

Chúng ta hãy gọi một ngôn ngữ xác định ngôn ngữ không ngữ cảnh nếu và chỉ khi nó có thể được chấp nhận bởi một máy tự động đẩy xuống xác định, và không khác biệt. Chúng ta hãy gọi một ngôn ngữ không có ngữ cảnh vốn đã …

36 formal-languages automata formal-grammars pushdown-automata

9

Tầm quan trọng của các ngôn ngữ nhạy cảm theo ngữ cảnh (Loại 1) là gì?

Thấy trong Chomsky Hierarchy Loại 3 ngôn ngữ có thể được công nhận bởi một máy nhà nước không có bộ nhớ bên ngoài (ví dụ, một automaton hữu hạn), Loại 2 bởi một máy nhà nước với một đơn stack (tức là một automaton đẩy xuống) và Gõ 0 …

34 formal-languages applied-theory computability automata formal-grammars

2

Tại sao một ngôn ngữ thông thường được gọi là 'thông thường'?

Tôi vừa hoàn thành chương đầu tiên của Giới thiệu về Lý thuyết tính toán của Michael Sipser , giải thích những điều cơ bản của automata hữu hạn. Ông định nghĩa một ngôn ngữ thông thường là bất cứ thứ gì có thể được mô tả bởi một automata …

31 formal-languages regular-languages terminology finite-automata history

2

Tại sao loại khoảng trống của C không giống với loại trống / đáy?

Wikipedia cũng như các nguồn khác mà tôi đã tìm thấy voidloại C là một loại đơn vị trái ngược với loại trống. Tôi thấy điều này khó hiểu vì dường như với tôi voidphù hợp hơn với định nghĩa về loại trống / đáy. Không có giá trị cư …

28 type-theory c logic modal-logic coq equality coinduction artificial-intelligence computer-architecture compilers asymptotics formal-languages asymptotics landau-notation asymptotics turing-machines optimization decision-problem rice-theorem algorithms arithmetic floating-point automata finite-automata data-structures search-trees balanced-search-trees complexity-theory asymptotics amortized-analysis complexity-theory graphs np-complete reductions np-hard algorithms string-metrics computability artificial-intelligence halting-problem turing-machines computation-models graph-theory terminology complexity-theory decision-problem polynomial-time algorithms algorithm-analysis optimization runtime-analysis loops turing-machines computation-models recurrence-relation master-theorem complexity-theory asymptotics parallel-computing landau-notation terminology optimization decision-problem complexity-theory polynomial-time counting coding-theory permutations encoding-scheme error-correcting-codes machine-learning natural-language-processing algorithms graphs social-networks network-analysis relational-algebra constraint-satisfaction polymorphisms algorithms graphs trees

1

Tiệm cận của số lượng từ trong một ngôn ngữ thông thường có độ dài nhất định

Đối với ngôn ngữ thông thường , hãy đặt là số lượng từ trong có độ dài . Sử dụng dạng chính tắc Jordan (áp dụng cho ma trận chuyển tiếp không được quản lý của một số DFA cho ), người ta có thể chỉ ra rằng với , …

28 formal-languages reference-request regular-languages asymptotics combinatorics

6

Tạo kết hợp từ một nhóm các cặp mà không lặp lại các phần tử

Tôi có một bộ các cặp. Mỗi cặp có dạng (x, y) sao cho x, y thuộc các số nguyên từ phạm vi [0,n). Vì vậy, nếu n là 4, thì tôi có các cặp sau: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Tôi đã có các cặp. Bây giờ, tôi …

28 algorithms graphics data-structures computational-geometry operating-systems process-scheduling algorithms sorting database-theory relational-algebra finite-model-theory logic automata linear-temporal-logic buchi-automata complexity-theory np-complete decision-problem machine-learning algorithms pattern-recognition logic formal-languages formal-grammars context-free

2

Làm thế nào để chứng minh rằng một ngôn ngữ là không có ngữ cảnh?

Có nhiều kỹ thuật để chứng minh rằng một ngôn ngữ không có ngữ cảnh, nhưng làm cách nào để chứng minh rằng một ngôn ngữ không có ngữ cảnh? Có những kỹ thuật nào để chứng minh điều này? Rõ ràng, một cách là thể hiện một ngữ pháp …

26 formal-languages context-free formal-grammars proof-techniques reference-question

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