们可以界定两个主要的语法分析组合子，用于选择和顺序：
例.考虑一个有高度二义性的 上下文无关文法, codice_20. 使用上面定义的组合子，我们可以模块化的定义可执行的符号，这种语法在一个现代化的函数式语言(例如Haskell)作为 codice_21。当识别器 codice_22 在一个输入序列 codice_23 的位置 codice_24上被应用，根据上述定义，它将返回的结果集合 codice_25.