Contemporary prophets are characterised by several neo-prophetic practices. One such practice that has become very common and attracted much attention in Ghana is ‘prophetic guidance’ or Akwankyerɛ. It a tends to provide specific directions solutions most life challenges. believed religious experts able identify the root of problem, give prevent additional harm, offer preventative measures do s...

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