Implementing Dfsa