automata theory; formal languages; Aristotelian syllogism; automata grammar; formal system; rule system; automata; automatic reasoning;
机译:ATM PIN生成-使用常规语法,上下文无关语法和通过有限状态机识别,下推自动机生成PIN的正式数学模型
机译:自动机和文法控制系统
机译:使用三图语法的面向对象系统的形式化建模和分析
机译:基于自动基语法的Aristotelian三段论的正式系统
机译:自动机,形式语言和实变量(包括多模式,L系统和元胞自动机)之间的复杂性理论并行。
机译:基于广义概率自动机的语义计算形式模型
机译:基于词汇主义的语法形式发展与pLN要求之间的关系词汇主义假设下形式语法的发展
机译:信息保护技术的形式化方法任务1:基于形式语法的方法和模拟计算机网络攻击工具第二部分