Forbidden Subwords

pro:

sol:
建出ac自动机。
一个合法的答案对应一条路径满足从一个scc走到另一个scc的路径。
发现这个题的方案数有可能是无限的。
会在以下两种情况无限：

因此，去掉无限情况后，环只有简单环，缩点以后随便dp一下即可。