定义了一些规则和输入，如何设计算法快速找出所有可能的匹配(语法树)？

[jaskell]

比如：
a = Ab
a = A
b = Bc
b =
c = bCa
c = C

输入为
ABBCABCA

规则中可能会包含
b =
这类的，另外规则也可能含有二义性。

考虑用LL/LR之类的搜索恐怕不行了，现在该如何设计算法呢？