Context free grammars; Mathematical logic; Forecasting; Algebra; Theorems; Graphs; Predicate calculus;
机译:通过逻辑编程规范形式语法中的推理过程
机译:通过逻辑编程规范形式语法中的推理过程
机译:通过逻辑编程指定正式语法的推理过程
机译:正式语法作为逻辑派生模型
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:第二语言习得中的多重语法和可学习性逻辑
机译:使用正式语法进行句法语言建模