Domanda

Supponiamo di avere una formula LTL e voglio convertirla in un automa Buchi. Per il quale frammento di LTL, GBA è più succinto e per il quale il frammento BA ha le stesse dimensioni di GBA.

Nessuna soluzione corretta

Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange
scroll top