Post canonical system とは

ポスト・カノニカル・システムは、Emil Postによって作成されたもので、有限個の文字列で始まり、特定の形式の特定の規則の有限集合jを適用することによって繰り返し変換し、形式的言語を生成する文字列操作システムです。今日では、すべてのポスト・カノニカル・システムを文字列書き換えシステム(半期的なシステム)に減らすことができるため、これは主に歴史的関連性があります。どちらの形式もチューリングが完了しています。