A hand written (all data structures included), finite state automaton which will detect reduced words in a coxeter group. In addition to the C source code which is attached there is also a latex document which describes the mathematics behind the project.  This was a final year mathematics project for a masters.