Finite automations

From: Mike (mike_at_noremedy.com)
Date: 02/19/05 

Date: Sat, 19 Feb 2005 07:54:04 +0100

Can anyone point me to web site where I can find theory about:

-applying AND & OR operations to two independent finite automations
-transforming non-deterministic finite automation to finite deterministic
automation

Also any link to opensource program with those capabilities is greatly
appreciated

Thanks!