Post normal system

A Post normal system is a restricted form of Post canonical system, where only one "wildcard" may appear in each production. This wildcard must only appear at the end of the antecedent and at the beginning of the consequent. For example,

catn &rarr; ndog

Despite this restriction, Post normal systems are still Turing-complete.

A tag system is an even more restricted version of a Post normal system.