相關主題
商品描述
PROLEGOMENA.- Mathematical Preliminaries.- STATE.- Online Automata: Exemplars of #x201C;State#x201D;.- Finite Automata and Regular Languages.- Applications of the Myhill#x2013;Nerode Theorem.- Enrichment Topics.- ENCODING.- Countability and Uncountability: The Precursors of #x201C;Encoding#x201D;.- Enrichment Topic: #x201C;Efficient#x201D; Pairing Functions, with Applications.- Computability Theory.- NONDETERMINISM.- Nondeterministic Online Automata.- Nondeterministic FAs.- Nondeterminism in Computability Theory.- Complexity Theory.