O Marco Fundamental de Admissibilidade

Este artigo apresenta um marco estrutural mínimo para determinar se um estado pertence a um sistema e se a evolução do sistema pode prosseguir. O marco isola duas condições necessárias e suficientes: admissibilidade e alcançabilidade. Admissibilidade especifica se um estado gerado atende às restrições governantes, enquanto alcançabilidade especifica se o estado se encontra em pelo menos um caminho permissível a partir de uma condição inicial. Juntas, definem a filiação ao sistema e a continuação sem referência a leis específicas do domínio. Isso estabelece um critério neutro em relação ao domínio para estados válidos aplicáveis a sistemas formais, físicos, computacionais e dinâmicos.