- real sredfa implementation
- tests
