Post production system
Post normal system, Post normal calculus
A particular case of a Post canonical system when all derivation rules have the form
and there is only one initial word (one axiom of the considered calculus). E. Post  has established the equivalence in the wide sense between Post production systems and Post canonical systems. Post production systems were used by Post and A.A. Markov (1947) to construct the first examples of an associative calculus with an unsolvable word problem (Thue's problem).
|||E.L. Post, "Formal reductions of the general combinatorial decision problem" Amer. J. Math. , 65 : 2 (1943) pp. 197–215|
|||A.A. Markov, "Theory of algorithms" , Israel Program Sci. Transl. (1961) (Translated from Russian) (Also: Trudy Mat. Inst. Steklov. 42 (1954))|
|[a1]||H.B. Curry, "Foundations of mathematical logic" , McGraw-Hill (1963)|
Post production system. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Post_production_system&oldid=32098