module Main where
import System.Environment (getArgs)
import DFAintersect (intersectDFA)
import JFF

main = do
  [filename1, filename2] <- getArgs
  dfa1jff <- readFile filename1
  dfa2jff <- readFile filename2
  let Just dfa1 = readDFA dfa1jff
  let Just dfa2 = readDFA dfa2jff
  let dfa12 = intersectDFA dfa1 dfa2
  putStrLn (writeDFA dfa12)