自动机理论
维基百科,自由的
encyclopedia
在
理论电脑科学
中,
自动机理论
是对
抽象机
和它们能解决的问题的研究。自动机理论密切关联于
形式语言
理论,因为自动机经常按它们所能识别的
形式语言
类来分类。