PFP Homework 1

Automatons

Usually, a finite automaton defined as: $(Q,\Sigma ,\delta ,q_{0},F)$ where Q represents states, next is input alphabet, then transitions ($Q\times \Sigma \rightarrow Q$), $q_{0}$ is starting state and finally there is a set of final states.

In our case, a finite automaton is represented by types:

type Transition = (Int, Char, Int)
type Automaton = (Int, String, [Transition], Int, [Int])

where:

• first number N defines number of states - states will be coded by integer numbers in interval $<0,N)$;
• second element is a string containing the input symbols - you can safely assume; it contains no duplicities;
• third is a list defining the trasition function - elementary transition is a triple (q1, a, q2) representing a transition: $q_{1}\times a\rightarrow q_{2}$;
• $q_{0}$ is a number from interval $<0,N)$;
• finally, there is a list of number representing possible states that are final in defined automaton.

As examples we can use following automatons:

ex1 :: Automaton 
ex1 = (3, [0], [2], "ab", [(0,'a',1), (0,'b',0), (1,'a',1), (1,'b',2), (2,'a',1), (2,'b',0)])

ex2 :: Automaton 
ex2 = (3, [0], [2], "ab", [(0,'a',1), (0,'a',0), (0,'b',0), (1,'b',2)])

• Create a function, that sorts an array using quicksort algorithm quicksort. Inside, you must use the mutable array STArray.

quickSort :: Array Int Int -> Array Int Int

ghci> elems $ quickSort $  listArray (0,5) [8,4,9,6,7,1] 
[1,4,6,7,8,9]