课题基金 / 基金详情

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