论文定义了可实现（realizable）设定：存在一个与所有演示序列兼容的目标语言集合，生成器需在该集合内产生正确输出。