结构自动机

一类有限状态机或其扩展（如下推自动机），其状态转移规则编码目标意义表示的合法结构约束，用于在神经语义解析的解码过程中实时追踪并保证输出结构的合法性