[计] algebraic formal pattern recognition

dài shù xíng shì mó shì shí bié ㄉㄞˋ ㄕㄨˋ ㄒㄧㄥˊ ㄕˋ ㄇㄛˊ ㄕˋ ㄕˊ ㄅㄧㄝˊ