形式语言中的上下文无关和上下文相关  

Generalized Topological Degree for m Accretive Operators Perturbated by Condensing Mapping

作　　者：张选芳[1] 

机构地区：[1]中国民航飞行学院计算机教研室

出　　处：《电子科技大学学报》1997年第4期435-439,共5页Journal of University of Electronic Science and Technology of China

摘　　要：形式语言与自动机理论已成为计算机科学的理论基础；对于程序设计语言的说明和分析尤其重要。文中介绍了形式语言与自动机理论中的基本原理，给出了上下文无关文法、上下文相关文法及其相应语言的定义，讨论了它们之间的关系。The topological degree theory has important value in the sense that it gives information about the number of distinct solutions,continuous families of solutions and stability of solutions .Recently,the solvability of the operator equation y∈(A+C)x was discussed by means of topological degree theory .In this paper,a generalized degree for m accretive operator A perturbed by condensing mapping C is established,and an useful tool for solving the operator equation y∈(A+C)x is supplied.

关 键 词：上下文无关 上下文相关 形式语言 自动机理论 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构] TP301.1[自动化与计算机技术—计算机科学与技术]