Какие есть фрэймворки/библиотеки для реализации конечного автомата под .NET?
Всем доброго времени суток. Подскажите, пожалуйста, есть ли какие-нибудь фрэймворки/библиотеки для конечного автомата под .NET (C#). Нужны базовые функции для FSA - построение, проверка, редактирование, исполнение, может быть, преобразование NFA в DFA и минимизация. Также должна присутствовать возможность расширения - прикрутить частоты/вероятности к переходам, ограничения на циклы (типа квантификаторов в RE), объекты в качестве входных символов и т.д. (а может, уже есть что-то с подобным функционалом?). Или хотя бы похожие примеры.
Про WWF я встречал, это действительно совсем не то, судя по описанию. Я правильно понимаю, что в нугете нет хороших и подробных документационных статей к проектам, как, например, на codeproject?