$estadosDestinos = $DadosValorTerminalEstado[$letra]->{$estadoAtual};
}
if (Funcoes::temMaisDeUmEstadoDestino($estadosDestinos)) {
$proximaLetra = '';
$nextIndex = $i + 1;
if (isset($sentenca[$nextIndex])) {
$proximaLetra = $sentenca[$nextIndex];
}
$estadoDestino = Funcoes::getEstadoDestino($estadosDestinos, $letra, $proximaLetra, $estadoAtual);
} else {
$estadoDestino = $estadosDestinos;
}
if (empty($estadoDestino)) {
$retorno['passosAutomato'] = $passosAutomato . '->(Não foi achado estado destino)';
echo json_encode($retorno);
exit;
}
$passosAutomato .= '->' . $estadoDestino;
$estadoAtual = $estadoDestino;
if ($i == $indexUltimaLetra) {
if (!Funcoes::estadoIsFinal($estadoAtual, $SimbolosFinais)) {
$retorno['passosAutomato'] = $passosAutomato . '(Não é estado final)';
echo json_encode($retorno);
exit;
}
}
}
$retorno['msg'] = 'Sentença Reconhecida!';
$retorno['passosAutomato'] = $passosAutomato;
echo json_encode($retorno);
exit;