Post production system

A Dictionary of Computing | 2004 | 623 words | Copyright

Post production system An approach to effective computability on strings of symbols, formulated by E. L. Post. A Post production is a string rewriting rule. A set L of strings is said to be Post-generable if there exists a finite set of strings, called axioms, and a finite set P of Post productions such that each string in the set can be obtained from the axiom set by some finite derivation, where each step in the derivation is sanctioned by an application of some production in P. It turns out that the class of Post-generable sets on some fixed alphabet A is exactly the class of recursively enumerable sets, order A.

Cite this article
Pick a style below, and copy the text for your bibliography.

MLA
Chicago
APA

JOHN DAINTITH. "Post production system." A Dictionary of Computing. 2004. Encyclopedia.com. 3 Feb. 2012 <http://www.encyclopedia.com>.

JOHN DAINTITH. "Post production system." A Dictionary of Computing. 2004. Encyclopedia.com. (February 3, 2012). http://www.encyclopedia.com/doc/1O11-Postproductionsystem.html

JOHN DAINTITH. "Post production system." A Dictionary of Computing. 2004. Retrieved February 03, 2012 from Encyclopedia.com: http://www.encyclopedia.com/doc/1O11-Postproductionsystem.html

Learn more about citation styles