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