Research on Algebraic Model of Formal Languages
Jing-rong Hu · Journal of Kunming University of Science and Technology · 2007
A unified theory of formal languages is the basis for automatic software developing.Some concepts of programming languages,such as string,sequential functions and string equivalence,are defined in this paper by Recursion Theory.It is then proved that strings of any context-free language can be mapped to a semi-lattice structure,which hopefully will be a beneficial attempt.