计算机科学 调度（生产过程） 理论计算机科学 自动机 帕斯卡（单位） 形式主义（音乐） 护士排班问题 形式化方法 模型检查 作业车间调度 多样性（控制论） 集合（抽象数据类型） 数学优化 形式语言 确定性有限自动机 代表（政治） 动态优先级调度 执行时间 建模语言 线性规划 程序设计语言 树自动机 混合自动机 整数规划 形式化描述