Machine theory 81 Congresses 52 Formal languages 34 Sequential machine theory 28 Computer programming 20 Computational complexity 17 Switching theory 13 Petri nets 9 Electronic data processing 6 Programming languages (Electronic computers) 6 Computer science 5 Electronic digital computers 5 Mathematics 5 Computable functions 4 Computers 4 Data processing 4 Artificial intelligence 3 Periodicals 3 System analysis 3 Algorithms 2 Categories (Mathematics) 2 Coding theory 2 Computational linguistics 2 Computer algorithms 2 Control theory 2 Game theory 2 Logic design 2 Mathematical linguistics 2 Parallel processing (Electronic computers) 2 Robots 2