DPDA(Decider Pushdown Automaton)

03-12-2011, 01:45 PM

webdev

Senior Member

Join Date: Jun 2009

Posts: 7,868

DPDA(Decider Pushdown Automaton)

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...

__________________
Website Development
Domain Name Forum

« Previous Thread | Next Thread »

Posting Rules
You may not post new threads You may not post replies You may not post attachments You may not edit your posts BB code is On Smilies are On [IMG] code is On HTML code is Off Forum Rules

Forum Jump

All times are GMT -4. The time now is 03:21 PM.

| Webmaster Forum | | Domain Name Forum |