May 13, 2024  
2011-2012 UMass Dartmouth Undergraduate Catalog 
    
2011-2012 UMass Dartmouth Undergraduate Catalog [Archived Catalog]

CIS 361 - Models of Computation

3 credits
Prerequisites: CIS 181, MTH 182
Models of sequential, parallel, and distributed computations. The Chomsky hierarchy of formal languages and their accepting machines are studied in detail. The relationship of these languages and machines to computer programs is presented. Influence of a Turing machine and related formalisms on modern computing are studied. Decidability of decision problems is explained. Several models of parallel and distributed computations are introduced and compared.