O terminador encerra toda a máquina de estados de forma imediata e incondicional?

Resposta

Resposta: Verdadeiro.

Terminador é um pseudoestado que provoca o término imediato e incondicional da máquina de estados.
Não se aplicam guardas ou condições: qualquer transição para ele encerra todas as regiões ortogonais e ações em andamento.
O estado final difere porque encerra apenas a região onde está.