右线性文法构造有穷自动机

是的，右线性文法可以构造出有穷自动机。具体来说，对于一个右线性文法，我们可以将每个产生式对应的右部反转，然后构造出一个 ε-NFA（非确定有限自动机），再将该 ε-NFA 转换为 DFA（确定有限自动机），就得到了对应的有穷自动机。这个自动机可以接受该右线性文法生成的所有字符串。

需要注意的是，这个自动机的状态数可能是指数级别的，因此在实际应用中可能需要进行优化。