Three Credits
3 hours lecture
Prerequisite: 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.
