My Most Important Project Was a Bytecode Interpreter

Re:My Most Important Project Was a Bytecode Interpreter by halter73 on Thursday September 22, 2016 @03:19AM (#12555078)

Isn't it possible to decide the equivalence of deterministic pushdown automata? Wouldn't DPDAs be considered more powerful than FSMs due to the addition of a stack?

Wikipedia [1] shows there's a paper called "The equivalence problem for deterministic pushdown automata is decidable" that won the Gödel Prize is 2002. I haven't read the paper nor do I currently have access to it though.

[1] https://en.wikipedia.org/wiki/Deterministic_pushdown_automat...

[ Parent | on HN ]

Re:My Most Important Project Was a Bytecode Interpreter by kefka on Thursday September 22, 2016 @07:18AM (#12556004)

Here you go!

http://link.springer.com.sci-hub.cc/chapter/10.1007/3-540-63...

It was initially published in 1997.

[ Parent | on HN ]

Re:My Most Important Project Was a Bytecode Interpreter by wyager on Thursday September 22, 2016 @11:06AM (#12557293)

Huh! Well there you go.

[ Parent | on HN ]