什么是软件标记（notaiton）

比如informal notation 非形式记法
semi-formal notaiton 半形式记法
formal notation 形式记法