Post normal system
Jump to navigation
Jump to search
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.