Unknown
Algorithm :
complementation and union के संदर्भ में अंतर को defined किया जा सकता है। चूंकि हमारे पास union को प्राप्त करने के लिए Algorithm हैं और एक finite state automaton के complement हैं, इसलिए हम उनके intersection का calculate करने के लिए एक construction दे सकते हैं।
यदि दो set S और T के intersection बराबर है: (Sc U Tc) c, जहां Sc, S का complementation है।
Algorithm एक finite state automaton को calculate करने के लिए है जो दो automaton A 1 और A 2 द्वारा accepted Language के intersection को accepte करता है जो इस प्रकार है -
Construct finite state automaton B1 और B2 जो A1 और A2 द्वारा accepted Language के complement को accepte करते हैं
Construct finite state automaton C जो B1 और B2 द्वारा accepted Language के union को accepte करता है
C प्राप्त करने वाले D से useless and unreachable states को remove कर दें
E प्राप्त करने के लिए D को Minimise करें
E के inverse को Calculate करें