Законтриьбютить в pyformlang - Строим DFA (можно сразу минимальный) - BFS-ом генерируем строки. Примерно, как по графу.