Um estado simples é aquele que não possui nenhuma subestrutura. Um estado que tem substratos (estados aninhados) é chamado de estado composto. Os substratos podem ser aninhados a qualquer nível. Uma máquina de estados aninhados pode ter, no máximo, um estado inicial e um estado final. Os substratos são usados para simplificar máquinas de estados planos complexos, mostrando que alguns estados só são possíveis dentro de um contexto particular (o estado de enclausuramento).
Continue reading