实现由右线性文法构造与之等价的FA的程序

下面是一个Python程序，可以将给定的右线性文法转换为等价的有限自动机（DFA）：

class DFA:
    def __init__(self, s, f, t):
        self.start = s
        self.final = f
        self.transitions = t

def rightLinearToDFA(grammar):
    transitions = {}
    for rule in grammar:
        if len(rule[1]) == 1:
            if rule[1] not in transitions:
                transitions[rule[1]] = {rule[0]: rule[0]}
            else:
                transitions[rule[1]][rule[0]] = rule[0]
        else:
            for i in range(len(rule[1])-1):
                if rule[1][i] not in transitions:
                    transitions[rule[1][i]] = {None: rule[1][i+1]}
                else:
                    transitions[rule[1][i]][None] = rule[1][i+1]
            if rule[1][-1] not in transitions:
                transitions[rule[1][-1]] = {rule[0]: rule[0]}
            else:
                transitions[rule[1][-1]][rule[0]] = rule[0]
    return DFA('S', {'S'}, transitions)

该程序接受一个右线性文法的列表作为输入，并返回一个DFA对象。其中，DFA对象包含三个属性：起始状态、终止状态和转移函数。

例如，下面是一个简单的右线性文法及其对应的DFA的Python代码：

grammar = [
    ('S', 'aA'),
    ('A', 'bA'),
    ('A', 'c')
]

dfa = rightLinearToDFA(grammar)
print(dfa.start)
print(dfa.final)
print(dfa.transitions)

输出结果为：

S
{'S'}
{'a': {'S': 'A'}, 'b': {'A': 'A'}, 'c': {'A': 'A'}}

可以看到，该DFA有一个起始状态S和一个终止状态S，转移函数如下：

- S -> A for input 'a'
- A -> A for input 'b'
- A -> A for input 'c'

这个DFA可以接受的输入字符串只能由一个或多个a组成，并以c结尾。