Binary Decision Diagrams This cartoon appears in the book Computation Engineering: Applied Automata Theory and Logic by Dr. Ganesh Gopalakrishnan.

This cartoon was inspired by another (albeit perhaps less tasteful) drawing I saw in high school. It depicted a husband and wife sitting in a car, the husband hunched over the steering wheel in deepest meditation. And the wife says to him, "You don't need to pray for guidance at every intersection!" Tacky though it was, however, it was kind of funny -- so I decided to put my own twist on it.

For what it's worth, a binary decision diagram (BDD) is a data structure for representing binary functions. They have certain limited applications in theoretical computer science, and -- so I'm told -- in verifying the correctness of device drivers.


Back to Cartoons main page