以下是一个解决方案的代码示例：

def group_by_last_state(states):
    groups = {}
    
    for state in states:
        last_state = state[-1]
        if last_state not in groups:
            groups[last_state] = []
        groups[last_state].append(state)
    
    return groups


states = ['AC', 'AD', 'BC', 'CD', 'DE']
grouped_states = group_by_last_state(states)
print(grouped_states)

输出结果为：

{'C': ['AC', 'BC'], 'D': ['AD', 'CD'], 'E': ['DE']}

在这个例子中，我们定义了一个名为group_by_last_state的函数，它接受一个包含各个状态的列表作为输入。我们创建了一个空字典groups来存储每个状态的分组。然后，我们遍历每个状态，并提取出最后一个状态。如果最后一个状态不在字典groups中，我们将其添加为一个新的键，并将当前状态添加到该键的值列表中。如果最后一个状态已经在字典groups中，我们只需将当前状态附加到相应的值列表中。最后，我们返回字典groups作为结果。

在这个例子中，最后状态为C的状态有AC和BC，最后状态为D的状态有AD和CD，最后状态为E的状态有DE。因此，函数返回的结果是一个字典，其中键是最后状态，值是具有相同最后状态的状态列表。