Tape-bounded turing acceptors and principal AFLs

作者:

Highlights:

摘要

Conditions are given under which the classes of formal languages defined by non-deterministic (deterministic) tape-bounded Turing acceptors will be principal AFLs.

论文关键词:

论文评审过程:Received 23 February 1970, Available online 27 December 2007.

论文官网地址:https://doi.org/10.1016/S0022-0000(70)80032-0