Perguntas com a marcação «linear-temporal-logic»


6
Gerando combinações de um conjunto de pares sem repetição de elementos
Eu tenho um conjunto de pares. Cada par tem a forma (x, y) tal que x, y pertencem a números inteiros do intervalo [0,n). Portanto, se n é 4, tenho os seguintes pares: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Eu já tenho os pares. Agora, eu tenho que construir uma …



3
Por que usar
Sabe-se que as lógicas temporais LTL, CTL, CTL * podem ser traduzidas / incorporadas no μμ\mu-cálculo. Em outras palavras, o (modal)μμ\mu-calculus inclui essas lógicas (ou seja, é mais expressivo). Você poderia, por favor, me explicar / apontar para papéis / livros que elaboram esse assunto? Em particular, existem propriedades concretas …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.