Post canonical system

A Post canonical 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 j 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. Both formalisms are Turing complete.

单词	Post canonical system
释义	Post canonical system 英语百科 Post canonical system A Post canonical 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 j 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. Both formalisms are Turing complete.
随便看	installment certificates的意思 Installment contract的意思 installment contracts的意思 installment contracts receivable的意思 installment cost of goods sold的意思 installment credit的意思 installment credit controls的意思 installment credit的意思 installment debt的意思 installment debts的意思 installment delivery的意思 installment distribution liquidation的意思 installment financing的意思 installment house的意思 installment in full的意思 installment insurance的意思 installment interest的意思 installment loan的意思 installment loan的意思 installment method的意思 installment method of accounting的意思 installment paid的意思 installment payment的意思 installment payment clause的意思 installment payment of tax的意思