Domande taggate «buchi-automata»

Equivalenza di automi Büchi e calcoli

È noto che ogni formula LTL può essere espressa da un automatico Büchi . Ma, a quanto pare, gli automi Büchi sono un modello più potente ed espressivo. Ho sentito da qualche parte che gli automi di Büchi sono equivalenti a -calculus a tempo lineare (ovvero -calculus con punti fissi …

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

Generazione di combinazioni da un insieme di coppie senza ripetizione di elementi

Ho un set di coppie. Ogni coppia ha la forma (x, y) in modo tale che x, y appartengano a numeri interi dell'intervallo [0,n). Quindi, se n è 4, allora ho le seguenti coppie: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ho già le coppie. Ora, devo costruire una combinazione usando …

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

Algoritmo per tradurre un automa deterministico di Büchi in LTL (quando possibile)

La logica temporale lineare e gli automi deterministici di Büchi sono incomparabili: DBA non può esprimere e LTL non può esprimere "almeno ogni lettera dispari è 'a'" . Ma a volte è interessante sapere se la lingua di un DBA può essere espressa in LTL.FG aFsolun'FGa Ho bisogno di un …

10 logic automata linear-temporal-logic buchi-automata

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.