通过状态移除将有限自动机转换为正则表达式

Finite automata to regular expression via state removal

我正在尝试使用状态移除将此有限自动机转换为正则表达式。删除状态时,我知道我应该查看所有传出和传入的转换,并确保通过即将删除的状态的所有路径都得到保留。但是,我仍然觉得整个概念有点混乱。我附上了一张我尝试过的练习题的图片,我想知道它是否正确。我也很感激任何解决这些类型问题的技巧。

我不确定这是否是正确的解决方案。 (顺便说一句,我不知道我们是否可以在第一步删除 A)