课题基金 / 基金详情

Mathematical Sciences: Group Theory and Formal Language Theory

Mathematical Sciences: Group Theory and Formal Language Theory
数学科学:群论和形式语言理论
批准号:
8908887
负责人:
Paul Schupp
金额:
$4.3万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1989
资助国家:
美国
项目状态:
已结题
起止时间:
1989-06-15 至 1992-05-31

项目摘要

项目成果

Paul Schupp的其他基金

相似基金

相关文献

中文摘要
翻译
这项研究关注的是 组合群论和自动机理论, 形式语言首席研究员会证明 群的许多组合性质,例如具有 自动结构或合理的增长函数,可以是 用相应的Cayley群来刻画 拥有一个规则的生成树, 特性. 形式语言理论是自由语言子集理论 由某种机器确定的幺半群。这 研究关注的是形式语言的相互作用 理论和群论。这项工作是重要的, 理论和理论计算机科学。
英文摘要
This research is concerned with the connections between combinatorial group theory and the theory of automata and formal languages. The principal investigator will show that many combinatorial properties of groups, such as having an automatic structure or a rational growth function, can be characterized in terms of the corresponding Cayley group possessing a regular spanning tree with certain additional properties. Formal language theory is the theory of subsets of free monoids which are determined by certain kinds of machines. This research is concerned with the interactions of formal language theory and group theory. This work is important both in group theory and in theoretical computer science.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: Generic Properties of Groups, Geometric Invariants and Algorithms
Extensions of Logics Used in Computer Science and Their Decision Procedures
国内基金
海外基金
Handbook of the Mathematics of the Arts and Sciences的中文翻译
  • 批准号:
    12226504
  • 项目类别:
    数学天元基金项目
  • 资助金额:
    20.0万元
  • 批准年份:
    2022
  • 负责人:
    黄朝凌
  • 依托单位:
SCIENCE CHINA: Earth Sciences
Journal of Environmental Sciences
SCIENCE CHINA Information Sciences