Например
## Код:
```
fac0 = ["a"] ["A"].
fac1 = ("a" | "b") "B".

First(fac0) = {"a", "A"}
First(fac1) = {"a", "b"}
```


Продукция fac0 порождает предложения "", "a", "A", "aA". Среди них есть пустое.