0

Deterministic context free languages are the context free languages that can be accepted by a deterministic push down automata.

Deterministic context free languages can be recognized by a deterministic Turing machine in polynomial time.

The lower elementary functions are a subset of the elementary recursive functions.

Lower elementary recursive functions are limited to polynomial time growth.

From this is it correct to derive that deterministic push down automata are of equal power to the lower elementary recursive functions?

Edit: My reasoning is that because the deterministic context free languages can be recognized in polynomial time that a deterministic push down automata is implementing a boolean function of up to that complexity. The lower elementary functions are also up to polynomial time. As such are they not equal in power?

44701
  • 459
  • 2
  • 10
  • 3
    How exactly do you derive your statement from the givens? Try to use deductive logic, with a focus on definitions. – Yuval Filmus Mar 08 '16 at 22:54
  • 2
    A list of truths does not make a proof. – Raphael Mar 09 '16 at 01:10
  • I am not asking if this is a correct proof. It is not meant to be a proof. These are just facts that lead me to believe that they probably are equal in power. I have not been able to find the answer to this specific question online, and am asking if this is true or not. – 44701 Mar 09 '16 at 01:17

1 Answers1

2

No, that doesn't follow at all. There are problems that can be solved in polynomial time, but that don't correspond to any deterministic context-free language.

D.W.
  • 159,275
  • 20
  • 227
  • 470