Описания

Part I. M is a one-tape, one-track TM. Generate TMs for the languages of examples 8.2.1 and 8.2.2.
Part II. Extension to multiple tapes. Generate TMs for examples 8.6.1, 8.6.2 and 8.6.3.

Отзывы