In the Islamic tradition, Mulla Sadra is foremost among the philosophers who have dealt with the issue of prophecy from all three theological, philosophical, and mystical perspectives. Among Western scholars of religion, Henry Corbin is the most prominent commentator of prophetic wisdom, who has provided a mystical reading of the problem of prophecy drawing on the ideas of Muslim philosophers. ...

This paper is a survey on the algebraic approach to the theory of automata accepting infinite words. We discuss the various acceptance modes (Büchi automata, Muller automata, transition automata, weak recognition by a finite semigroup, ω-semigroups) and prove their equivalence. We also give two algebraic proofs of McNaughton’s theorem on the equivalence between Büchi and Muller automata. Finall...

N/A