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.
随便看	plectroglyphidodon dickii Plectroglyphidodon imparipennis Plectroglyphidodon johnstonianus Plectroglyphidodon lacrymatus plectroglyphidodon leucozona plectroglyphidodon leucozonus plectroglyphidodon phoenixensis plectron Plectronoceratidea Plectrophenax plectrophenaxes Plectrophenax nivalis plectrophenax nivaliss plectrophenax nivalis vlasowae plectropomus areolatus Plectropomus laevis Plectropomus leopardus Plectropomus oligacanthus Plectropomus truncatus plectropterine Plectrovirus Plectroviruses plectrum plectrypops lima Plectrypops retrospinis