Perguntas com a marcação «buchi-automata»

É um fato conhecido que toda fórmula LTL pode ser expressa por um autômato Büchi . Mas, aparentemente, os autômatos Büchi são um modelo mais poderoso e expressivo. Ouvi em algum lugar que os autômatos Büchi são equivalentes a μ- cálculo de tempo linear (ou seja, μ- cálculo com pontos …

30 logic  automata  formal-methods  linear-temporal-logic  buchi-automata 

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 …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

A lógica temporal linear e os autômatos determinísticos de Büchi são incomparáveis: o DBA não pode expressar e LTL não pode expressar "pelo menos cada letra ímpar é 'a'" . Mas, às vezes, é interessante saber se a linguagem de um DBA pode ser expressa em LTL.FG aFGumaFGa Eu preciso …

10 logic  automata  linear-temporal-logic  buchi-automata 

Estou revendo algumas anotações sobre autômatos de árvores e estou tentando concluir uma prova de que o professor deixou incompleto. A afirmação é: Deixei A={a,b}A={a,b}A = \{a,b\} e T={t∈TωA∣every path in t contains a finite number of a}T={t∈TAω∣every path in t contains a finite number of a}T = \{t \in …

7 automata  trees  buchi-automata