从（）引出的分支叫做状态分支或概率分支，在分支上注明自然状态名称及其出现的概率，分支数量与自然状态数量相同。