Programming languages ; Theory ; Context free grammars ; Mathematical logic ; Automata ; Set theory ; Theorems;
机译:确定性线性下推树自动机的树形语言的线性时间可识别类
机译:线性树语言和线性树语产品的广义叠加
机译:从逻辑编程的角度看树元组语言
机译:重新启动树自动机和线性无上下文树语言
机译:加权树自动机和用于句法自然语言处理的转换器。
机译:化学如何计算:非生化化学自动机的语言识别。从有限的自动机到图灵机
机译:偏线性元组语言和O-正则语言的复杂性