Synopsis
Discusses such topics as: regular languages; context-free languages; Church-Turing thesis; decidability; reducibility; the recursion theorem; time complexity; space complexity; and provable intractability.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.