スターフリー言語　Marcel-Paul Schützenbergerはスターフリー言語を非周期的な構文モノイドを持つ言語として特徴付けた　CTLとLTLの違い