机译:可视化常规语言计算模型之间的对等关系的框架
Departamento de Matematica, Universidade de Brasilia, Brazil;
automata theory; formal languages; visualization; algorithm animation;
机译:正则二元表达式和表示二元语言的正则表达式在自由二元上的等价性
机译:关于有界上下文和常规语言的可交换对等:代码案例
机译:关于有界上下文和常规语言的可交换对等:半线性情况
机译:自动模拟常规多面体和AutoCAD语言中的构建
机译:用于计算建模,仿真和可视化的语言设计和实现
机译:基于用于结构和常规等价的预先定义的图像矩阵的一个和双模式块的整数程序
机译:可视化常规语言计算模型之间等效性的框架