主题词:Language Translation and Linguistics,Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Discrete Mathematics in Computer Science,Algorithm Analysis and Problem Complexity,Special Purpose and Application-Based Systems