网格DSL 用于处理分层隐藏Markov模型的Trellis DSL