Ø In compiler construction.
Ø In switching theory and design of digital circuits.
Ø To verify the correctness of a program.
Ø Design and analysis of complex software and hardware systems.
Ø To design finite state machines such as Moore and mealy machines.
No comments:
Post a Comment