Цитата(spirit @ Nov 26 2005, 01:08)

и еще математическая логика есть и точно не уверенна, но для программирования есть трехтомник Кнута, там много алгоритмов готовых, может быть есть и упрощение по Карно.
Увы, этот трёхтомник у нас есть, но про конечные автоматы ни чего нет.