我有这份形式主义清单，我需要根据他们的表达能力对它们进行排序，其中一个也不属于它们。
Context-free Grammar(CFG)
Deterministic Finite Automata(DFA)
Deterministic Pushdown Automata(DPDA)
LR(0) Grammar
LR(1) Grammar
Nondeterministic Finite Automata(NFA)
Nondeterministic Finite Automata with epsilon transitions(NFAe)
Nondeterministic Turing MAchines(NTM)
Pushdown Automata(PDA)
Regular expressions(reg.exp)
Turing Machines(TM)
Turing MAchines with twi heads(TM2h)
我按以下方式订购了它们：
1. NFAe, NFA, DFA, reg.exp
2. DPDA
3. PDA, CFG
4. TM, TM2h, NTM
4中的人是最强大的。 我删除了LR语法，因为它们只是编写CFG的一种方式，因此它们可以被LR解析器解析。
但我不确定这是否正确。
答案 0 :(得分：0)
LR（1）等于DPDA。
LR（0）是REG，DFA等无法比拟的。因此，如果您应该提供除了其中一个类以外的所有类的总订单，则必须省略LR（0）。一旦你把它放在订单中，由于不可比性，四种常规形式不能在同一总订单中。