1) Post completeness
波斯特完全性
1.
The strenghtened Makinson s theorem which is established by the syntactital proof is equivalent to certain important propositions, in nature, concerning Post completeness and modal semantics.
一方面,通过这个语法证明所建立的加强的麦金森定理与波斯特完全性研究以及模态逻辑语义学中的几条基本原理等价。
2) complete inertial wave
完全惯性波
4) imperfectly elastic behaviour
不完全弹性特性
6) Gaussian beam radiated
高斯波束特性
1.
The Gaussian beam radiated by complex source point(CSP)is used to simulate the mainlobe and sidelobes of low sidelobe antenna.
根据复射线理论,利用复源点远场具有的高斯波束特性,无论是在远区或是近轴区域内,复源点场和高斯函数有很接近的相同分布,理论上论证了对于具有高斯波束分布的口径场可以用复源点场来近似模拟。
补充资料：波斯特对应问题
美籍波兰数学家E.L.波斯特于1944年提出的一个重要的判定问题。字符集A是字符的非空有限集合，A中字符的有限序列称为A上的字符串。设u1,u2,...,um是A上的字符串，用u1u2...um表示把这字符串中的m个字符连接在一起所得到的字符串。A上的表是A上的字符串的有限序列，序列的长度称为表的长度。例如,ab,∧,aa是字符集｛a,b｝上的长度为3的表，其中∧表示不含任何字符的空字符串。
设l1,l2,...,lk和m1,m2,...，mk是同一字符集A上的两个相同长度的表,如果存在小于或等于k的正整数i1,i2，...,in使l彨l彸...l拠＝m彨m彸...m拠，则称表l1,l2,...，lk和m1,m2,...,mk有匹配。例如,A＝｛0,1｝,l1＝1,l2＝10111,l3＝10,m1＝111,m2＝10,m3＝0,因l2l1l1l3＝m2m1m1m3＝101111110,因此,l1,l2,l3和m1,m2,m3有匹配。判定同一字符集上的任意两个相同长度的表有没有匹配的问题称为波斯特对应问题。
由于图灵机的停机问题是不可判定的，可以推出波斯特对应问题也是不可判定的，即不可能找到一个算法来判定同一字符集上的任意两个相同长度的表是否有匹配。
波斯特对应问题在形式语言理论和程序设计理论中有重要应用。由于波斯特对应问题是不可判定的，可推出形式语言理论和程序设计理论中的许多问题是不可判定的。例如，任意上下文无关语言是否有歧义，这个问题就是不可判定的。
参考书目
J. Hopcroft and J. Ullman, Introduction to Automata Theory, Languages, and Computation,Addison-Wesleg,Reading,Mass,1979.
设l1,l2,...,lk和m1,m2,...，mk是同一字符集A上的两个相同长度的表,如果存在小于或等于k的正整数i1,i2，...,in使l彨l彸...l拠＝m彨m彸...m拠，则称表l1,l2,...，lk和m1,m2,...,mk有匹配。例如,A＝｛0,1｝,l1＝1,l2＝10111,l3＝10,m1＝111,m2＝10,m3＝0,因l2l1l1l3＝m2m1m1m3＝101111110,因此,l1,l2,l3和m1,m2,m3有匹配。判定同一字符集上的任意两个相同长度的表有没有匹配的问题称为波斯特对应问题。
由于图灵机的停机问题是不可判定的，可以推出波斯特对应问题也是不可判定的，即不可能找到一个算法来判定同一字符集上的任意两个相同长度的表是否有匹配。
波斯特对应问题在形式语言理论和程序设计理论中有重要应用。由于波斯特对应问题是不可判定的，可推出形式语言理论和程序设计理论中的许多问题是不可判定的。例如，任意上下文无关语言是否有歧义，这个问题就是不可判定的。
参考书目
J. Hopcroft and J. Ullman, Introduction to Automata Theory, Languages, and Computation,Addison-Wesleg,Reading,Mass,1979.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条