Подскажите где найти алгоритмы упрощения конечного автомата с подробностями для программирования.

Вы про карты Карно? Или про что то другое?

Да, кажется это так называется. Давно это было, перезабыл всё
Есть полное описание автомата, допустим в виде таблицы. Её сокращают и схема реализации становится проще.

Да для этого используются карты Карно, диаграммы Вейча, минимизация логических функций.
http://ito.edu.ru/2001/ito/I/2/I-2-99.html
http://webshema.narod.ru/ele/ele9.html
http://booleanalgebra.narod.ru/minimization.html
http://naf-st.narod.ru/re/digit/begin/min.html
http://ptca.narod.ru/lec/lec4_4.html
А так же полезно почитать теорию графов, это в общем-то основа логического проектирования.
http://school-sector.relarn.ru/dckt/projec.../graf/index.htm

Большое спасибо.

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

Увы, этот трёхтомник у нас есть, но про конечные автоматы ни чего нет.

Речь, видимо, о минимизации автоматов? Рассматривается практически в любом серьезном учебнике/монографии. Но посмотрите:
1. Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов: Пер. с англ. - М.: Мир, 1979 – 654 с., ил.
2. Глушков В.М. Синтез цифровых автоматов. М.: Физматгиз, 1962.
3. Баранов С.И. Синтез микропрограммных автоматов. -Л.: Энергия, 1979. -232с.
По программированию все зависит от инструментария, которым пользуетесь. См. материалы на сайте SoftCraft (http://www.softcraft.ru). Если начальный уровень, то подойдет подход Switch-технологии, если продвинутый (объектный на базе С++) - КА-технология.

А метод квайнамаккласки не подходит чтоли?

Дайте ссылочку на таковой, т.к. впервые об этом узнаю...