2004年09月_williamVII

原创基本概念:引用

引用是一种语法现象这句话的意思是,引用的是由定义在它上的操作决定的,而非具体的实现.引用即指针,是从实现角度来看得出的结论.事实上,并非所有引用都用指针实现,局部变量的引用是很明显的例子.即使对于函数参数引用而言,如果编译器决定内联,那么也就没必要转成指针.说到底,指针也只是一种语法现象,并不比引用”深刻”或者”底层”多少. 引用是变量的别名这是对正确理解引用的关键.我们可以变量和

2004-09-24 00:23:00 1254

原创第三章类

再谈接口与实现接口:对象进行通信的抽象协议.实现:支持一个或者多个接口的具体数据类型.类:被命名的实现.它代表了具体的可实例化的类型,称为COM类或coclassCLSID用来命名实现,COM也支持文本方式的别称ProgID, 利用一组COM API可实现相互转换类对象所有COM类的一个基本要求是它们必须有一个类对象.(类厂)对于每个类来说,类对象是独一无二的,它

2004-09-16 11:19:00 1135

原创 Decidability

Theorem:A (DFA) is a decidable language (accept)Theorem: A (NFA) is a decidable language (accept)Theorem: E (DFA) is a decidable language (empty)Theorem: EQ (DFA) is a

2004-09-15 13:42:00 1246

原创 The Church-Turing Thesis

3.1A Turing machine is a 7-tuple(states, input alphabet, tape alphabet, transition function, start state, accept state, reject state)Call a language is Turing-recognizable if some Turing machine r

2004-09-15 13:40:00 1477

原创 Context-Free Languages

2.1Concepts: substitution rule (production),variable,terminal,derivationDefinition: a context-free grammar is a 4-tuple(variables, terminals, rules, start variable)Chomsky normal form: A ®B, C

2004-09-15 13:37:00 1901

原创第二章接口

再谈接口与实现用户可以选择任何一个C++编译器,但最终他们必须要使用一个C++(而不是其它语言)的编译器.COM提供了这样一种语言,它只用了大家都很熟悉的C语言的语法,同时加入了某些用于消除C语言中二义性的能力,称接口定义语言IDL (Interface Definition Language)COM IDL 以OSF的DCE RPC IDL 为基础加入与COM相关的扩展(继承,多

2004-09-15 10:58:00 1535

原创动态链接库-实现

静态链接平台: WINDOWS2000/XP工具: VC++ 6.0创建步骤:1. 新建项目: WIN32 STATIC LIBRARY;2 选择PRE-COMPLILED HEADER;3 编辑头文件和实现文件;4 编译, 生成LIB文件;参考代码://sum.h#ifndef MYSUM#define MYSUMextern "C"{

2004-09-15 08:59:00 1436

原创动态链接库-原理

理解库库是一个文件, 它包含函数或者其它可以在应用程序中使用的资源. 这些资源一般是通用性的, 允许许多工作不同的应用程序能轻易的共享同呈代码或者资源. 静态链接库是应用程序可执行文件的一部分, 不能与其它使用相同函数的其它应用程序共享.通常用于相对小的稳定一些的函数库,比如说C标准库,因为它容易创建和维护.它是在编译和链接时加到可执行文件中的. 动态链接库

2004-09-15 08:54:00 2970

原创 Regular Languages

1.1A finite automata is a 5-tuple (state, alphabet, transition function, start state, set of accept states)A language is a regular language if some finite automaton recognizes it.Regular Operati

2004-09-14 14:27:00 1759

原创 Introduction

0.1Three traditionally central areas of the theory of computation: automata, computability and complexity. 0.2Equivalence relation: reflexive,symmetric,transitiveBoolean Logic: negation, con

2004-09-14 14:19:00 917

原创第一章 COM是一个更好的C++

软件分发与C++以源代码形式分发:问题1: 每个可执行文件都将包含类库的代码, 浪费磁盘空间, 如果用户同时运行包含该类库的几个应用,浪费虚拟内存.问题 2: 一旦类库厂商发现了缺陷,没有任何办法可以替换部分实现代码动态链接与C++引入库不包含实际的代码,由链接器产生, 它包含一些引用,指向DLL的文件名和被引出的符号名.有了引入库,机器码在硬盘上只保留一份

2004-09-14 13:39:00 1086

原创最大公约数算法

#include "stdio.h"unsigned int Gcd(unsigned int M, unsigned int N){unsigned int Rem;while(N > 0){ Rem = M % N; M = N; N = Rem;}return M;}//测试int main(){printf("Gcd for 12

2004-09-14 13:30:00 1211

原创二分查找算法

#include "stdio.h"int BinarySearch(const int A[], int key, int N){int Low, Mid, High;Low = 0;High = N - 1;while(Low {Mid = (Low + High) / 2; if(A[Mid] Low = Mid + 1;else if(A[Mid

2004-09-14 13:25:00 1580

原创最大子序列和算法

#include "stdio.h"//算法1:int MaxSubsequenceSum1(const int A[], int N){int ThisSum, MaxSum, i, j, k;MaxSum = 0;for(i = 0; i for(j = i; j {ThisSum = 0;for(k = i; k ThisSum += A[k];

2004-09-14 13:15:00 1006

williamVII的专栏