conversational algebraic language
[计] 会话代数语言
International algebraic language
[计] 国际代数语言
simple algebraic language
[计] 简单代数语言