BRICS, Department of Computer Science Aalborg University, Fredrik Bajersvej 7B, 9220 Aalborg, Denmark;
机译:可视下推自动机的超越语言对等
机译:Bisimulation Plust Automata的等价性是Ackermann-Complete
机译:决定下降过程的语义有限性和一阶语法W.R.T.双刺激等价
机译:明显的下推自动机:从语言等价到模拟和分发
机译:用于双仿真或仿真等效的离散事件系统的监督控制。
机译:化学如何计算:非生化化学自动机的语言识别。从有限的自动机到图灵机
机译:可见下推自动机:从语言对等到模拟和双模拟