Expert in Computer Science and Theorems

I need someone that is a professional in some of the following topics

1. Finite state machines
2. Pushdown Automations
3. Preconditions
4. Parse Trees
5. Programming Grammar
6. EBNF grammar
7. Interpreter Design Pattern