恩，想法不错，非常像编译器设计里面的递归下降分析方法。
我的想法是记忆化搜索，例如将K之后的部分断成两部分，然后继续下去，一直到小写变量为止。过程中记录成功的划分情况，比你的麻烦。
这样的话我们这题也就可以采用自动机做了，正则语言，正则文法。编译器设计里面包含LL分析方法，LR(0),分析方法等等都可以完成此题，不过有点小题大作，只是联想了起来罢了。