automata code snippets in csharp