Clearly we need to use the stack to

Clearly we need to use the stack to count the a's and then compare that count to the b's as they're read in. The
complication here is that for every a, there may be either one or two b's. So we'll need nondeterminism. Every
string in L has two regions, the a region followed by the b region (okay, they're hard to tell apart in the case of ε,
but trivially, this even true there). So we need a machine with at least two states.
There are two ways we could deal with the fact that, each time we see an a, we don't know whether it will be
matched by one b or two. The first is to push either one or two characters onto the stack. In this case, once we
get to the b's, we'll pop one character for every b we see. A nondeterministic machine that follows all paths of
combinations of one or two pushed characters will find at least one match for every string in L. The alternative is
to push a single character for every a and then to get nondeterministic when we're processing the b's: For each
stack character, we accept either one b or two. Here's a PDA that takes the second approach. You may want to
try writing one that does it the other way. This machine actually needs three states since it needs two states for
processing b's to allow for the case where two b's are read but only a single a is popped

Kết quả (Việt) 1:

Rõ ràng chúng ta cần phải sử dụng ngăn xếp để đếm các của một và sau đó so sánh đó tính đến việc của b như là họ đang đọc. Cácbiến chứng ở đây là cho mỗi một, có thể có một hoặc hai của b Vì vậy, chúng tôi sẽ cần nondeterminism. Mỗichuỗi trong L có hai khu vực, các vùng theo vùng b (okay, chúng ta khó có thể nói ngoài trong trường hợp của ε,"nhưng trivially, điều này thậm chí thật sự có). Vì vậy, chúng ta cần một máy tính với ít nhất hai kỳ.Có hai cách chúng ta có thể đối phó với thực tế rằng, mỗi khi chúng ta nhìn thấy một a, chúng ta không biết liệu nó sẽkết hợp bởi một b hoặc hai. Đầu tiên là để đẩy một hay hai nhân vật vào ngăn xếp. Trong trường hợp này, một khi chúng tôicó thể các của b, chúng tôi sẽ bật một ký tự cho mỗi b chúng ta thấy. Máy nondeterministic mà sau tất cả các đường dẫn củasự kết hợp của một hoặc hai ký tự đẩy sẽ tìm thấy ít nhất một trận đấu cho mỗi chuỗi trong L. Cách khác làđể đẩy một nhân vật duy nhất cho mỗi một và sau đó để có được nondeterministic khi chúng tôi đang xử lý các của b: cho mỗingăn xếp các nhân vật, chúng tôi chấp nhận hoặc b một hoặc hai. Dưới đây là một PDA mất cách tiếp cận thứ hai. Bạn có thể muốncố gắng viết một hiện nó theo cách khác. Máy này thực sự cần ba tiểu bang kể từ khi nó cần hai kỳ chochế biến của b để cho phép cho các trường hợp mà hai của b được đọc nhưng chỉ duy nhất một popped

Kết quả (Việt) 2:

Rõ ràng chúng ta cần phải sử dụng ngăn xếp để đếm một và sau đó so sánh số đó của b như họ đang đọc. Các
biến chứng ở đây là cho mỗi một, có thể có một hoặc hai b của. Vì vậy, chúng tôi sẽ cần nondeterminism. Mỗi
chuỗi trong L có hai vùng, một khu vực tiếp theo là khu vực b (okay, họ khó có thể nói ngoài trong trường hợp của ε,
nhưng trivially, điều này thậm chí đúng ở đó). Vì vậy, chúng ta cần một máy tính có ít nhất hai quốc gia.
Có hai cách để chúng tôi có thể đối phó với thực tế là, mỗi lần chúng ta thấy một một, chúng tôi không biết liệu nó sẽ được
khớp với một trong hai b hoặc. Đầu tiên là để đẩy một hoặc hai nhân vật vào ngăn xếp. Trong trường hợp này, khi chúng tôi
nhận được vào của b, chúng tôi sẽ bật một ký tự cho mỗi b chúng ta thấy.
Một máy nondeterministic rằng sau tất cả những con đường của sự kết hợp của một hoặc hai nhân vật đẩy sẽ tìm thấy ít nhất một trận đấu cho mỗi chuỗi trong L. Cách khác là
để đẩy một nhân vật duy nhất cho mỗi một và sau đó để có được toán không đơn định khi chúng tôi đang xử lý của b : Đối với mỗi
nhân vật stack, chúng tôi chấp nhận một hoặc hai b. Dưới đây là một PDA mà có phương pháp thứ hai. Bạn có thể muốn
thử viết một mà hiện nó theo cách khác. Máy này thực sự cần ba tiểu bang vì nó cần hai trạng thái cho
chế biến b để cho phép cho trường hợp hai của b được đọc nhưng chỉ có một đĩa đơn được popped Cách khác là để đẩy một nhân vật duy nhất cho mỗi một và sau đó để có được toán không đơn định khi chúng tôi đang xử lý của b: Đối với mỗi nhân vật stack, chúng tôi chấp nhận một hoặc hai b. Dưới đây là một PDA mà có phương pháp thứ hai. Bạn có thể muốn thử viết một mà hiện nó theo cách khác. Máy này thực sự cần ba tiểu bang vì nó cần hai trạng thái cho chế biến b để cho phép cho trường hợp hai của b được đọc nhưng chỉ có một đĩa đơn được popped Cách khác là để đẩy một nhân vật duy nhất cho mỗi một và sau đó để có được toán không đơn định khi chúng tôi đang xử lý của b: Đối với mỗi nhân vật stack, chúng tôi chấp nhận một hoặc hai b. Dưới đây là một PDA mà có phương pháp thứ hai. Bạn có thể muốn thử viết một mà hiện nó theo cách khác. Máy này thực sự cần ba tiểu bang vì nó cần hai trạng thái cho chế biến b để cho phép cho trường hợp hai của b được đọc nhưng chỉ có một đĩa đơn được popped

Kết quả (Việt) 3:

Rõ ràng là chúng ta cần sử dụng ngăn xếp để tính toán và so sánh A, B, và đếm được, vì họ đang đọc.Cái nàyỞ đây, mỗi một sự phức tạp, có thể có một hay hai B. Vì vậy chúng ta cần không chắc chắn.Mỗi mộtChuỗi L có hai khu vực, một khu vực gồm khu B (Được rồi, họ rất khó tách ra ở ε Case,Nhưng bình thường, điều này thực sự có).Vì vậy chúng ta cần một ít nhất có hai trạng thái của cỗ máy.Có hai cách để chúng ta có thể xử lý sự kiện, mỗi lần chúng ta thấy một, chúng tôi không biết nó cóKhớp với một B - 2.Đầu tiên là gửi một hoặc hai ký tự đẩy vào stack.Trong trường hợp này, khi chúng taĐến B, chúng ta sẽ mở một ký tự cho mỗi một B, chúng ta thấy.Một cỗ máy có thể không chắc chắn, bao gồm tất cả các con đườngMột hay hai ký tự đẩy kết hợp sẽ tìm thấy ít nhất 1 tương ứng với mỗi một sợi dây ở L.Sẽ có một ký tự mỗi người không chắc chắn và có được khi chúng ta xử lý mọi B:Stack ký tự, ta chấp nhận bất cứ một B - 2.Ở đây có một PDA, sử dụng cách thứ hai.Anh có thể muốnThử viết một cách làm cách khác.Cỗ máy thực sự cần ba bang, bởi vì nó cần hai tiểu bang.B cho phép xử lý tình huống, 2 b đọc, nhưng chỉ có một người duy nhất là bung