非确定有限自动机（NFA）转正则表达式：推导结果存疑求助

• 我在将非确定有限自动机（NFA）转换为正则表达式时遇到极大困难，反复查阅资料、观看视频后，仍确定自己得出的结果有误。
• 涉及的NFA示意图、我的推导步骤图已提供（原外链已移除）
• 我最终得出的正则表达式为：(ab*(a∪b)a*)∪a*
• 恳请专业人士指正我的推导问题。

内容的提问来源于stack exchange，提问作者comp_sci_noob