On recursion in ETOL systems
作者:
Highlights:
•
摘要
The class of ETOL systems is investigated from a structural point of view. The effect of several kinds of recursiveness of symbols is studied and some structural characterizations of known subclasses of LETOL are established.
论文关键词:
论文评审过程:Received 15 June 1977, Revised 11 September 1978, Available online 2 December 2003.
论文官网地址:https://doi.org/10.1016/0022-0000(79)90027-8