Translation from LTL Formula into Automata
Mingming Bian · 2008
On the basis of introduction to LTL formula and theory of automata,we present a algorithm which can transfer LTL formulae into Buchi automata.In this algorithm,the LTL formula is simplified first,then transferred into an alternating Buchi automaton,before further transferred and then transforms it into a Buchi automaton.Compared to others,this algorithm has certain extensibility,so we can translate PSL into automata.