#形式语言与自动机  #离散数学  #近世代数