Languages and machines : an introduction to the theory of computer science

Thomas A. Sudkamp
Bok Engelsk 2006


Utgitt	Boston, MA : Pearson , c2006
Omfang	XVII, 654 s. : ill.
Utgave	3rd ed.
Emner	databehandling dataspråk maskinteori computerspråk computere symboler språk matematikk grammatikk matematisk logikk symbolsk automatteori matematiske prinsipper formalspråk boolskalgebra sekvensmaskiner turingmaskiner automata gödels teorem rekursjonsteori syntaksanalyse
ISBN	0321322215

Biblioteksøk