输入流与输出流

数据流分为输入流(InputStream)和输出流(OutputStream)两类。输入流只能读不能写，而输出流只能写不能读。通常程序中使用输入流读出数据，输出流写入数据，就好像数据流入到程序并从程序中流出。采用数据流使程序的输入输出操作独立与相关设备。

输入流可从键盘或文件中获得数据，输出流可向显示器、打印机或文件中传输数据。

输入流的形式化是

以下是对数据流的一个形式化描述。

考虑向量α，其属性的域为[1..n](秩为n)，而且向量α在时间t的状态

α(t)=<α1(t), ...αi(t), ...αn(t) >

在时刻s，α是0向量，即对于所有i，αi(s)=0。对向量的各个分量的更新是以二元组流的形式出现的。即，第t个更新为(i, ct)，意味着αi(t)= αi(t . 1) + ct，且对于i. =.i，αi. (t)= αi. (t . 1)。在时刻t发生的查询是针对α(t)的。