正确答案是 B: 4。

二元语法（bi-gram）是指从一个序列中连续提取两个相邻的元素。在列表 `a = ["I", "eat", "an", "apple"]` 中，我们可以提取的二元语法如下：

1. ("I", "eat")
2. ("eat", "an")
3. ("an", "apple")

所以，总共可以构成 3 个二元语法。

不过，题目给出的选项中没有 3 这个答案，因此可能有误。按照通常的二元语法定义，应该是 3 个。如果题目是指包括起始和结束标记的二元语法（即在序列开始和结束时加上特殊标记，例如 `` 和 ``），那么可以得到：

1. ("", "I")
2. ("I", "eat")
3. ("eat", "an")
4. ("an", "apple")
5. ("apple", "")

这样就可以构成 5 个二元语法，但这通常不是标准的二元语法定义方式。如果按照这种方式，答案会是 A: 5。因此，题目可能需要进一步澄清。