Sequential machine theory Formal languages 9 Switching theory 8 Congresses 7 Computer programming 3 Programming languages (Electronic computers) 3 Coding theory 2 Electronic digital computers 2 Logic design 2 Algebra, Boolean 1 Algorithms 1 Asynchronous circuits 1 Circuits 1 Computers 1 Data processing 1 Design and construction 1 Digital control systems 1 Game theory 1 Integrated circuits 1 Logic circuits 1 Markov processes 1 Mathematical linguistics 1 Recursive functions 1 Switching circuits 1 System analysis 1 Verification 1 Very large scale integration 1