Kleene定理相关硕士博士期刊学术论文 - 搜论网

Kleene定理相关论文

量子有穷树自动机的代数性质

树自动机在计算理论中发挥着关键性作用,一方面它是现代计算机科学的重要基础,另一方面它还是计算理论的重要数学模型之一.加权树......

学位

量子逻辑量子树语言量子有穷树自动机泵引理 Kleene定理

基于量子逻辑的有穷自动机与单体二阶量子逻辑

文中引入了单体二阶量子逻辑,进而给出了基于量子逻辑的有穷自动机识别语言的逻辑描述,证明了量子逻辑意义下的B(u|¨)chi-Elgot基......

期刊

量子逻辑有穷自动机单体二阶量子逻辑量子语言量子计算 Kleene定理

看过本文同时还关注