University of Nevada Las Vegas
Howard R. Hughes
College of Engineering
Department of Computer Science
My Home Page
Computer Science 456/656
Formal Languages and Automata
In Depth Topic Pages
LALR parsing
Computational Classes
Reduction of SAT to 3-SAT
Reduction of 3-SAT to the Independent Set Problem
Reduction of the Independent Set Problem to the Subset Sum Problem
Reduction of the Subset Sum Problem to the Partition Problem
A Simple Nick's Class Problem
Addition of Binary Numerals is in Nick's Class
Regular Languages are in Nick's Class
A Turing Machine