理论计算机科学

学术研究, 数学家, 理论计算机科学, 芬兰, 计算机科学家

雅科·卡里 (Jarkko Kari)

图灵机, 数学, 王氏砖, 计算机科学, 雅科·卡里

实时系统, 并发系统, 形式化方法, 理论计算机科学, 计算机科学

时间过程语言 (Temporal Process Language)

TPL, 实时, 并发, 时间过程语言, 过程代数

信息论, 数据压缩, 理论计算机科学, 算法, 计算机科学

最小文法问题 (Smallest grammar problem)

NP难问题, 形式语言, 数据压缩, 最小文法, 算法

形式语言, 理论计算机科学, 编译原理, 自动机理论, 计算机科学

无星语言 (Star-free language)

形式语言, 无星语言, 正则语言, 自动机, 计算理论

图灵机, 形式语言, 理论计算机科学, 自动机理论, 计算机科学

无限制文法 (Unrestricted Grammar)

0型文法, 图灵机, 形式语言, 无限制文法, 计算理论