主题词:Computer Science,Theory of Computation,Computation by Abstract Devices,Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Computational Mathematics and Numerical Analysis,Electronics and Microelectronics,Instrumentation