Post normal system

From Esolang
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,


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

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