Return to Article Details A doubleside finite automate Download Download PDF