Institut für Informatik Universität Giessen Arndtstr. 2 35392 Giessen Germany;
机译:将非确定性自动机和无上下文语法转换为Parikh等效的单向和双向确定性自动机
机译:扩展的不确定自动机
机译:右单向跳跃有限自动机的属性
机译:非必要的右单向跳跃有限自动机(扩展摘要)
机译:使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
机译:基于扩展层次有限状态自动机的服务一致性演化动态定量分析方法
机译:将非法的自动机和无背景语法转换为Parikh等价单向和双向确定性自动机