求一个表达式的Check，高手请进，有懂编译原理和算法的XDJM救命啊！！！

1.有若干给定的函数，以“#”开头，比如#max(),#item(),#concat()
2.每个函数有各自的定义，并且有若干参数
  比如#max(ID)表示取相关表中ID的最大值
      #item(产品名称)表示取相关表中“产品名称”列的值
3.函数允许嵌套
  比如#concat(#item(产品名称)，#space(2)，#item(产品单价))
  表示 “产品名称”列的值 + 2个空格 + “产品单价”列的值现在要对如#concat(#item(产品名称)，#space(2)，#item(产品单价))这样的表达式
做Check，并且解释，求算法或思路Check比较复杂的地方在于不仅要检测格式，还要检测参数的类型，列的存在性。设计式样提供的检测格式的基本原则：
1.必须以#开头
2."("和")"的数量必须相同
（!-_-! 等于没说）在下不懂编译原理，诚心请教