人気の記事一覧

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