ECE511 and ECE696 J (Computability, Complexity, and Algorithms) Spring 2026
Mon, Wed, 5:05 to 6:20 in MM 109

Examinations

Assignments

     1    Due: ...
                ....     
2 Due: ...
....

PC log in - use Putty or your own preferred SSH app.
OR mac users: start the terminal app, windows users: start powershell, then type the command
ssh username@rabbit.eng.miami.edu and type your password when prompted.
Windows users beware: you can't use ctrl-V in pico, but page up and page down will do the job.

Class History

Class 1 - Mon 12-1-2026    Endless streams of zeros and ones and what they tell us.
The numbers show there must be uncomputable things, and we found one. (the halting problem)
Class 2 - Wed 14-1-2026 Finite State Machines, regular languages and regular grammars.
An FSM that recognises C++-style floating point constants.
{ "+" | "-" } ( d + "." d * | d * "." d + | d + ) { ( "e" | "E" ) { "+" | "-" } d + } The pumping lemma. Kleene operations.
Regular languages are closed under Kleene operators, intersection, union, and complement.
Day Off 19th
Class 3 - Wed 21-1-2026 Non-deterministic FSMs/grammars are often easier to design, but how can they work?
Class 4 - Mon 26-1-2026
Class 5 - Wed 28-1-2026
Class 6 - Mon 2-2-2026
Class 7 - Wed 4-2-2026
Class 8 - Mon 9-2-2026
Class 9 - Wed 11-2-2026
Class 10 - Mon 16-2-2026
Class 11 - Wed 18-2-2026
Class 12 - Mon 23-2-2026
Class 13 - Wed 25-2-2026
Class 14 - Mon 2-3-2026
Class 15 - Wed 4-3-2026
Break 9th to 13th
Class 16 - Mon 16-3-2026
Class 17 - Wed 18-3-2026
Class 18 - Mon 23-3-2026
Class 19 - Wed 25-3-2026
Class 20 - Mon 30-3-2026
Class 21 - Wed 1-4-2026
Class 22 - Mon 6-4-2026
Class 23 - Wed 8-4-2026
Class 24 - Mon 13-4-2026
Class 25 - Wed 15-4-2026
Class 26 - Mon 20-4-2026
Class 27 - Wed 22-4-2026
Class 28 - Mon 27-4-2026