**Predicate logics may be viewed syntactically as Chomsky grammars.** As such, predicate logics (as well as modal logics and mixed modal predicate logics) may be viewed as context-sensitive, or more typically as context-free, grammars. As each one of the four Chomsky-type grammars have equivalent automata, these logics can be viewed as automata just as well.

— Wikipedia on *Predicate logic*

2012.09.29 Saturday ACHK