dfa code snippets in csharp