On Some Controlled ETOL-systems and Languages
暂无分享,去创建一个
We discuss $(\Gamma)$ETOL-systems, that are ETOL-systems provided with some control on the application sequence of the tables. More, precisely, the control consists of a language over the indices of the tables of the ETOL-system ($\Gamma$ denotes a family of control languages). We show some basic propereties of $(\Gamma)$ETOL-systems and give the restrictions on the family $\Gamma$ by which the family of $(\Gamma)$ETOL-languages obtains some closure properties.