Sobre os elementos da linguagem SFC, é correto afirmar:

Quando uma Etapa não possui uma ação associada, o programa retorna à etapa inicial.

Quando uma etapa não possui uma ação associada, não é necessário inserir uma transição após esta etapa.

Etapas são condições lógicas que permitem que o controle do programa passe de uma ação anterior para uma ação posterior, quando a condição lógica for verdadeira.

Transições são condições lógicas que permitem que o controle do programa passe de uma etapa anterior para uma posterior, mesmo quando a condição lógica não for verdadeira.

Cada etapa de um programa em SFC pode ter nenhuma ou várias ações, as quais podem ser variáveis booleanas ou qualquer conjunto de instruções de uma das linguagens padronizadas.