Abstract
We consider the relationship between w-automata and a specific logical formulation based on a normal form for temporal logic formulae. While this normal form was developed for use with execution and clausal resolution in temporal logics, we here show how it can represent, syntactically, w-automata in a high-level way. Technical proofs of the correctness of this representation are given.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have