Abstract
Single-tape nondeterministic Turing machines that are allowed to replace the symbol in each tape cell only when it is scanned for the first time are a......
小提示:本篇文献需要登录阅读全文,点击跳转登录