A non-recursive algorithm computing set expressions
- 15 Downloads
This paper concerns set expressions satisfying some constraints. Although algorithms processing expressions (for every kind) have been proposed in compilers, almost all of them use stacks and recursions, and adopt complicated parsing techniques. However, the simplification of set expressions can be done easily by its special characteristics. In this paper, we propose linear, nonrecursive, and thus efficient algorithms simplifying set expressions. The method can be well used in proposition calculus.
KeywordsResult Expression Disjunctive Normal Form Paper Concern Algorithm 9implifying Outer Level
Unable to display preview. Download preview PDF.
- A.V. Aho. J.E. Hoperoft and J.D. Ullman, An Introduction to Automata Theory, Languages, and Computation Addison-Wesley Publishing Company, Inc. 1979, 248–264.Google Scholar
- Chen Huowang, Qian Jiahua and Shen Yongqiang, Programming Languages: The Principle of Compiling, GuoFangGongYe Press 1984, 88–119.Google Scholar
- D.F. Stahat and D.F. Mcallister, Discrete Mathematics in Computer Science, Prentice-Hall, Inc. 1977, 85–94.Google Scholar
- Avron Barr and Edward A. Feigenbaum, The Handbook of Artificial Intelligence, Vol. 2. William Kaufmann, Inc. 1982, 236–294.Google Scholar