Post normal system

This article is not detailed enough and needs to be expanded. Please help us by adding some more information.

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 → 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.