A Post canonical system, also known as a Post production system, as created by Emil Post, is a string-manipulation system that starts with finitely many strings and repeatedly transforms them by applying a finite set of specified rules of a certain form, thus generating a formal language. Today they are mainly of historical relevance because every Post canonical system can be reduced to a string rewriting system (semi-Thue system), which is a simpler formulation.
A Post canonical system, also known as a Post production system, as created by Emil Post, is a string-manipulation system that starts with finitely many strings and repeatedly transforms them by applying a finite set of specified rules of a certain form, thus generating a formal language. Today they are mainly of historical relevance because every Post canonical system can be reduced to a string rewriting system (semi-Thue system), which is a simpler formulation.
Source: Wikipedia "Post canonical system" · CC BY-SA 4.0
Share this article: X · Bluesky