比DFA更强大，但低于DPDA

Question

有没有比有限自动机更强大但比确定性下推自动机更强大的东西？

Answer 1

不确定。让我们将UDPDA定义为仅使用一个堆栈符号的DPDA;即，堆栈字母表是一元的。这样的机器可以识别语言L = {a ^ n b ^ n | n> 0}，但不是语言P = {w $ w ^ R | w是简单回文的任何字符串。它可以通过不使用堆栈来识别任何常规语言。因此L（DFA）是L（UDPDA）的子集是L（DPDA）的子集。

你可以定义许多其他类型的自动机，比这更具异国情调，这也可能符合要求。例如，我已经定义了min-heap自动机，它既不比下推自动机强大也不强。您可以通过搜索cs.stackexchange.com或Google“min heap automata”来了解它们。