Suggested Topics within your search.
Formal languages 1 Recursive functions 1 Sequential machine theory 1