一种基于双语自动转换的间接形式化方法

摘要

一种基于双语自动转换的间接形式化方法，包括：步骤1、采用孪生图灵机建立双语并行计算模型；步骤2、选取中文和英文以及十进制数与二进制数共四种类型的基因文本字母表的序位作为各种组合变换的计算和推理的基准参照系；步骤3、提出一种多胞冯氏机，由码、卡、表、库、网、端所构成，其处理方式可在计算机刚启动时就能在基本输入输出系统同等调用大小字符集，其计算机辅助教学与研究系统的操作系统和基本界面简捷清晰。

主权项

一种基于双语自动转换的间接形式化方法，包括：步骤1，采用孪生图灵机作为起点，建立双语并行计算模型，步骤2，选取中文和英文以及十进制数与二进制数共四种类型的基因文本充当各种计算和推理所采用的基本字符集，建立与之配套的虚拟存储器用于处理字母表的序位作为后续各种组合变换的计算和推理的基准参照系，步骤3，提出一种在本质上等价于一种严格受限的孪生图灵机并在存储计算原理上等价于一种多胞冯氏机，其处理方式在刚刚启动计算机的时候就能在基本输入输出系统同等调用大小字符集，整个产品的基本结构由码、卡、表、库、网、端所构成，其中，码是等价于孪生图灵机的双列表的左列{id}序位码，供机器读认后台二进制数字与供用户读认前台十进制数字均服从同义并列对应转换法则而运行、计算或操作，与该码对应的卡是等价于右列表的格或可与其同义并列对应转换的由多胞冯氏机存储或虚拟存储器处理的页，读认前台汉语的字或字组与读认后台等价于机内外超级连接ip地址代码之间的也服从同义并列对应转换法则而运行、计算或操作的，其中的页可记载并呈现各种类型的字、式、图、表、音、像、立体、活体等任何一种数据结构，表是等价于该孪生图灵机的双列表，既可前后台对应也可左右列对应，库是标准化集中管理的表，网是标准化与个性化协同且分布管理的表，端是个性化整合管理的表，其特征在于：等价于孪生图灵机的一系列双列表，不仅左列与右列均服从同义并列对应转换法则，而且左列或右列均可与任何一个单列之间形成虚拟的双列表，只要服从同义并列对应转换法则即可，无论是左列表或具有左列表性质的单列表，还是右列表或具有右列表性质的单列表，均具有类似天平的性质，单列表id代码的组合进化过程服从严格受限的序位法则，其数据结构及类型在被系统或用户有针对性地重用之前就已经是确定的，例如：左列的代码均是可计算且易计算同时还严格受限的理想集合的数字，右列的格或页(无论它记载的是字、式、图、表、音、像、立体、活体的何种类型或数据结构)都必须与其配对的左列的代码之间具有相同的序位结构，而用户具体调用指令的码与机器记载并呈现的字、式、图、表、音、像、立体、活体等各种数据结构或类型格(或页)则另存于系统或用户可控的存储装置以便于重用。