完整的结果集合，必须返回一个更复杂的对象，例如 分析树。下面的定义的两个基本的识别器 codice_10 和 codice_11，我们可以界定两个主要的语法分析组合子，用于选择和顺序：
例.考虑一个有高度二义性的上下文无关文法, codice_20. 使用上面定义的组合子，我们可以模块化的定义可执行的符号，这种语法在一个现代化的函数式语言(例如 Haskell)作为 codice_21。当识别器 codice_22 在一个输入序列 codice_23 的位置 codice