Egison

書いてみる

関連タグ

#bracmat (9)
#正規表現 (248)
#Javaスクリプト (230)
#PCTL (1)
#scala (71)
#バックトラッキング (41)

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

あたり総研
1年前

🎵ミニマリストのためのコンピュータ言語Bracmat入門#5　アトム(atom)のこと　非線形パターンマッチングの謎とは？　未来のチート言語

あたり総研
3年前