Two characterizations of the context-sensitive languages | IEEE Conference Publication | IEEE Xplore