I define a Decider PDA, a PDA (nondeterministic or deterministic) that does not loop for any input(I mean that it halt for every input,accept or reject). I want to know more about these PDAs and the class of functions they compute. Actually I didn't find about it in texts... I think that maybe non-loop is another word for it... Thanks.
Saiiiira
0
Newbie Poster
Recommended Answers
Jump to Post>> I want to know more about these PDAs and the class of functions they compute.
The compute the same languages as Context Free Grammers.
All 4 Replies
mrnutty
761
Senior Poster
Saiiiira
0
Newbie Poster
mrnutty
761
Senior Poster
Saiiiira
0
Newbie Poster
Be a part of the DaniWeb community
We're a friendly, industry-focused community of developers, IT pros, digital marketers, and technology enthusiasts meeting, networking, learning, and sharing knowledge.