Очевидно, что операторы сопоставления, вероятно, будут ограничены, и их придется каким-то образом сопоставлять с компараторами, подходящими для любых последовательностей сопоставляемых объектов.
http://jautomata.sourceforge.net/ - это библиотека FSA для Java.
JAuto - это библиотека для создания, управления и отображения автоматов с конечным состоянием на платформе Java.Такие объекты могут быть использованы для различных целей: