Requires knowledge in push-down automaton, deterministic turing machines, Kleene star operators, recognizability of languages, Rice's theorem, etc. Experience with writing proofs absolutely required.
Décerné à :
I have a PhD in pure mathematics and 13 years experience in university teaching in Mathematics and computer Science. I am very experienced in writing proofs.